@inproceedings {IPBaReChSi00,
	title = {Closed Loop live Petri Net Supervisors for Generalized Mutual Exclusion Constraints},
	year = {2000},
	pages = {169-180},
	publisher = {Kluwer Academic Publishers},
	organization = {Kluwer Academic Publishers},
	author = {F. Basile and L. Recalde and P. Chiacchio and M. Silva},
	editor = {R. Boel and G. Stremersch}
}

