@TechReport{escpn-exec,
  author = 	 {Antonio Camurri and
                  Alessandro Coglio},
  title = 	 {Specification of an Executor of
                  {Extended Simple Colored Petri Nets}},
  institution =  {Dept.\ of Informatics, Systems, and Telecommunications
                  (DIST), University of Genoa, Italy},
  year = 	 {1997},
  type = 	 {Technical Report},
  month = 	 {December}
}