Petri Nets: Properties and Analysis Mikael Harkjær Møller [email protected] Department of Computer Science Aalborg University 23. september 2009 Based on: Tadao Murata.…