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.