{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T03:34:33Z","timestamp":1725680073127},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642297083"},{"type":"electronic","value":"9783642297090"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29709-0_1","type":"book-chapter","created":{"date-parts":[[2012,5,12]],"date-time":"2012-05-12T09:49:34Z","timestamp":1336816174000},"page":"1-18","source":"Crossref","is-referenced-by-count":16,"title":["Petri Net Distributability"],"prefix":"10.1007","author":[{"given":"Eike","family":"Best","sequence":"first","affiliation":[]},{"given":"Philippe","family":"Darondeau","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/s001650200022","volume":"13","author":"\u00c9. Badouel","year":"2002","unstructured":"Badouel, \u00c9., Caillaud, B., Darondeau, P.: Distributing Finite Automata through Petri Net Synthesis. Journal on Formal Aspects of Computing\u00a013, 447\u2013470 (2002)","journal-title":"Journal on Formal Aspects of Computing"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1007\/3-540-65306-6_22","volume-title":"Lectures on Petri Nets I: Basic Models","author":"\u00c9. Badouel","year":"1998","unstructured":"Badouel, \u00c9., Darondeau, P.: Theory of Regions. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol.\u00a01491, pp. 529\u2013586. Springer, Heidelberg (1998)"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/978-3-642-13675-7_15","volume-title":"Applications and Theory of Petri Nets","author":"E. Best","year":"2010","unstructured":"Best, E., Darondeau, P.: Separability in Persistent Petri Nets. In: Lilius, J., Penczek, W. (eds.) PETRI NETS 2010. LNCS, vol.\u00a06128, pp. 246\u2013266. Springer, Heidelberg (2010)"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/3-540-56891-3_30","volume-title":"PARLE \u201993 Parallel Architectures and Languages Europe","author":"E. Best","year":"1993","unstructured":"Best, E., Hopkins, R.P.: B(PN)2 - a Basic Petri Net Programming Notation. In: Reeve, M., Bode, A., Wolf, G. (eds.) PARLE 1993. LNCS, vol.\u00a0694, pp. 379\u2013390. Springer, Heidelberg (1993)"},{"key":"1_CR5","unstructured":"Caillaud, B.: \n                  \n                    http:\/\/www.irisa.fr\/s4\/tools\/synet\/"},{"key":"1_CR6","unstructured":"Carmona, J.: The label splitting problem. In: Desel, J., Yakovlev, A. (eds.) Proc. Applications of Region Theory 2011. CEUR Workshop Proceedings, vol.\u00a0725, pp. 22\u201335 (2011)"},{"issue":"5","key":"1_CR7","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1016\/S0022-0000(71)80013-2","volume":"5","author":"F. Commoner","year":"1971","unstructured":"Commoner, F., Holt, A.W., Even, S., Pnueli, A.: Marked Directed Graphs. J. Comput. Syst. Sci.\u00a05(5), 511\u2013523 (1971)","journal-title":"J. Comput. Syst. Sci."},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Costa, A., Gomes, L.: Petri Net Partitioning Using Net Splitting Operation. In: 7th IEEE Int. Conf. on Industrial Informatics (INDIN), pp. 204\u2013209 (2009)","DOI":"10.1109\/INDIN.2009.5195804"},{"key":"1_CR9","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/BF00264027","volume":"2","author":"H.J. Genrich","year":"1973","unstructured":"Genrich, H.J., Lautenbach, K.: Synchronisationsgraphen. Acta Inf.\u00a02, 143\u2013161 (1973)","journal-title":"Acta Inf."},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/3-540-57208-2_6","volume-title":"CONCUR\u201993","author":"R.J. Glabbeek van","year":"1993","unstructured":"van Glabbeek, R.J.: The Linear Time \u2013 Branching Time Spectrum II. In: Best, E. (ed.) CONCUR 1993. LNCS, vol.\u00a0715, pp. 66\u201381. Springer, Heidelberg (1993)"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Communications of the ACM\u00a021(8) (1978)","DOI":"10.1145\/359576.359585"},{"key":"1_CR12","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. Applications and Theory of Petri Nets 1990. In: Rozenberg, G. (ed.) APN 1991. LNCS, vol.\u00a0524, pp. 161\u2013187. Springer, Heidelberg (1991)"},{"issue":"2\/3","key":"1_CR13","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/s00446-002-0076-2","volume":"16","author":"L. Lamport","year":"2003","unstructured":"Lamport, L.: Arbiter-Free Synchronization. Distributed Computing\u00a016(2\/3), 219\u2013237 (2003)","journal-title":"Distributed Computing"},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/BF00266047","volume":"12","author":"P.E. Lauer","year":"1979","unstructured":"Lauer, P.E., Torrigiani, P.R., Shields, M.W.: COSY \u2013 a System Specification Language Based on Paths and Processes. Acta Informatica\u00a012, 109\u2013158 (1979)","journal-title":"Acta Informatica"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communication Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communication Systems. LNCS, vol.\u00a092, p. 171. Springer, Heidelberg (1980)"},{"key":"1_CR16","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets","author":"W. Reisig","year":"1985","unstructured":"Reisig, W.: Petri Nets. EATCS Monographs on Theoretical Computer Science, vol.\u00a04. Springer, Heidelberg (1985)"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Schicke, J.-W., Peters, K., Goltz, U.: Synchrony vs. Causality in Asynchronous Petri Nets. In: Luttik, B., Valencia, F.D. (eds.) Proc. 18th Intl. Workshop on Expressiveness in Concurrency (EXPRESS 2011). EPTCS, vol.\u00a064, pp. 119\u2013131 (2011), doi:10.4204\/EPTCS.64.9","DOI":"10.4204\/EPTCS.64.9"},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/3-540-55676-1_20","volume-title":"Application and Theory of Petri Nets 1992","author":"E. Teruel","year":"1992","unstructured":"Teruel, E., Chrz\u0105stowski-Wachtel, P., Colom, J.M., Silva, M.: On Weighted T-systems. In: Jensen, K. (ed.) ICATPN 1992. LNCS, vol.\u00a0616, pp. 348\u2013367. Springer, Heidelberg (1992)"}],"container-title":["Lecture Notes in Computer Science","Perspectives of Systems Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29709-0_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:14:14Z","timestamp":1620126854000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29709-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642297083","9783642297090"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29709-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}