@article {1539,
	title = {Diagnosis of Time Petri Nets using Fault Diagnosis Graph},
	journal = {IEEE Transactions on Automatic Control},
	volume = {60},
	year = {2015},
	month = {09/2015},
	chapter = {2321-2335},
	author = {X. Wang and Mahulea, Cristian and M. Silva}
}

