@book {1326,
	title = {Petri Net Approaches for Modelling and Validation},
	series = {Lincom Studies in Computer Science},
	volume = {1},
	year = {2003},
	publisher = {Lincom Pub. Co.},
	organization = {Lincom Pub. Co.},
	issn = {3-89586-597-4},
	editor = {W. v.d. Aalst and J.M. Colom and F. Kordon and G. Kotsis and D. Moldt}
}

