For the most recent entries see the Petri Nets Newsletter.

An Effective Characterization of Minimal Deadlocks and Traps in Petri Nets Based on Graph Theory.

Barkaoui, K.; Lemaire, B.

In: Proceedings of the 10th International Conference on Application and Theory of Petri Nets, 1989, Bonn, Germany, pages 1-21. 1989.

Abstract: A new and simple characterization theorem of minimal deadlocks is given in terms of path properties based upon the original notions of ``own transition'' and ``alternating circuit''. Then, a polynomial algorithm is proposed that allows to decide whether a given place subset is a minimal deadlock. Last a straight forward extension of these results to traps is proposed.

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

Back to the Petri Nets Bibliography