Dynamic Analysis of Petri Net-Based Discrete Systems - Karatkevich, Andrei (Springer Berlin Heidelberg, 2007)