On reachability conditions for unrestricted Petri nets
Kohkichi Tsuji, Tadao Murata · 1993 IEEE International Symposium on Circuits and Systems · 2002
By using the state equation of a Petri net, the authors derive a sufficient condition for reachability of Petri nets. Then, from this sufficient condition, they show that necessary and sufficient conditions can be derived for reachability of subclasses of a Petri net. The results presented are useful for analyzing many behavioral properties of Petri nets.>