C. ?. , est-il est toujours vrai () que si le système produit Obs (sys_nonAdm = 0 ? p Obs = 1) alors (?) il est concordant avec le motif (M |? ? Q ? )

S. ?. , autrement dit, est-il est toujours vrai () que si le système produit Obs (sys_nonAdm = 0 ? p Obs = 1) alors (?) il n'est pas concordant

, Application au Diagnostic d'un food-shop

, de produits alimentaires baptisé foodshop qui a été utilisé comme étude de cas dans le cadre du projet européen WSDIA- MOND [8] Ce système est représenté par le réseau de la figure 4. Le fonctionnement simplifié de ce système est le suivant : la boutique reçoit la commande d'un client (sh_recvg) Dans les [1] Alfred V. AHO. Algorithms for finding patterns in strings, pp.255-300, 1990.

A. Benveniste, É. Fabre, S. Haar, and C. Jard, Diagnosis of asynchronous discrete-event systems: a net unfolding approach, IEEE Transactions on Automatic Control, vol.48, issue.5, pp.714-727, 2003.
DOI : 10.1109/TAC.2003.811249

URL : https://hal.archives-ouvertes.fr/inria-00072442

B. Bérard, F. Cassez, S. Haddad, D. Lime, H. Olivier et al., Comparison of Different Semantics for Time Petri Nets, Automated technology for verification and analysis, pp.293-307, 2005.
DOI : 10.1007/11562948_23

B. Berthomieu and F. Vernadat, Traité IC2 "Systèmes temps réel 1 ? Techniques de description et de vérification, Nicolas Navet, 2006.

B. Berthomieu, F. Peres, and F. Vernadat, Model checking bounded prioritized time petri nets. In Automated Technology for Verification and Analysis, 2007.

M. P. Cabasino, A. Giua, and C. Seatzu, Fault detection for discrete event systems using Petri nets with unobservable transitions, Automatica, vol.46, issue.9, pp.1531-1539, 2010.
DOI : 10.1016/j.automatica.2010.06.013

E. M. Clarke, Orna Grumberg, and Doron A. Peled. Model Checking, 1999.

E. Di-nitto, A. Sassen, and P. Traverso, WS-DIAMOND : Web Services ?DIAgnosability, MONitoring, and Diagnosis, pp.213-240, 2009.

M. Dotoli, M. P. Fanti, and A. M. Mangini, Fault Detection of Discrete Event Systems Using Petri Nets and Integer Linear Programming, 17th World Congress of the International Federation of Automatic Control (IFAC14), pp.43-47, 2008.
DOI : 10.3182/20080706-5-KR-1001.01105

C. Dousson, P. Gaborit, and M. Ghallab, Situation recognition : representation and algorithms, International Joint Conference on Artificial Intelligence, pp.166-172, 1993.

S. Genc and S. Lafortune, Distributed Diagnosis of Place-Bordered Petri Nets, IEEE Transactions on Automation Science and Engineering, vol.4, issue.2, pp.206-219, 2007.
DOI : 10.1109/TASE.2006.879916

URL : http://www.eecs.umich.edu/umdes/publication_files/sgtase07.pdf

M. Ghazel, A. Toguyéni, and M. Bigand, A MONITORING APPROACH FOR DISCRETE EVENT SYSTEMS BASED ON A TIME PETRI NET MODEL, 16th IFAC World Congress, pp.331-336, 2005.
DOI : 10.3182/20050703-6-CZ-1902.00339

H. Gougam, Analyse de l'impact du temps sur la diagnosticabilité des systèmes à événements discrets, 2015.

H. Thierry-jéron, S. Marchand, M. Pinchinat, and . Cordier, Supervision patterns in discrete event systems diagnosis, 8th International Workshop on Discrete Event Systems, pp.262-268, 2006.

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

E. Donald, . Knuth, H. James, . Morris, . Jr et al., Fast pattern matching in strings, SIAM journal on computing, vol.6, issue.2, pp.323-350, 1977.

D. Lefebvre and C. Delherm, Diagnosis of DES With Petri Net Models, IEEE Transactions on Automation Science and Engineering, vol.4, issue.1, pp.114-118, 2007.
DOI : 10.1109/TASE.2006.872122

B. Liu, M. Ghazel, and A. Toguyéni, Diagnosis of Labeled Time Petri Nets Using Time Interval Splitting, 19th World Congress of the International Federation of Automatic Control (IFAC14), pp.43-47
DOI : 10.3182/20140824-6-ZA-1003.02336

URL : https://hal.archives-ouvertes.fr/hal-01740388

P. M. and M. , A Study of the Recoverability of Computing Systems, 1974.

Y. Pencolé, A. Schumann, and D. Kamenetsky, TOWARDS LOW-COST FAULT DIAGNOSIS IN LARGE COMPONENT-BASED SYSTEMS 1, 6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, pp.1473-1478, 2006.
DOI : 10.3182/20060829-4-CN-2909.00245

L. Popova-zeugmann, Essential states in time petri nets, Informatik-Berichte, vol.96, 1998.

R. Saddem, A. Toguyeni, and M. Tagina, Diagnosis of critical embedded systems: application to the control card of a railway vehicle braking systems, 2011 IEEE International Conference on Automation Science and Engineering, pp.163-168, 2011.
DOI : 10.1109/CASE.2011.6042512

URL : https://hal.archives-ouvertes.fr/hal-00801506

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, vol.40, issue.9, pp.1555-1575, 1995.
DOI : 10.1109/9.412626

S. Tripakis, Fault Diagnosis for Timed Automata, Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2 Proceedings, pp.205-224, 2002.
DOI : 10.1007/3-540-45739-9_14

D. Ulus and T. Ferrère, Eugene Asarin, and Oded Maler. Timed Pattern Matching, pp.222-236

M. Waga, T. Akazaki, and I. Hasuo, A Boyer-Moore Type Algorithm for Timed Pattern Matching, pp.121-139
DOI : 10.1016/S0167-6423(03)00013-3

M. Zanella and G. Lamperti, Diagnosis of discrete-event systems by separation of concerns, knowledge compilation, and reuse, Proceedings of the 16th European Conference on Artificial Intelligence (ECAI04), pp.838-842, 2004.

J. Zaytoon and S. Lafortune, Overview of fault diagnosis methods for Discrete Event Systems, Annual Reviews in Control, vol.37, issue.2, pp.308-320, 2013.
DOI : 10.1016/j.arcontrol.2013.09.009