{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,13]],"date-time":"2026-05-13T16:16:51Z","timestamp":1778689011934,"version":"3.51.4"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,12,27]],"date-time":"2016-12-27T00:00:00Z","timestamp":1482796800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2017,3]]},"DOI":"10.1007\/s10626-016-0234-5","type":"journal-article","created":{"date-parts":[[2016,12,26]],"date-time":"2016-12-26T23:06:57Z","timestamp":1482793617000},"page":"143-180","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":21,"title":["Diagnosability analysis of patterns on bounded labeled prioritized Petri nets"],"prefix":"10.1007","volume":"27","author":[{"given":"Houssam-Eddine","family":"Gougam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2970-914X","authenticated-orcid":false,"given":"Yannick","family":"Pencol\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Audine","family":"Subias","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,12,27]]},"reference":[{"issue":"9","key":"234_CR1","doi-asserted-by":"crossref","first-page":"2047","DOI":"10.1016\/j.automatica.2012.06.039","volume":"48","author":"F Basile","year":"2012","unstructured":"Basile F, Chiacchio P, De Tommasi G (2012) On K-diagnosability of Petri nets via integer linear programming. Automatica 48(9):2047\u20132058","journal-title":"Automatica"},{"issue":"5","key":"234_CR2","doi-asserted-by":"crossref","first-page":"714","DOI":"10.1109\/TAC.2003.811249","volume":"48","author":"A Benveniste","year":"2003","unstructured":"Benveniste A, Fabre E, Haar S, Jard C (2003) Diagnosis of asynchronous discrete-event systems: a net unfolding approach. Trans Autom Control 48(5):714\u2013727","journal-title":"Trans Autom Control"},{"issue":"14","key":"234_CR3","doi-asserted-by":"crossref","first-page":"2741","DOI":"10.1080\/00207540412331312688","volume":"42","author":"B Berthomieu","year":"2004","unstructured":"Berthomieu B, Ribet P O, Vernadat F (2004) The tool tina \u2013 construction of abstract state spaces for Petri nets and time Petri nets. Int J Prod Res 42(14):2741\u20132756","journal-title":"Int J Prod Res"},{"key":"234_CR4","doi-asserted-by":"crossref","unstructured":"Berthomieu B, Peres F, Vernadat F (2006) Bridging the gap between timed automata and bounded time Petri nets. In: 4th International conference formal modeling and analysis of timed systems. Paris, pp 82\u2013 97","DOI":"10.1007\/11867340_7"},{"key":"234_CR5","unstructured":"Berthomieu B, Peres F, Vernadat F (2007) Model-checking bounded prioriterized time Petri nets. In: Automated technology for verification and analysis, vol 4762. Springer Verlag, LNCS, pp 523\u2013 532"},{"key":"234_CR6","doi-asserted-by":"crossref","unstructured":"Cabasino MP, Giua A, Seatzu C (2009) Diagnosability of bounded Petri nets. In: Proceedings of the 48th IEEE conference on decision and control, 2009 held jointly with the 2009 28th chinese control conference. CDC\/CCC 2009. IEEE, pp 1254\u20131260","DOI":"10.1109\/CDC.2009.5399874"},{"issue":"1","key":"234_CR7","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1109\/TASE.2013.2289360","volume":"11","author":"MP Cabasino","year":"2014","unstructured":"Cabasino M P, Giua A, Seatzu C (2014) Diagnosability of discrete-event systems using labeled Petri nets. IEEE Trans Autom Sci Eng 11(1):144\u2013153","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"234_CR8","unstructured":"Cimatti A, Pecheur C, Cavada R (2003) Formal verification of diagnosability via symbolic model checking. In: 18th International joint conference on artificial intelligence. Acapulco, pp 363\u2013369"},{"key":"234_CR9","unstructured":"Clarke E M, Grumberg O, Peled DA (1999) Model checking. MIT press"},{"issue":"2","key":"234_CR10","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1109\/TASE.2006.879916","volume":"4","author":"S Genc","year":"2007","unstructured":"Genc S, Lafortune S (2007) Distributed diagnosis of place-bordered Petri nets. IEEE Trans Autom Sci Eng 4(2):206\u2013219","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"234_CR11","unstructured":"Giua A (2007) A benchmark for diagnosis. http:\/\/www.diee.unica.it\/giua\/WODES\/WODES08\/media\/benchmark_diagnosis.pdf"},{"key":"234_CR12","doi-asserted-by":"crossref","unstructured":"Giua A, Seatzu C (2005) Fault detection for discrete event systems using Petri nets with unobservable transitions. In: 44th IEEE Conference on decision and control, 2005 and 2005 European control conference. Seville, pp 6323\u20136328","DOI":"10.1109\/CDC.2005.1583175"},{"key":"234_CR13","doi-asserted-by":"crossref","unstructured":"Gougam H E, Subias A, Pencol\u00e9 Y (2013) Supervision patterns: formal diagnosability checking by Petri net unfolding. In: 4th IFAC Workshop on dependable control of discrete systems. York, pp 73\u201378","DOI":"10.3182\/20130904-3-UK-4041.00039"},{"key":"234_CR14","unstructured":"Grastien A (2009) Symbolic testing of diagnosability. In: International workshop on principles of diagnosis (DX-09), pp 131\u2013138"},{"key":"234_CR15","doi-asserted-by":"crossref","unstructured":"Haar S, Benveniste A, Fabre E, Jard C (2003) Partial order diagnosability of discrete event systems using Petri net unfoldings. In: 42nd IEEE Conference on decision and control. Maui, pp 3748\u2013 3753","DOI":"10.1109\/CDC.2003.1271732"},{"key":"234_CR16","unstructured":"Hack M (1975) Petri net languages. Tech. Rep. 124, M.I.T. Project MAC, Computation Structures Group, Massachusetts Institute of Technology"},{"key":"234_CR17","doi-asserted-by":"crossref","unstructured":"J\u00e9ron T, Marchand H, Pinchinat S, Cordier MO (2006) Supervision patterns in discrete event systems diagnosis. In: 8th International workshop on discrete event systems. Ann Arbor, pp 262\u2013268","DOI":"10.1109\/WODES.2006.1678440"},{"issue":"6","key":"234_CR18","doi-asserted-by":"crossref","first-page":"934","DOI":"10.1109\/TAC.2004.829616","volume":"49","author":"S Jiang","year":"2004","unstructured":"Jiang S, Kumar R (2004) Failure diagnosis of discrete-event systems with linear-time temporal logic specifications. Trans Autom Control 49(6):934\u2013945","journal-title":"Trans Autom Control"},{"issue":"8","key":"234_CR19","doi-asserted-by":"crossref","first-page":"1318","DOI":"10.1109\/9.940942","volume":"46","author":"S Jiang","year":"2001","unstructured":"Jiang S, Huang Z, Chandra V, Kumar R (2001) A polynomial algorithm for testing diagnosability of discrete-event systems. Trans Autom Control 46(8):1318\u20131321","journal-title":"Trans Autom Control"},{"key":"234_CR20","doi-asserted-by":"crossref","unstructured":"Lai S, Nessi D, Cabasino M P, Giua A, Seatzu C (2008) A comparison between two diagnostic tools based on automata and Petri nets. In: 9th International workshop on discrete event systems. G\u00f6teborg, pp 144\u2013149","DOI":"10.1109\/WODES.2008.4605936"},{"issue":"3","key":"234_CR21","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1016\/j.artint.2005.08.002","volume":"170","author":"G Lamperti","year":"2006","unstructured":"Lamperti G, Zanella M (2006) Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques. Artif Intell 170(3):232\u2013297","journal-title":"Artif Intell"},{"issue":"1","key":"234_CR22","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1109\/TASE.2006.872122","volume":"4","author":"D Lefebvre","year":"2007","unstructured":"Lefebvre D, Delherm C (2007) Diagnosis of DES with Petri net models. IEEE Trans Autom Sci Eng 4(1):114\u2013118","journal-title":"IEEE Trans Autom Sci Eng"},{"issue":"2","key":"234_CR23","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/BF01441211","volume":"4","author":"F Lin","year":"1994","unstructured":"Lin F (1994) Diagnosability of discrete event systems and its applications. J Discret Event Dyn Syst Theory Appl 4(2):197\u2013212","journal-title":"J Discret Event Dyn Syst Theory Appl"},{"key":"234_CR24","doi-asserted-by":"crossref","unstructured":"Liu B (2014) An efficient approach for diagnosability and diagnosis of des based on labeled Petri nets - untimed and timed contexts. PhD thesis, Univ. Lille Nord","DOI":"10.1109\/ECC.2014.6862505"},{"key":"234_CR25","unstructured":"Liu B, Ghazel M, Toguy\u00e9ni A (2014a) OF-PENDA: a software tool for fault diagnosis of discrete event systems modeled by labeled Petri nets. In: Proceedings of the 1st international workshop on Petri nets for adaptive discrete-event control systems (ADECS 2014), no. 1161 in CEUR Workshop Proceedings, pp 20\u201335"},{"key":"234_CR26","doi-asserted-by":"crossref","unstructured":"Liu B, Ghazel M, Toguy\u00e9ni A (2014b) Toward an efficient approach for diagnosability analysis of DES modeled by labeled Petri nets. In: 13th European control conference. Strasbourg, pp 1293\u2013 1298","DOI":"10.1109\/ECC.2014.6862505"},{"key":"234_CR27","unstructured":"Pencol\u00e9 Y (2004) Diagnosability analysis of distributed discrete event systems. In: 16th European conference on artificial intelligence. Valencia, pp 43\u201347"},{"issue":"2","key":"234_CR28","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/j.artint.2005.01.002","volume":"164","author":"Y Pencol\u00e9","year":"2005","unstructured":"Pencol\u00e9 Y, Cordier M O (2005) A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks. Artif Intell 164(2):121\u2013170","journal-title":"Artif Intell"},{"key":"234_CR29","doi-asserted-by":"crossref","unstructured":"Pencol\u00e9 Y, Schumann A, Kamenetsky D (2006) Towards low-cost fault diagnosis in large component-based systems. In: 6th IFAC Symposium on fault detection, supervision and safety of technical processes. Beijing, pp 1473\u20131478","DOI":"10.3182\/20060829-4-CN-2909.00245"},{"issue":"3","key":"234_CR30","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1145\/356698.356702","volume":"9","author":"JL Peterson","year":"1977","unstructured":"Peterson J L (1977) Petri nets. ACM Comput Surv 9(3):223\u2013252","journal-title":"ACM Comput Surv"},{"issue":"1","key":"234_CR31","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1023\/A:1013335803945","volume":"12","author":"L Roz\u00e9","year":"2002","unstructured":"Roz\u00e9 L, Cordier M O (2002) Diagnosing discrete-event systems: extending the diagnoser approach to deal with telecommunication networks. J Discret-Event Dyn Syst Theory Appl (JDEDS) 12(1):43\u201381","journal-title":"J Discret-Event Dyn Syst Theory Appl (JDEDS)"},{"issue":"9","key":"234_CR32","doi-asserted-by":"crossref","first-page":"1555","DOI":"10.1109\/9.412626","volume":"40","author":"M Sampath","year":"1995","unstructured":"Sampath M, Sengupta R, Lafortune S, Sinnamohideen K, Teneketzis D (1995) Diagnosability of discrete-event systems. Trans Autom Control 40(9):1555\u20131575","journal-title":"Trans Autom Control"},{"key":"234_CR33","first-page":"393","volume":"4","author":"P Schnoebelen","year":"2003","unstructured":"Schnoebelen P (2003) The complexity of temporal logic model checking. Adv Modal Logic 4:393\u2013436","journal-title":"Adv Modal Logic"},{"key":"234_CR34","unstructured":"Schumann A, Pencol\u00e9 Y (2007) Scalable diagnosability checking of event-driven systems. In: 20th International joint conference on artificial intelligence. Hyderabad, pp 575\u2013580"},{"key":"234_CR35","doi-asserted-by":"crossref","unstructured":"Ye L, Dague P (2012) A general algorithm for pattern diagnosability of distributed discrete event systems. In: Proceedings of the 24th IEEE international conference on tools with artificial intelligence (ICTAI 2012), pp 130\u2013137","DOI":"10.1109\/ICTAI.2012.26"},{"issue":"9","key":"234_CR36","doi-asserted-by":"crossref","first-page":"1491","DOI":"10.1109\/TAC.2002.802763","volume":"47","author":"TS Yoo","year":"2002","unstructured":"Yoo T S, Lafortune S (2002) Polynomial-time verification of diagnosability of partially observed discrete-event systems. Trans Autom Control 47(9):1491\u20131495","journal-title":"Trans Autom Control"},{"key":"234_CR37","unstructured":"Zanella M, Lamperti G (2004) Diagnosis of discrete-event systems by separation of concerns, knowledge compilation, and reuse. In: Proceedings of the 16th European conference on artificial intelligence (ECAI04), pp 838\u2013842"},{"key":"234_CR38","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1016\/j.arcontrol.2013.09.009","volume":"37","author":"J Zaytoon","year":"2013","unstructured":"Zaytoon J, Lafortune S (2013) Overview of fault diagnosis methods for discrete event systems. Ann Rev Control 37:308\u2013320","journal-title":"Ann Rev Control"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-016-0234-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-016-0234-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-016-0234-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,16]],"date-time":"2019-09-16T19:59:09Z","timestamp":1568663949000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-016-0234-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12,27]]},"references-count":38,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,3]]}},"alternative-id":["234"],"URL":"https:\/\/doi.org\/10.1007\/s10626-016-0234-5","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,12,27]]}}}