Decidability and Complexity of Petri Net Problems
Serge Haddad · 2009
This chapter contains sections titled: Introduction Decidability and complexity notions Theoretical results about the reachability graph Analysis of unbounded Petri nets The reachability problem Extensions of Petri nets Languages of Petri nets Bibliography