Keyword: deadlock-freeness

• Barkaoui, Kamel; Couvreur, Jean-Michel; Klai, Kais:
  On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets. 2005.

• Christensen, S.; Petrucci, L.:
  How to determine and use place flows in colored Petri nets. 1998.

• Janicki, Ryszard; Koutny, Maciej:
  Optimal Simulations, Nets and Reachability Graphs. 1991.

• Seiche, W.; Abel, D.; Rake, H.:
  Analysis and Synthesis of Discrete-Event Distributed Systems Using Petri Nets. 1991.

• Janicki, Ryszard; Koutny, Maciej:
  Net Implementations of Optimal Simulations. 1990.

• Vogler, Walter:
  Failure Semantics of Petri Nets and the Refinement of Places and Transitions. 1990.

• Seiche, W.:
  Control Synthesis Based on a Graph-Theoreticel Petri Net Analysis. 1990.

• Goetz, J.; Le Tu, Q.H.:
  Model of Concurrent Processes Synchronization Using Petri Nets. 1989.

• Hillen, Detlef:
  Relationship between Deadlock-Freeness and Liveness in Free-Choice Nets. 1985.

Back to the Petri Nets Bibliography