@inproceedings {IPCoGiSeJu03,
	title = {Observers for nondeterministic l-free labeled Petri nets},
	year = {2003},
	month = {9},
	author = {D. Corona and A. Giua and C. Seatzu and J. Julvez}
}

