{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T21:09:08Z","timestamp":1648588148826},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2011,12,3]],"date-time":"2011-12-03T00:00:00Z","timestamp":1322870400000},"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":[[2012,12]]},"DOI":"10.1007\/s10626-011-0121-z","type":"journal-article","created":{"date-parts":[[2011,12,3]],"date-time":"2011-12-03T07:44:55Z","timestamp":1322898295000},"page":"383-402","source":"Crossref","is-referenced-by-count":2,"title":["What topology tells us about diagnosability in partial order semantics"],"prefix":"10.1007","volume":"22","author":[{"given":"Stefan","family":"Haar","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,12,3]]},"reference":[{"issue":"1","key":"121_CR1","first-page":"249","volume":"8","author":"S Abbes","year":"2006","unstructured":"Abbes S (2006) A cartesian closed category of event structures with quotients. Discret Math Theor Comput Sci 8(1):249\u2013272","journal-title":"Discret Math Theor Comput Sci"},{"issue":"1","key":"121_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1006\/inco.2001.3060","volume":"171","author":"P Baldan","year":"2001","unstructured":"Baldan P, Corradini A, Montanari U (2001) Contextual petri nets, asymmetric event structures and processes. Inf Comput 171(1):1\u201349","journal-title":"Inf Comput"},{"issue":"10","key":"121_CR3","doi-asserted-by":"crossref","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 (2010) Unfolding-based diagnosis of systems with an evolving topology. Inf Comput 208(10):1169\u20131192","journal-title":"Inf Comput"},{"key":"121_CR4","volume-title":"9th international workshop on discrete event systems","author":"A Bauer","year":"2008","unstructured":"Bauer A, Pinchinat S (2008) A topological perspective on diagnosis. In: 9th international workshop on discrete event systems, Gothenburg, Sweden"},{"issue":"5","key":"121_CR5","doi-asserted-by":"crossref","first-page":"714","DOI":"10.1109\/TAC.2003.811249","volume":"48","author":"A Benveniste","year":"2003","unstructured":"Benveniste A, Fabre \u00c9, Haar S, Jard C (2003) Diagnosis of asynchronous discrete event systems: a\u00a0net unfolding approach. IEEE Trans Automat Contr 48(5):714\u2013727","journal-title":"IEEE Trans Automat Contr"},{"key":"121_CR6","unstructured":"Bonizzoni P, Mauri G, Pighizzini G (1990) About infinite traces. Report TUM-I9002, TU M\u00fcnchen"},{"key":"121_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-4070-7","volume-title":"Introduction to discrete event systems","author":"CG Cassandras","year":"1999","unstructured":"Cassandras CG, Lafortune S (1999) Introduction to discrete event systems. Kluwer Academic, Boston"},{"issue":"4","key":"121_CR8","first-page":"497","volume":"88","author":"F Cassez","year":"2008","unstructured":"Cassez F, Tripakis S (2008) Fault diagnosis with static and dynamic observers. Fundam Inform 88(4):497\u2013540","journal-title":"Fundam Inform"},{"key":"121_CR9","doi-asserted-by":"crossref","first-page":"575","DOI":"10.1007\/BF01463946","volume":"28","author":"J Engelfriet","year":"1991","unstructured":"Engelfriet J (1991) Branching processes of Petri nets. Acta Inform 28:575\u2013591","journal-title":"Acta Inform"},{"issue":"3","key":"121_CR10","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1007\/s10626-007-0016-1","volume":"17","author":"E Fabre","year":"2007","unstructured":"Fabre E, Benveniste A (2007) Partial order techniques for distributed discrete event systems: why you cannot avoid using them. Discret Event Dyn Syst 17(3):355\u2013403","journal-title":"Discret Event Dyn Syst"},{"issue":"1","key":"121_CR11","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/s10626-005-5238-5","volume":"15","author":"\u00c9 Fabre","year":"2005","unstructured":"Fabre \u00c9, Benveniste A, Haar S, Jard C (2005) Distributed monitoring of concurrent and asynchronous systems. Discret Event Dyn Syst: Theory Appl 15(1):33\u201384","journal-title":"Discret Event Dyn Syst: Theory Appl"},{"issue":"2","key":"121_CR12","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/j.automatica.2008.06.022","volume":"45","author":"S Genc","year":"2009","unstructured":"Genc S, Lafortune S (2009) Predictability of event occurrences in partially-observed discrete-event systems. Automatica 45(2):301\u2013311","journal-title":"Automatica"},{"key":"121_CR13","doi-asserted-by":"crossref","unstructured":"Haar S (2007) Unfold and cover: qualitative diagnosability for Petri nets. In: Proceedings of the 46th IEEE conference on decision and control (CDC\u201907), New Orleans, LA, USA. IEEE Control System Society, pp 1886\u20131891","DOI":"10.1109\/CDC.2007.4434691"},{"key":"121_CR14","doi-asserted-by":"crossref","unstructured":"Haar S (2009) Qualitative diagnosability of labeled Petri nets revisited. In: Proceedings of the joint 48th IEEE conference on decision and control (CDC\u201909) and 28th Chinese control conference (CCC\u201909), Shanghai, China. IEEE Control System Society, pp 1248\u20131253","DOI":"10.1109\/CDC.2009.5400917"},{"key":"121_CR15","volume-title":"Proceedings of the 10th workshop on discrete event systems (WODES\u201910)","author":"S Haar","year":"2010","unstructured":"Haar S (2010a) What topology tells us about diagnosability in partial order semantics. In: Proceedings of the 10th workshop on discrete event systems (WODES\u201910), Berlin, Germany"},{"issue":"10","key":"121_CR16","doi-asserted-by":"crossref","first-page":"2310","DOI":"10.1109\/TAC.2010.2063490","volume":"55","author":"S Haar","year":"2010","unstructured":"Haar S (2010b) Types of asynchronous diagnosability and the reveals-relation in occurrence nets. IEEE Trans Automat Contr 55(10):2310\u20132320","journal-title":"IEEE Trans Automat Contr"},{"key":"121_CR17","doi-asserted-by":"crossref","unstructured":"Haar S, Benveniste A, Fabre \u00c9, Jard C (2003) Partial order diagnosability of discrete event systems using Petri net unfoldings. In: Proceedings of the 42nd IEEE conference on decision and control (CDC\u201903), vol\u00a04, Hawaii, USA. IEEE Control System Society, pp\u00a03748\u20133753","DOI":"10.1109\/CDC.2003.1271732"},{"key":"121_CR18","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1016\/S0304-3975(02)00694-1","volume":"305","author":"R Kummetz","year":"2003","unstructured":"Kummetz R, Kuske D (2003) The topology of Mazurkiewicz traces. Theor Comp Sci 305:237\u2013258","journal-title":"Theor Comp Sci"},{"key":"121_CR19","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1016\/0020-0190(90)90061-2","volume":"35","author":"MZ Kwiatkowska","year":"1990","unstructured":"Kwiatkowska MZ (1990) A metric for traces. Inf Process Lett 35:129\u2013135","journal-title":"Inf Process Lett"},{"key":"121_CR20","unstructured":"Lafortune S, Seatzu C, Cabasino MP, Giua A (2009) Diagnosability analysis of unbounded Petri nets. In: Proc of 48th IEEE conference on decision and control (CDC)"},{"issue":"2","key":"121_CR21","doi-asserted-by":"crossref","first-page":"49","DOI":"10.3233\/KES-2010-0191","volume":"14","author":"A Madalinski","year":"2010","unstructured":"Madalinski A, Nouioua F, Dague P (2010) Diagnosability verification with petri net unfoldings. KES J 14(2):49\u201355","journal-title":"KES J"},{"key":"121_CR22","doi-asserted-by":"crossref","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 (1981) Petri nets, event structures, and domains (I). Theor Comp Sci 13:85\u2013108","journal-title":"Theor Comp Sci"},{"issue":"3","key":"121_CR23","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1023\/A:1014746130920","volume":"20","author":"S R\u00f6mer","year":"2002","unstructured":"R\u00f6mer S, Esparza J, Vogler W (2002) An improvement of Mcmillan\u2019s unfolding algorithm. Form Methods Syst Des 20(3):285\u2013310","journal-title":"Form Methods Syst Des"},{"issue":"9","key":"121_CR24","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. IEEE Trans Automat Contr 40(9):1555\u20131575","journal-title":"IEEE Trans Automat Contr"},{"key":"121_CR25","doi-asserted-by":"crossref","unstructured":"Seatzu C, Cabasino MP, Giua A (2009) Diagnosability of bounded Petri nets. In: Proc. of 48th IEEE conference on decision and control (CDC)","DOI":"10.1109\/CDC.2009.5399874"},{"key":"121_CR26","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/3-540-45711-9_14","volume-title":"Formal and natural computing, no. 2300","author":"S ThiagarajanLafortune","year":"2002","unstructured":"ThiagarajanLafortune S, Yoo T-S PS (2002) Regular event structures and finite Petri nets: a conjecture. In: Formal and natural computing, no. 2300. Springer, New York, pp 244\u2013253"},{"key":"121_CR27","unstructured":"Wang Y, Lafortune S, Yoo T-S (2005) Decentralized diagnosis of discrete event systems using unconditional and conditional decisions. In: Proc 44th CDC"},{"key":"121_CR28","first-page":"325","volume-title":"Advances in Petri nets, no. 255 in LNCS","author":"G Winskel","year":"1987","unstructured":"Winskel G (1987) Event structures. In: Advances in Petri nets, no. 255 in LNCS. Springer, New York, pp 325\u2013392"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-011-0121-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-011-0121-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-011-0121-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,20]],"date-time":"2019-06-20T06:48:59Z","timestamp":1561013339000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-011-0121-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12,3]]},"references-count":28,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,12]]}},"alternative-id":["121"],"URL":"https:\/\/doi.org\/10.1007\/s10626-011-0121-z","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,12,3]]}}}