For the most recent entries see the
Petri Nets Newsletter.
Keyword: liveness property
-
Chao, D.Y.;
Tseng, J.-H.;
Tang, J.-H.;
Nicdao, J.A.;
Chen, Y.-K.:
The algorithm for checking liveness in synchronized choice nets.
1999.
-
Ohta, A.;
Hisamura, T.:
On liveness of time POC nets with the static fair condition.
1999.
-
Ohta, A.;
Tsuji, K.;
Hisamura, T.:
On liveness of extended partially ordered condition nets.
1999.
-
Ohta, A.;
Hisamura, T.:
On some analysis properties of Petri net systems under the earliest firing rule.
1996.
-
Esparza, J.:
Reduction and synthesis of live and bounded free-choice Petri nets.
1994.
-
Ohta, A.;
Hisamura, T.:
A Subclass of Petri Nets Where Liveness is Preserved Under the Earliest Firing Rule.
1994.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography