{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T18:32:05Z","timestamp":1770834725157,"version":"3.50.1"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2008,2,19]],"date-time":"2008-02-19T00:00:00Z","timestamp":1203379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2008,9]]},"DOI":"10.1007\/s10626-007-0036-x","type":"journal-article","created":{"date-parts":[[2008,2,18]],"date-time":"2008-02-18T09:47:53Z","timestamp":1203328073000},"page":"323-354","source":"Crossref","is-referenced-by-count":56,"title":["On-Line Monitoring of Large Petri Net Models Under Partial Observation"],"prefix":"10.1007","volume":"18","author":[{"given":"George","family":"Jiroveanu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ren\u00e9 K.","family":"Boel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Behzad","family":"Bordbar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,2,19]]},"reference":[{"key":"36_CR1","doi-asserted-by":"crossref","unstructured":"Abdulla PA, Iyer SP, Nylen A (2000) On unfolding unbounded Petri Nets. Computer Aided Verification, LNCS, vol\u00a01855. Springer","DOI":"10.1007\/10722167_37"},{"issue":"1","key":"36_CR2","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/S0004-3702(99)00019-3","volume":"101","author":"P. Baroni","year":"1999","unstructured":"Baroni P, Lamperti G (1999) Diagnosis of large active systems. Artif Intell 101(1):135\u2013183","journal-title":"Artif Intell"},{"issue":"5","key":"36_CR3","first-page":"182","volume":"48","author":"A. Benvensite","year":"2003","unstructured":"Benvensite A, Fabre E, Haar S, Jard C (2003) Diagnosis of asynchronous discrete event systems, a net unfolding approach. IEEE Trans Automat Contr 48(5):182\u2013187","journal-title":"IEEE Trans Automat Contr"},{"key":"36_CR4","unstructured":"Boel RK, Jiroveanu G (2003) Petri Nets model-based fault section detection and diagnosis in electrical power networks. In: Proceedings of the 6th IPEC conference, Singapore"},{"key":"36_CR5","unstructured":"Boel RK, Jiroveanu G (2004) Distributed contextual diagnosis for very large systems. In: Proceedings of the 7th workshop on discrete event systems (WODES\u201904), Reims, France"},{"key":"36_CR6","doi-asserted-by":"crossref","unstructured":"Boufaied A, Subias A, Combacau M (2002) Chronicle modeling by Petri Nets for distributed detection of process failures. In: Proceedings of the IEEE conference on systems, management and cybernetics, Hammamet, Tunisie","DOI":"10.1109\/ICSMC.2002.1173288"},{"key":"36_CR7","unstructured":"Cardoso J, Kunzle LA, Valette R (1995) Petri Net based reasoning for the diagnosis of dynamic discrete event systems. In: Proceedings of the 6th international fuzzy systems association world congress, July, pp 333\u2013336"},{"key":"36_CR8","unstructured":"Cordier M-O, Grastien A (2007) Exploiting independence in a decentralised and incremental approach of diagnosis. In: Proceedings of IJCAI 2007, Hyderabad, India, pp 292\u2013297"},{"key":"36_CR9","doi-asserted-by":"crossref","unstructured":"Corona D, Giua A, Seatzu C (2004) Marking estimation of Petri Nets with silent transitions. In: Proceedings of IEEE 43rd int. conf. on decision and control, Atlantis, The Bahamas, December","DOI":"10.1109\/CDC.2004.1428810"},{"issue":"2","key":"36_CR10","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1007\/s10009-003-0110-0","volume":"5","author":"G. Delzanno","year":"2004","unstructured":"Delzanno G, Raskin J-F, Van Begin L (2004) Covering sharing trees: a compact data structure for parameterized verification. Softw Tools Technol Trans 5(2):268\u2013297","journal-title":"Softw Tools Technol Trans"},{"key":"36_CR11","doi-asserted-by":"crossref","first-page":"413","DOI":"10.2307\/2370405","volume":"35","author":"L. E. Dickson","year":"1913","unstructured":"Dickson LE (1913) Finiteness of the odd perfect and primitive abundant numbers with n distinct prime factors. Am J Math 35:413\u2013422","journal-title":"Am J Math"},{"issue":"1","key":"36_CR12","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/s10626-005-5238-5","volume":"15","author":"E. Fabre","year":"2005","unstructured":"Fabre E, Benvensite A, Haar S, Jard C (2005) Distributed monitoring of concurrent and asynchronous systems. J Discrete Event Dyn Syst 15(1):33\u201384, March","journal-title":"J Discrete Event Dyn Syst"},{"key":"36_CR13","doi-asserted-by":"crossref","unstructured":"Finkel A, Raskin J-F, Samuelidis M, Van Begin L (2002) Monotonic extensions of Petri Nets: forward and backward search revisited. Electron Notes Theoret Comput Sci 68(6)","DOI":"10.1016\/S1571-0661(04)80535-8"},{"key":"36_CR14","unstructured":"Genc S, Lafortune S (2003) Distributed diagnosis for DES using Petri Nets. In: Proceedings of the conference on applications and theory of Petri Nets (ATPN\u201903), Eindhoven, The Nederlands"},{"key":"36_CR15","doi-asserted-by":"crossref","unstructured":"Giua A, Seatzu C (2005) Fault detection for discrete event systems using Petri Nets with unobservable transitions. In: Proceedings of the conference on decision and control (CDC-ECC\u201905), Sevilla, Spain, December, pp 6323\u20136328","DOI":"10.1109\/CDC.2005.1583175"},{"key":"36_CR16","unstructured":"Hadjicostis CN, Verghese GC (1999) Monitoring discrete event systems using Petri Net embeddings. Application and theory of Petri Nets\u2014LNCS, vol 1639. Springer, pp 188\u2013207"},{"key":"36_CR17","doi-asserted-by":"crossref","unstructured":"Hadjicostis CN, Verghese G (2000) Power systems monitoring based on relay and circuit breaker. In: IEE proceedings on generation, transmission and distribution, vol 147, pp 299\u2013303","DOI":"10.1049\/ip-gtd:20000657"},{"key":"36_CR18","doi-asserted-by":"crossref","unstructured":"Haar S, Benveniste A, Fabre E, Jard C (2003) Partial order diagnosability of discrete event systems using Petri Net unfolding. In: Proceedings of the 42th IEEE conference on decision and control (CDC\u201903), HI, USA","DOI":"10.1109\/CDC.2003.1271732"},{"key":"36_CR19","unstructured":"Holloway LE, Ashley J (2002) Diagnosis of condition systems using causal structure. In: Proceedings of the American control conference, Alaska, USA"},{"key":"36_CR20","doi-asserted-by":"crossref","first-page":"244","DOI":"10.3233\/ICA-1996-3402","volume":"3","author":"L.E. Holloway","year":"1996","unstructured":"Holloway LE, Chand S (1996) Distributed fault monitoring in manufacturing systems using concurrent discrete-event observations. Integr Comput-Aided Eng 3:244\u2013254","journal-title":"Integr Comput-Aided Eng"},{"key":"36_CR21","doi-asserted-by":"crossref","unstructured":"Jiang S, Kumar R (2004) Failure diagnosis of discrete event systems with linear-time temporal logic specifications. IEEE Trans Automat Control 49","DOI":"10.1109\/TAC.2004.829616"},{"key":"36_CR22","unstructured":"Jiroveanu G (2006) Fault diagnosis for large Petri Nets. PhD thesis, Ghent University, Gent, Belgium"},{"key":"36_CR23","unstructured":"Jiroveanu G, Boel RK (2004) Contextual analysis of Petri Nets for distributed applications. In: Proceedings of MTNS\u201904 conference, Leuven, Belgium"},{"key":"36_CR24","unstructured":"Kurine J, Koutsoukos X, Su R, Wonham WM (2002) Distributed diagnosis for qualitative systems. In: Proceedings of the workshop on discrete event systems (WODES\u201902), Zaragoza, Spain"},{"key":"36_CR25","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 application. Discret Event Dyn Syst 4:197\u2013212","journal-title":"Discret Event Dyn Syst"},{"key":"36_CR26","doi-asserted-by":"crossref","unstructured":"Mancel C, Lopez P, Rivi\u00e9re N, Valette R (2002) Relationships between Petri Nets and constraint graphs: application to manufacturing. In: Proceedings of the 15th IFAC triennial world congress","DOI":"10.3182\/20020721-6-ES-1901.00079"},{"key":"36_CR27","unstructured":"Marchand H, Boivineau O, Lafortune S (2000) Optimal control of discrete event systems under partial observation. Technical report, INRIA Rennes"},{"issue":"4","key":"36_CR28","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata T (1989) Petri Nets: properties, analysis and applications. Proceedings IEEE 77(4):541\u2013580, April","journal-title":"Proceedings IEEE"},{"key":"36_CR29","unstructured":"Nielsen JL, Andersen HR, Hulgaard H, Behrmann G, Kristoffersen K, Larsen KG (1998) Verification of large state\/event systems using compositionality and dependency analysis. In: Proceedings of the international conference on tools and algorithms for construction and analysis, pp 201\u2013216"},{"issue":"7","key":"36_CR30","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1109\/9.57018","volume":"35","author":"C. M. Ozveren","year":"1990","unstructured":"Ozveren CM, Willsky AS (1990) Observability of discrete event systems. IEEE Trans Automat Control 35(7):797\u2013806","journal-title":"IEEE Trans Automat Control"},{"key":"36_CR31","unstructured":"Pencol\u00e9 Y, Cordier M-O, Roz\u00e9, L (2001) Incremental decentralized diagnosis approach for the supervision of a telecommunication network. In: Proceedings of the workshop on principles of diagnosis (DX\u201901), Italy"},{"key":"36_CR32","unstructured":"Portinale L, Anglano C (1994) B\u2013W analysis: a backward reachability analysis for diagnostic problem solving suitable to parallel implementation. In: Proceedings of the 15th int. conference on application and theory of Petri Nets, LNCS, vol 815, Zaragoza, Spain, pp 39\u201358"},{"issue":"9","key":"36_CR33","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 S, Teneketzis D (1995) Diagnosability of discrete event systems. IEEE Trans Automat Control 40(9):1555\u20131575","journal-title":"IEEE Trans Automat Control"},{"issue":"4","key":"36_CR34","doi-asserted-by":"crossref","first-page":"1155","DOI":"10.1109\/21.247896","volume":"23","author":"V. S. Srinivasan","year":"1994","unstructured":"Srinivasan VS, Jafari MA (1994) Fault detection\/monitoring using timed Petri Nets. IEEE Trans Syst Manag Cybern 23(4):1155\u20131162","journal-title":"IEEE Trans Syst Manag Cybern"},{"issue":"2\/3","key":"36_CR35","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/0142-0615(92)90049-F","volume":"14","author":"C. L. Yang","year":"1992","unstructured":"Yang CL, Onamoto H, Yokoyama A, Sekine Y (1992) Expert system for fault section estimation of power systems using time sequence information. Int J Electric Power Energy Syst 14(2\/3): 225\u2013232","journal-title":"Int J Electric Power Energy Syst"},{"key":"36_CR36","doi-asserted-by":"crossref","unstructured":"Zad SH, Kwong RH, Wonham WM (2003) Fault diagnosis in discrete-event systems: framework and model reduction. IEEE Trans Automat Control 48(7)","DOI":"10.1109\/TAC.2003.814099"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-007-0036-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-007-0036-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-007-0036-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T19:58:51Z","timestamp":1559246331000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-007-0036-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,2,19]]},"references-count":36,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2008,9]]}},"alternative-id":["36"],"URL":"https:\/\/doi.org\/10.1007\/s10626-007-0036-x","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,2,19]]}}}