Dynamic Analysis Of Petri Net-Based Discrete Systems by Andrei Karatkevich