For the most recent entries see the
Petri Nets Newsletter.
Keyword: liveness
-
Xia, Chuanliang:
Analysis of Properties of Petri Synthesis Net.
2006.
-
Barkaoui, Kamel;
Couvreur, Jean-Michel;
Klai, Kais:
On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets.
2005.
-
Zeng, Qing-Tian;
Wu, Zhe-Hui:
Properties Analysis of Petri Net Based on Process Net System.
2003.
-
Julvez, J.;
Recalde, L.;
Silva, M.:
On deadlock-freeness analysis of autonomous and timed continuous mono-T-semiflow nets.
2002.
-
Benalycherif, Mohamed-Lyes;
Girault, Claude:
Behavioural and Structural Composition Rules Preserving Liveness by Synchronisation for Colored FIFO Nets.
1996.
-
Becker, Shirley A.;
Hevner, Alan R.:
A White Box Analysis of Concurrent System Designs.
1991.
-
Brauer, Wilfried;
Gold, Robert;
Vogler, Walter:
A Survey of Behaviour and Equivalence Preserving Refinements of Petri Nets.
1991.
-
Desel, Jörg;
Esparza, Javier:
Reachability in Reversible Free Choice Systems.
1991.
-
Dimitrovici, Cristian;
Hummert, Udo;
Petrucci, Laure:
Semantics, Composition and Net Properties of Algebraic High-Level Nets.
1991.
-
Janicki, Ryszard;
Koutny, Maciej:
Optimal Simulations, Nets and Reachability Graphs.
1991.
-
Johansson, K.:
Modelling Solutions for Agreement Problems with PrT-Nets.
1991.
-
Kountouris, Vasilios G.;
Stephanou, Harry E.:
Task Decomposition, Distribution, and Localization for Intelligent Robot Coordination.
1991.
-
Popova, Louchka:
On Time Petri Nets.
1991.
-
Zhou, MengChu;
DiCesare, Frank:
Parallel and Sequential Mutual Exclusions for Petri Net Modeling of Manufacturing Systems with Shared Resources.
1991.
-
Esparza, Javier;
Silva, Manuel:
Handles in Petri Nets.
1991.
-
Olderog, Ernst-Rüdiger:
Correctness of Concurrent Processes.
1991.
-
Bass, L.M.;
de Montluzin, R.E.:
The Application of Duals in the Analysis of Petri Nets.
1990.
-
Bradfield, J.C.:
Proving Temporal Properties of Petri Nets.
1990.
-
Halkola, Tapio;
Johansson, Kaj;
Ojala, Leo:
Net-Theoretical Methods in Modelling Byzantine Consensus Protocol in Agreement Problems.
1990.
-
Janicki, Ryszard;
Koutny, Maciej:
Net Implementations of Optimal Simulations.
1990.
-
Koh, I.;
DiCesare, Frank:
Transformation Methods for Generalized Petri Nets and their Applications to Flexible Manufacturing Systems.
1990.
-
Kountouris, V.G.;
Stephanou, H.E.:
A Distributed Model of Concurrency for Robot Sensorimotor Synchronization.
1990.
-
Krogh, B.H.;
Genter, W.L.:
Petri Net Analysis of the Transfer-Line Protocol.
1990.
-
Starke, Peter H.:
Some Properties of Timed Nets under the Earliest Firing Rule.
1990.
-
Zhou, MengChu;
DiCesare, Frank:
A Petri Net Design Method for Automated Manufacturing Systems with Shared Resources.
1990.
-
Zhou, MengChu;
DiCesare, Frank:
Modeling Buffers in Automated Manufacturing Systems Using Petri Nets.
1990.
-
Schepers, Jörg:
GRAPH: Eine auf Petri-Netzen basierende Entwicklungsumgebung für verteilte Systeme.
1990.
-
Suzuki, Ichiro:
Formal Analysis of the Alternating Bit Protocol by Temporal Petri Nets.
1990.
-
Pinto de Sa, J.L.;
Sucena Paiva, J.P.:
Design and Verification of Concurrent Switching Sequences with Petri Nets.
1990.
-
Campos, Javier;
Chiola, Giovanni;
Colom, José Maria;
Silva, Manuel:
Properties and Performance Bounds for Timed Marked Graphs.
1990.
-
Desel, Jörg;
Esparza, Javier:
Reachability in Reversible Free Choice Systems.
1990.
-
Esparza, Javier:
Structure Theory of Free Choice Petri Nets.
1990.
-
Souissi, Y.:
A Modular Approach for the Validation of Communication Protocols Using FIFO Nets.
1990.
-
Kumagai, Sadatoshi;
Kodama, Shinzo;
Tsuji, Kohkichi;
Nakamura, Youichi:
Preservation of Liveness in Hierarchical Petri nets.
1990.
-
Schmidt, Heinz W.:
Prototyping and Analysis of Non-Sequential Systems Using Predicate-Event Nets.
1990.
-
Petri, Carl Adam;
Yuan, Chong Yi:
On Technical Safety and Security (continued).
1990.
-
Seiche, W.:
Control Synthesis Based on a Graph-Theoreticel Petri Net Analysis.
1990.
-
Esparza, Javier;
Silva, Manuel:
Compositional Synthesis of Live and Bounded Free Choice Nets.
1990.
-
Fidelak, M.;
Victor, F.:
Verification of Production Systems (Expert Systems).
1989.
-
Laserre, Jean B.;
Mahey, Philippe:
Using Linear Programming in Petri Net Analysis.
1989.
-
Souissi, Younes;
Memmi, Gérard:
Compositions of Nets via a Communication Medium.
1989.
-
Wang, Fei Yue;
Saridis, G.N.:
A Model for Coordination of Intelligent Machines Using Petri Nets.
1989.
-
Johansson, Kaj:
Modelling Solutions for the Agreement Problems with PrT-Nets.
1989.
-
Esparza, J.;
Silva, M.:
A Polynomial-Time Algorithm to Decide Liveness of Bounded Free Choice Nets.
1989.
-
Favrel, Joel;
Wu, Hanjie;
Lee, Kwang Hyung:
Reduction Method of Coloured Petri nets.
1988.
-
Johnen, C.:
Algorithmic Verification of Home Spaces in P/T Systems.
1988.
-
Johansson, Kaj:
Modelling Message Protocols for the Byzantine Generals Problem with PrT-Nets.
1988.
-
Desel, Jörg:
Wanted: Dead or Alive?
1988.
-
Hillen, Detlef:
Relationship between Deadlock-Freeness and Liveness in Free-Choice Nets.
1985.
-
Burkhard, H.-D.:
An Investigation of Controls for Concurrent Systems by Abstract Control Languages.
1984.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography