F. Basile, P. Chiacchio, D. Tommasi, and G. , Improving on-line fault diagnosis for discrete event systems using time, 2007 IEEE International Conference on Automation Science and Engineering, 2007.
DOI : 10.1109/COASE.2007.4341735

, Figure 5. Foodshop timed workflow and the sequence of observations ?

, 3rd IEEE Conference on Automation Science and Engineering (CASE'07), pp.26-32

F. Basile, M. P. Cabasino, and C. Seatzu, State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions, IEEE Transactions on Automatic Control, vol.60, issue.4, pp.997-1009, 2015.
DOI : 10.1109/TAC.2014.2363916

B. Berthomieu, F. Peres, and F. Vernadat, Bridging the Gap Between Timed Automata and Bounded Time Petri Nets, 4th International Conference Formal Modeling and Analysis of Timed Systems, pp.82-97, 2006.
DOI : 10.1007/11867340_7

B. Berthomieu, P. O. Ribet, and F. Vernadat, The tool TINA ??? Construction of abstract state spaces for petri nets and time petri nets, International Journal of Production Research, vol.99, issue.3, pp.42-2741, 2004.
DOI : 10.1137/0216062

R. K. Boel and G. Jiroveanu, The On-Line Diagnosis of Time Petri Nets, pp.343-364, 2013.
DOI : 10.1007/978-1-4471-4276-8_17

P. Bonhomme, Fault diagnosis of p-time labeled petri net systems, Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, pp.11-22, 2015.

M. Bozzano, A. Cimatti, M. Gario, and S. Tonetta, Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic, Logical Methods in Computer Science, vol.11, issue.4, 2015.
DOI : 10.2168/LMCS-11(4:4)2015

T. Chatain and C. Jard, Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets, Third International Conference on Formal Modeling and Analysis of Timed Systems Third International Conference, pp.196-210, 2005.
DOI : 10.1007/11603009_16
URL : https://hal.archives-ouvertes.fr/inria-00070310

D. Nitto, E. Sassen, A. M. Traverso, and P. , WS- DIAMOND Web Services DIAgnosability, MONitoring, and Diagnosis, pp.213-240, 2009.

H. E. Gougam, Y. Pencolé, and A. Subias, Diagnosability analysis of patterns on bounded labeled prioritized Petri nets, Discrete Event Dynamic Systems, vol.37, issue.9, pp.143-180, 2017.
DOI : 10.1016/j.arcontrol.2013.09.009
URL : https://hal.archives-ouvertes.fr/hal-01574475

M. Hack, Petri net languages, 1975.

T. Jéron, H. Marchand, S. Pinchinat, and M. O. Cordier, Supervision Patterns in Discrete Event Systems Diagnosis, 2006 8th International Workshop on Discrete Event Systems, pp.262-268, 2006.
DOI : 10.1109/WODES.2006.1678440

S. Jiang and R. Kumar, Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications, IEEE Transactions on Automatic Control, vol.49, issue.6, pp.934-945, 2004.
DOI : 10.1109/TAC.2004.829616

G. Jiroveanu and R. K. Boel, A distributed approach for fault detection and diagnosis based on Time Petri Nets, Mathematics and Computers in Simulation, vol.70, issue.5-6, pp.5-6, 2006.
DOI : 10.1016/j.matcom.2005.11.003

B. Liu, An efficient approach for diagnosability and diagnosis of DES based on labeled Petri nets -untimed and timed contexts, 2014.
URL : https://hal.archives-ouvertes.fr/tel-01064597

J. L. Peterson, Petri Nets, ACM Computing Surveys, vol.9, issue.3, pp.223-252, 1977.
DOI : 10.1145/356698.356702

L. M. Popova-zeugmann, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, Time and Petri Nets Diagnosability of discrete-event systems, Transactions on Automatic Control, issue.9, pp.40-1555, 1995.

S. Tripakis, Fault diagnosis for timed automata In Formal Techniques in Real-Time and Fault-Tolerant Systems, pp.205-224, 2002.

X. Wang, C. Mahulea, and M. Silva, Diagnosis of Time Petri Nets Using Fault Diagnosis Graph, IEEE Transactions on Automatic Control, vol.60, issue.9, pp.2321-2335, 2015.
DOI : 10.1109/TAC.2015.2405293