Karatkevich, Andrei <br/><br/>
Dynamic analysis of Petri net-based discrete systems 
Andrei Karatkevich 
 - Berlin  Springer  2007