@book {RP-86-03,
	title = {Petri nets for the specification of FMSs},
	year = {1986},
	pages = {389-406},
	publisher = {Elsevier Science Pub.},
	organization = {Elsevier Science Pub.},
	author = {H. Alla and M. Silva},
	editor = {A. Kusiak}
}

