For the most recent entries see the Petri Nets Newsletter.

On some Classes of Petri Nets.

Bagga, Kunwarjit S.; Owens, Frank W.

In: Proceedings of the ACM Eighteenth Annual Computer Science Conference (CSC90), 1990, Washington, DC, USA. New York, NY, USA: ACM, 1990.

Abstract: Petri nets are used as models of asynchronous concurrent systems. Many properties of Petri nets and the systems they model can be described in graph theoretic terms. These include the notions of deadlocks and traps. In this paper the authors consider these properties by restricting attention to some special classes of Petri nets including simple, complete, and free-choice Petri nets.

Keywords: deadlock; trap; simple net; complete net; 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