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