@article{Wang2015Diagnosis,
  title = {Diagnosis of Time Petri Nets using Fault Diagnosis Graph},
  author = {X. Wang and C. Mahulea and M. Silva},
  year = {2015},
  journal = {IEEE Transactions on Automatic Control},
  doi = {10.1109/TAC.2015.2405293},
  url = {https://dx.doi.org/10.1109/TAC.2015.2405293},
}