Petri Nets - Pawlewski, Pawel (InTech)