@inproceedings {RP-85-11,
	title = {Error detection and correction on Petri net models of discrete control systems},
	year = {1985},
	pages = {921-924},
	author = {M. Silva and S. Velilla}
}

