Petri Nets : Applications - Pawlewski, Pawel