@inbook {1341,
	title = {Logical Properties of P/T Systems and their Analysis},
	booktitle = {Performance Models for Discrete Event Systems with Synchronisations: Formalisms and Analysis Techniques Vol.1, HCM-MATCH Advanced Schools},
	year = {1998},
	month = {09/1998},
	pages = {185-232},
	chapter = {6},
	address = {Zaragoza, Spain},
	author = {J.M. Colom and E. Teruel and M. Silva},
	editor = {M. Silva and G. Balbo}
}

