@inbook {1340,
	title = {Properties},
	booktitle = {Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools},
	year = {1998},
	month = {09/1998},
	pages = {41-63},
	chapter = {6},
	address = {Zaragoza, Spain},
	author = {J.M. Colom and M. Silva and E. Teruel},
	editor = {C. Girault and R. Valk}
}

