Petri Nets - Pawlewski, Pawel (IntechOpen)