For the most recent entries see the Petri Nets Newsletter.

Reachability of LSFC Nets.

Dong, Ik Lee; Kumagai, S.; Kodama, S.

In: Kaashoek, M.A.; et al.: Realization and Modelling in System Theory. Proceedings of the International Symposium MTNS--89, 1989, Amsterdam, Netherlands; Vol. 1, pages 529-539. Boston, MA, USA: Birkhauser, 1990.

Abstract: A reachability problem for live and safe free choice nets (LSFC nets) is considered. A necessary and sufficient condition for the reachability of a class of LSFC nets is presented.

Keywords: reachability (of) live (and) safe free choice net(s).


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

Back to the Petri Nets Bibliography