For the most recent entries see the Petri Nets Newsletter.

Reachability Theorem for a Class of Live and Safe Free Choice Nets.

Lee, D.; Kumagai, S.; Kodama, S.

In: IEICE Transactions, Vol. E74, No. 10, October 1991, Special Issue on Petri Nets and Discrete Event Systems. 1991.

Abstract: A reachability theorem for a class of live and safe free choice nets (LSFC nets) is presented in this paper. A necessary and sufficient condition for the reachability of a class of LSFC net is derived based on the associated digraph.


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

Back to the Petri Nets Bibliography