{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:29:01Z","timestamp":1775053741105,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540330455","type":"print"},{"value":"9783540330462","type":"electronic"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11690634_9","type":"book-chapter","created":{"date-parts":[[2006,3,28]],"date-time":"2006-03-28T09:15:28Z","timestamp":1143537328000},"page":"126-141","source":"Crossref","is-referenced-by-count":11,"title":["Distributed Unfolding of Petri Nets"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Baldan","sequence":"first","affiliation":[]},{"given":"Stefan","family":"Haar","sequence":"additional","affiliation":[]},{"given":"Barbara","family":"K\u00f6nig","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","volume-title":"Abstract and Concrete Categories - The Joy of Cats","author":"J. Adamek","year":"1990","unstructured":"Adamek, J., Herrlich, H., Strecker, G.E.: Abstract and Concrete Categories - The Joy of Cats. Wiley, Chichester (1990)"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Baldan, P., Haar, S., K\u00f6nig, B.: Distributed unfolding of petri nets. Technical Report CS-2006-1, Department of Computer Science, University Ca\u2019 Foscari of Venice (2006)","DOI":"10.1007\/11690634_9"},{"issue":"5","key":"9_CR3","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., Jard, C., Haar, S.: Diagnosis of asynchronous discrete event systems, a net unfolding approach. IEEE Trans. on Automatic Control\u00a048(5), 714\u2013727 (2003)","journal-title":"IEEE Trans. on Automatic Control"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-45187-7_1","volume-title":"CONCUR 2003 - Concurrency Theory","author":"A. Benveniste","year":"2003","unstructured":"Benveniste, A., Haar, S., Fabre, E., Jard, C.: Distributed monitoring of concurrent and asynchronous systems. In: Amadio, R.M., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol.\u00a02761, pp. 1\u201326. Springer, Heidelberg (2003)"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Boel, R., van Schuppen, J.: Decentralized failure diagnosis for discrete event systems with costly communication between diagnosers. In: Proc. 6th Int. Workshop on Discrete event Systems (WODES), pp. 175\u2013181 (2002)","DOI":"10.1109\/WODES.2002.1167685"},{"key":"9_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4070-7","volume-title":"Introduction to Discrete Event Systems","author":"C. Cassandras","year":"1999","unstructured":"Cassandras, C., Lafortune, S.: Introduction to Discrete Event Systems. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"9_CR7","unstructured":"Fabre, E.: Factorization of unfoldings for distributed tile systems, part\u00a01: Reduced interaction case. Technical Report 4829, INRIA (May 2003)"},{"key":"9_CR8","unstructured":"Fabre, E.: Factorization of unfoldings for distributed tile systems, part\u00a02: General case. Technical Report 5186, INRIA (May 2004)"},{"issue":"1","key":"9_CR9","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 application\u00a015(1), 33\u201384 (2005)","journal-title":"Discrete Event Dynamic Systems: theory and application"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1007\/3-540-44919-1_21","volume-title":"Applications and Theory of Petri Nets 2003","author":"S. Genc","year":"2003","unstructured":"Genc, S., Lafortune, S.: Distributed Diagnosis of discrete-event systems using Petri net unfoldings. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 316\u2013336. Springer, Heidelberg (2003)"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/3-540-46002-0_26","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"K. Heljanko","year":"2002","unstructured":"Heljanko, K., Khomenko, V., Koutny, M.: Parallelisation of the petri net unfolding algorithm. In: Katoen, J.-P., Stevens, P. (eds.) ETAPS 2002 and TACAS 2002. LNCS, vol.\u00a02280, pp. 371\u2013385. Springer, Heidelberg (2002)"},{"key":"9_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-9839-7","volume-title":"Categories for the working mathematician","author":"S. Mac Lane","year":"1971","unstructured":"Mac Lane, S.: Categories for the working mathematician. Springer, Heidelberg (1971)"},{"issue":"1-2","key":"9_CR13","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/0304-3975(95)00121-2","volume":"153","author":"J. Meseguer","year":"1996","unstructured":"Meseguer, J., Montanari, U., Sassone, V.: Process versus unfolding semantics for Place Transition Petri nets. Theoret. Comp. Sci.\u00a0153(1-2), 171\u2013210 (1996)","journal-title":"Theoret. Comp. Sci."},{"key":"9_CR14","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, Part 1. Theoret. Comp. Sci.\u00a013, 85\u2013108 (1981)","journal-title":"Theoret. Comp. Sci."},{"key":"9_CR15","volume-title":"EATCS Monographs on Theoretical Computer Science","author":"W. Reisig","year":"1982","unstructured":"Reisig, W.: Petri Nets. An Introduction. In: EATCS Monographs on Theoretical Computer Science, vol.\u00a04, Springer, Heidelberg (1982)"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Ricker, S.L., van Schuppen, J.: Decentralized failure diagnosis with asynchronous communication between diagnosers. In: Proc. of the European Control Conference (2001)","DOI":"10.23919\/ECC.2001.7076044"},{"key":"9_CR17","unstructured":"Ricker, S.L., Rudie, K.: Distributed knowledge for communication in decentralized discrete-event systems. In: Proc. of the IEEE Conference on Decision and Control (CDC) (2001)"},{"key":"9_CR18","series-title":"Foundations","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","year":"1997","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol.\u00a01. World Scientific, Singapore (1997)"},{"issue":"9","key":"9_CR19","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 Trans. on Automatic Control\u00a040(9), 1555\u20131575 (1995)","journal-title":"IEEE Trans. on Automatic Control"},{"key":"9_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/3-540-17906-2_31","volume-title":"Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986","author":"G. Winskel","year":"1987","unstructured":"Winskel, G.: Event structures. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol.\u00a0255, pp. 325\u2013392. Springer, Heidelberg (1987)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11690634_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,17]],"date-time":"2019-04-17T13:18:56Z","timestamp":1555507136000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11690634_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540330455","9783540330462"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11690634_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}