Petri nets applications - Pawlewski, Paweł (Intech, 2010)