{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:30:19Z","timestamp":1759638619383,"version":"3.40.3"},"publisher-location":"London","reference-count":32,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781447142751"},{"type":"electronic","value":"9781447142768"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-1-4471-4276-8_15","type":"book-chapter","created":{"date-parts":[[2012,7,26]],"date-time":"2012-07-26T18:19:09Z","timestamp":1343326749000},"page":"301-317","source":"Crossref","is-referenced-by-count":4,"title":["Diagnosis with Petri Net Unfoldings"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Haar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Fabre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/11494744_6","volume-title":"Applications and Theory of Petri Nets 2005","author":"S. Abbes","year":"2005","unstructured":"Abbes, S.: The (True) Concurrent Markov Property and Some Applications to Markov Nets. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol.\u00a03536, pp. 70\u201389. Springer, Heidelberg (2005)"},{"key":"15_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-540-31982-5_6","volume-title":"Foundations of Software Science and Computational Structures","author":"S. Abbes","year":"2005","unstructured":"Abbes, S., Benveniste, A.: Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol.\u00a03441, pp. 95\u2013109. Springer, Heidelberg (2005)"},{"issue":"2","key":"15_CR3","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/j.ic.2005.10.001","volume":"204","author":"S. Abbes","year":"2006","unstructured":"Abbes, S., Benveniste, A.: Probabilistic true-concurrency models: branching cells and distributed probabilities for event structures. Information & Computation\u00a0204(2), 231\u2013274 (2006)","journal-title":"Information & Computation"},{"issue":"2-3","key":"15_CR4","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.tcs.2007.09.018","volume":"390","author":"S. Abbes","year":"2008","unstructured":"Abbes, S., Benveniste, A.: Probabilistic true-concurrency models: Markov nets and a law of large numbers. Theoretical Computer Science\u00a0390(2-3), 129\u2013170 (2008)","journal-title":"Theoretical Computer Science"},{"key":"15_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1007\/978-3-642-00596-1_27","volume-title":"Foundations of Software Science and Computational Structures","author":"S. Abbes","year":"2009","unstructured":"Abbes, S., Benveniste, A.: Concurrency, \u03c3-Algebras, and Probabilistic Fairness. In: de Alfaro, L. (ed.) FOSSACS 2009. LNCS, vol.\u00a05504, pp. 380\u2013394. Springer, Heidelberg (2009)"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/11690634_9","volume-title":"Foundations of Software Science and Computation Structures","author":"P. Baldan","year":"2006","unstructured":"Baldan, P., Haar, S., K\u00f6nig, B.: Distributed Unfolding of Petri Nets. In: Aceto, L., Ing\u00f3lfsd\u00f3ttir, A. (eds.) FOSSACS 2006. LNCS, vol.\u00a03921, pp. 126\u2013141. Springer, Heidelberg (2006)"},{"issue":"10","key":"15_CR7","doi-asserted-by":"publisher","first-page":"1169","DOI":"10.1016\/j.ic.2009.11.009","volume":"208","author":"P. Baldan","year":"2010","unstructured":"Baldan, P., Chatain, T., Haar, S., K\u00f6nig, B.: Unfolding-based diagnosis of systems with an evolving topology. Information and Computation\u00a0208(10), 1169\u20131192 (2010)","journal-title":"Information and Computation"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Bauer, A., Pinchinat, S.: A topological perspective on diagnosis. In: 9th International Workshop on Discrete Event Systems, Gothenburg, Sweden (2008)","DOI":"10.1109\/WODES.2008.4605948"},{"issue":"11","key":"15_CR9","doi-asserted-by":"publisher","first-page":"1936","DOI":"10.1109\/TAC.2003.819076","volume":"48","author":"A. Benveniste","year":"2003","unstructured":"Benveniste, A., Fabre, E., Haar, S.: Markov nets: Probabilistic models for distributed and concurrent systems. IEEE Transactions on Automatic Control\u00a048(11), 1936\u20131950 (2003)","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"5","key":"15_CR10","doi-asserted-by":"publisher","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.: Diagnosis of asynchronous discrete event systems: A\u00a0net unfolding approach. IEEE Transactions on Automatic Control\u00a048(5), 714\u2013727 (2003)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"15_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-642-04368-0_6","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"A. Bouillard","year":"2009","unstructured":"Bouillard, A., Haar, S., Rosario, S.: Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net. In: Ouaknine, J., Vaandrager, F.W. (eds.) FORMATS 2009. LNCS, vol.\u00a05813, pp. 43\u201357. Springer, Heidelberg (2009)"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Cabasino, M.P., Giua, A., Seatzu, C.: Diagnosability of bounded Petri nets. In: Proc. 48th IEEE Conference on Decision and Control, Shangai, China (2009)","DOI":"10.1109\/CDC.2009.5399874"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Cabasino, M.P., Giua, A., Lafortune, S., Seatzu, C.: Diagnosability analysis of unbounded Petri nets. In: Proc. 48th IEEE Conference on Decision and Control, Shangai, China (2009)","DOI":"10.1109\/CDC.2009.5400608"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems, 2nd edn. Springer (2008)","DOI":"10.1007\/978-0-387-68612-7"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Diekert, V., Rozenberg, G. (eds.): The Book of Traces. World Scientific (1995)","DOI":"10.1142\/2563"},{"key":"15_CR16","unstructured":"Fabre, E.: Distributed diagnosis based on trellis processes. In: 44th Conference on Decision and Control, Seville, Spain (2005)"},{"issue":"1","key":"15_CR17","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/s10626-005-5238-5","volume":"15","author":"E. Fabre","year":"2005","unstructured":"Fabre, E., Benveniste, A., Haar, S., Jard, C.: Distributed monitoring of concurrent and asynchronous systems. Discrete Event Dynamic Systems: Theory and Applications\u00a015(1), 33\u201384 (2005)","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Fabre, E.: On the construction of pullbacks for safe Petri nets. In: Applications and Theory of Petri Nets and other Models of Concurrency, Turku, Finland (2006)","DOI":"10.1007\/11767589_10"},{"key":"15_CR19","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/s10626-006-0001-0","volume":"17","author":"E. Fabre","year":"2007","unstructured":"Fabre, E.: Trellis processes: A compact representation for runs of concurrent systems. Discrete Event Dynamic Systems\u00a017, 267\u2013306 (2007)","journal-title":"Discrete Event Dynamic Systems"},{"issue":"3-4","key":"15_CR20","first-page":"281","volume":"53","author":"S. Haar","year":"2002","unstructured":"Haar, S.: Probabilistic cluster unfoldings. Fundamenta Informaticae\u00a053(3-4), 281\u2013314 (2002)","journal-title":"Fundamenta Informaticae"},{"key":"15_CR21","doi-asserted-by":"crossref","unstructured":"Haar, S., Benveniste, A., Fabre, A., Jard, C.: Fault diagnosis for distributed asynchronous dynamically reconfigured discrete event systems. In: Proc. 16th IFAC World Congress, Prague, Czech Republic (2005)","DOI":"10.3182\/20050703-6-CZ-1902.00299"},{"key":"15_CR22","doi-asserted-by":"crossref","unstructured":"Haar, S.: Unfold and cover: Qualitative diagnosability for Petri nets. In: Proc. 46th IEEE Conference on Decision and Control, New Orleans, LA, USA (2007)","DOI":"10.1109\/CDC.2007.4434691"},{"key":"15_CR23","doi-asserted-by":"crossref","unstructured":"Haar, S.: Qualitative diagnosability of labeled Petri nets revisited. In: Proc. 48th IEEE Conference on Decision and Control and 28th Chinese Control Conference (CDC 2009), Shanghai, China (2009)","DOI":"10.1109\/CDC.2009.5400917"},{"issue":"10","key":"15_CR24","doi-asserted-by":"publisher","first-page":"2310","DOI":"10.1109\/TAC.2010.2063490","volume":"55","author":"S. Haar","year":"2010","unstructured":"Haar, S.: Types of asynchronous diagnosability and the reveals-relation in occurrence nets. IEEE Transactions on Automatic Control\u00a055(10), 2310\u20132320 (2010)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"15_CR25","doi-asserted-by":"crossref","unstructured":"Haar, S.: What topology tells us about diagnosability in partial order semantics. In: Proc. 10th Workshop on Discrete Event Systems, Berlin (2010)","DOI":"10.3182\/20100830-3-DE-4013.00036"},{"key":"15_CR26","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/S0304-3975(02)00694-1","volume":"305","author":"R. Kummetz","year":"2003","unstructured":"Kummetz, R., Kuske, D.: The topology of Mazurkiewicz Traces. Theoretical Computer Science\u00a0305, 237\u2013258 (2003)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"15_CR27","doi-asserted-by":"crossref","first-page":"219","DOI":"10.3233\/FI-2009-148","volume":"95","author":"A. Madalinski","year":"2009","unstructured":"Madalinski, A., Fabre, E.: Modular Construction of Finite and Complete Prefixes of Petri Net Unfoldings. Fundamenta Informaticae\u00a095(1), 219\u2013244 (2009)","journal-title":"Fundamenta Informaticae"},{"key":"15_CR28","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M. Nielsen","year":"1981","unstructured":"Nielsen, M., Plotkin, G., Winskel, G.: Petri nets, event structures and domains (I). Theoretical Computer Science\u00a013, 85\u2013108 (1981)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"15_CR29","doi-asserted-by":"crossref","first-page":"49","DOI":"10.3233\/KES-2010-0191","volume":"14","author":"F. Nouioua","year":"2010","unstructured":"Nouioua, F., Madalinski, A., Dague, P.: Diagnosability verification with Petri net unfoldings. KES Journal\u00a014(2), 49\u201355 (2010); Long version: Rapport de recherche No. 1516, UMR 8623, CNRS. Universit\u00e9 Paris-Sud (March 2009)","journal-title":"KES Journal"},{"issue":"3","key":"15_CR30","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1023\/A:1014746130920","volume":"20","author":"S. R\u00f6mer","year":"2002","unstructured":"R\u00f6mer, S., Esparza, J., Vogler, W.: An improvement of Mcmillan\u2019s unfolding algorithm. Formal Methods in System Design\u00a020(3), 285\u2013310 (2002)","journal-title":"Formal Methods in System Design"},{"issue":"9","key":"15_CR31","doi-asserted-by":"publisher","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.: Diagnosability of discrete-event systems. IEEE Transactions on Automatic Control\u00a040(9), 1555\u20131575 (1995)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"15_CR32","unstructured":"Wang, Y., Lafortune, S., Yoo, T.-S.: Decentralized diagnosis of discrete event systems using unconditional and conditional decisions. In: Proc. 44th IEEE Conference on Decision and Control, Seville, Spain (2005)"}],"container-title":["Lecture Notes in Control and Information Sciences","Control of Discrete-Event Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-4276-8_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T02:42:48Z","timestamp":1676774568000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-4276-8_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9781447142751","9781447142768"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-4276-8_15","relation":{},"ISSN":["0170-8643","1610-7411"],"issn-type":[{"type":"print","value":"0170-8643"},{"type":"electronic","value":"1610-7411"}],"subject":[],"published":{"date-parts":[[2013]]}}}