@inbook {1335,
	title = {Properties},
	booktitle = {Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications},
	year = {2002},
	pages = {53-77},
	publisher = {Springer-Verlag},
	organization = {Springer-Verlag},
	chapter = {5},
	address = {Berlin},
	isbn = {3-540-41217-4},
	author = {J.M. Colom and M. Silva and E. Teruel},
	editor = {C. Girault and R. Valk}
}

