On reachability conditions for unrestricted Petri nets

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