Relationship between Deadlock-Freeness and Liveness in Free-Choice Nets.

For the most recent entries see the Petri Nets Newsletter.

Relationship between Deadlock-Freeness and Liveness in Free-Choice Nets.

In: Newsletter No. 19, pages 28-32. Bonn, Germany: Gesellschaft für Informatik (GI), Special Interest Group on Petri Nets and Related System Models, February 1985.

Keywords: deadlock-freeness; liveness; free-choice net.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography