@book {State-of-the-art-93,
	title = {The Timed Coloured Petri Net Formalism Position Paper},
	volume = {14},
	year = {1993},
	pages = {3-60},
	publisher = {Arbeitsberichte des Instituts fur Mathematische Maschinen und Datenverarbeitung Informatik},
	organization = {Arbeitsberichte des Instituts fur Mathematische Maschinen und Datenverarbeitung Informatik},
	url = {http://webdiis.unizar.es/CRPetri/papers/jcampos/93_State_of_the_art.ps.gz},
	author = {G. Balbo and M. Silva and G. Chiola and J. Campos and others}
}

