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).