@inbook {1334,
	title = {Structural Methods},
	booktitle = {Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications},
	year = {2002},
	pages = {277-316},
	publisher = {Springer-Verlag},
	organization = {Springer-Verlag},
	chapter = {15},
	address = {Berlin},
	isbn = {3-540-41217-4},
	author = {J.M. Colom and E. Teruel and M. Silva and S. Haddad},
	editor = {C. Girault and R. Valk}
}

