@article {1452, title = {Fault Diagnosis of Discrete-Event Systems using Continuous Petri Nets}, journal = {IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans}, volume = {42}, year = {2012}, month = {07/2012}, pages = {970-984}, author = {Mahulea, Cristian and C. Seatzu and M.P. Cabasino and M. Silva} }