{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,25]],"date-time":"2026-01-25T14:28:32Z","timestamp":1769351312543,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642287282","type":"print"},{"value":"9783642287299","type":"electronic"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28729-9_22","type":"book-chapter","created":{"date-parts":[[2012,3,22]],"date-time":"2012-03-22T20:47:40Z","timestamp":1332449260000},"page":"331-345","source":"Crossref","is-referenced-by-count":21,"title":["On Distributability of Petri Nets"],"prefix":"10.1007","author":[{"given":"Rob","family":"van Glabbeek","sequence":"first","affiliation":[]},{"given":"Ursula","family":"Goltz","sequence":"additional","affiliation":[]},{"given":"Jens-Wolfhard","family":"Schicke-Uffmann","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"6","key":"22_CR1","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/s001650200022","volume":"13","author":"E. Badouel","year":"2002","unstructured":"Badouel, E., Caillaud, B., Darondeau, P.: Distributing Finite Automata Through Petri Net Synthesis. Formal Aspects of Computing\u00a013(6), 447\u2013470 (2002)","journal-title":"Formal Aspects of Computing"},{"key":"22_CR2","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"PSI 2011","author":"E. Best","year":"2012","unstructured":"Best, E., Darondeau, P.: Petri Net Distributability. In: Voronkov, A. (ed.) PSI 2011. LNCS, vol.\u00a07162, pp. 1\u201318. Springer, Heidelberg (2012)"},{"key":"22_CR3","unstructured":"El Hog Benzina, D., Haddad, S., Hennicker, R.: Process Refinement and Asynchronous Composition with Modalities. In: Sidorova, N., Serebrenik, A. (eds.) Proceedings of the 2nd International Workshop on Abstractions for Petri Nets and Other Models of Concurrency (APNOC 2010), Braga, Portugal (2010), \n                  \n                    http:\/\/www.lsv.ens-cachan.fr\/Publis\/PAPERS\/PDF\/EHH-apnoc10.pdf"},{"issue":"13","key":"22_CR4","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1016\/j.ipl.2011.03.013","volume":"111","author":"R.J. Glabbeek van","year":"2011","unstructured":"van Glabbeek, R.J., Goltz, U., Schicke, J.-W.: Abstract Processes of Place\/Transition Systems. Information Processing Letters\u00a0111(13), 626\u2013633 (2011), doi:10.1016\/j.ipl.2011.03.013","journal-title":"Information Processing Letters"},{"key":"22_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-540-85238-4_2","volume-title":"Mathematical Foundations of Computer Science 2008","author":"R.J. Glabbeek van","year":"2008","unstructured":"van Glabbeek, R.J., Goltz, U., Schicke, J.-W.: On Synchronous and Asynchronous Interaction in Distributed Systems. In: Ochma\u0144ski, E., Tyszkiewicz, J. (eds.) MFCS 2008. LNCS, vol.\u00a05162, pp. 16\u201335. Springer, Heidelberg (2008)"},{"key":"22_CR6","unstructured":"van Glabbeek, R.J.: Goltz U J.-W. Schicke-Uffmann On Distributability of Petri Nets. Technical Report 2011-10, TU Braunschweig (2011) Full version of this paper (to appear), \n                  \n                    http:\/\/theory.stanford.edu\/~rvg\/abstracts.html#95"},{"key":"22_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/3-540-17945-3_13","volume-title":"PARLE Parallel Architectures and Languages Europe","author":"R.J. Glabbeek van","year":"1987","unstructured":"van Glabbeek, R.J., Vaandrager, F.W.: Petri Net Models for Algebraic Theories of Concurrency (Extended Abstract). In: de Bakker, J.W., Nijman, A.J., Treleaven, P.C. (eds.) PARLE 1987. LNCS, vol.\u00a0259, pp. 224\u2013242. Springer, Heidelberg (1987)"},{"issue":"3","key":"22_CR8","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1145\/233551.233556","volume":"43","author":"R.J. Glabbeek van","year":"1996","unstructured":"van Glabbeek, R.J., Weijland, W.P.: Branching Time and Abstraction in Bisimulation Semantics. Journal of the ACM\u00a043(3), 555\u2013600 (1996), doi:10.1145\/233551.233556","journal-title":"Journal of the ACM"},{"key":"22_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/BFb0019974","volume-title":"Advances in Petri Nets 1991","author":"R.P. Hopkins","year":"1991","unstructured":"Hopkins, R.P.: Distributable Nets. In: Rozenberg, G. (ed.) APN 1991. LNCS, vol.\u00a0524, pp. 161\u2013187. Springer, Heidelberg (1991), doi:10.1007\/BFb0019974"},{"key":"22_CR10","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs (1989)"},{"key":"22_CR11","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/BF00268075","volume":"23","author":"E.-R. Olderog","year":"1986","unstructured":"Olderog, E.-R., Hoare, C.A.R.: Specification-oriented semantics for communicating processes. Acta Informatica\u00a023, 9\u201366 (1986), doi:10.1007\/BF00268075","journal-title":"Acta Informatica"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Peters, K., Schicke, J.-W., Nestmann, U.: Synchrony vs Causality in the Asynchronous Pi-Calculus. In: Luttik, B., Valencia, F. (eds.) Proceedings 18th International Workshop on Expressiveness in Concurrency, Aachen, Germany, September 5. Electronic Proceedings in Theoretical Computer Science, vol.\u00a064, pp. 89\u2013103 (2011), doi:10.4204\/EPTCS.64.7","DOI":"10.4204\/EPTCS.64.7"},{"key":"22_CR13","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BF00264434","volume":"18","author":"W. Reisig","year":"1982","unstructured":"Reisig, W.: Deterministic Buffer Synchronization of Sequential Processes. Acta Informatica\u00a018, 115\u2013134 (1982), doi:10.1007\/BF00264434","journal-title":"Acta Informatica"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Schicke, J.-W., Peters, K., Goltz, U.: Synchrony vs. Causality in Asynchronous Petri Nets. In: Luttik, B., Valencia, F. (eds.) Proceedings 18th International Workshop on Expressiveness in Concurrency, Aachen, Germany, September 5. Electronic Proceedings in Theoretical Computer Science, vol.\u00a064, pp. 119\u2013131 (2011), doi:10.4204\/EPTCS.64.9","DOI":"10.4204\/EPTCS.64.9"},{"issue":"1","key":"22_CR15","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/0304-3975(93)90157-O","volume":"114","author":"W. Vogler","year":"1993","unstructured":"Vogler, W.: Bisimulation and Action Refinement. Theor. Comput. Sci.\u00a0114(1), 173\u2013200 (1993), doi:10.1016\/0304-3975(93)90157-O","journal-title":"Theor. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computational Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28729-9_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,9]],"date-time":"2020-01-09T08:32:18Z","timestamp":1578558738000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28729-9_22"}},"subtitle":["(Extended Abstract)"],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642287282","9783642287299"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28729-9_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}