Advances in petri net theory and applications - Aized, Tauseef (Intech, 2010)