{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:33:58Z","timestamp":1725557638883},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642136740"},{"type":"electronic","value":"9783642136757"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13675-7_15","type":"book-chapter","created":{"date-parts":[[2010,6,11]],"date-time":"2010-06-11T11:26:50Z","timestamp":1276255610000},"page":"246-266","source":"Crossref","is-referenced-by-count":2,"title":["Separability in Persistent Petri Nets"],"prefix":"10.1007","author":[{"given":"Eike","family":"Best","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe","family":"Darondeau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Best, E., Darondeau, P., Wimmel, H.: Making Petri Nets Safe and Free of Internal Transitions. Fundamenta Informaticae, 1\u201316 (2007)"},{"key":"15_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-70881-0_1","volume-title":"Perspectives of Systems Informatics","author":"E. Best","year":"2007","unstructured":"Best, E., Esparza, J., Wimmel, H., Wolf, K.: Separability in Conflict-free Petri Nets. In: Virbitskaite, I., Voronkov, A. (eds.) PSI 2006. LNCS, vol.\u00a04378, pp. 1\u201318. Springer, Heidelberg (2007)"},{"key":"15_CR3","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/s00236-009-0095-6","volume":"46","author":"E. Best","year":"2009","unstructured":"Best, E., Darondeau, P.: A Decomposition Theorem for Finite Persistent Transition Systems. Acta Informatica\u00a046, 237\u2013254 (2009)","journal-title":"Acta Informatica"},{"key":"15_CR4","unstructured":"Best, E., Darondeau, P.: Separability in Persistent Petri Nets. TR 04\/09, Dep. Comp. Sci., Univ. Oldenburg (December 2009), \n                    \n                      http:\/\/parsys.informatik.uni-oldenburg.de\/~best\/publications\/EB-PhD-sep-long.pdf"},{"issue":"5","key":"15_CR5","doi-asserted-by":"crossref","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."},{"issue":"2","key":"15_CR6","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 Informatica\u00a02(2), 143\u2013161 (1973)","journal-title":"Acta Informatica"},{"key":"15_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/3-540-44919-1_22","volume-title":"Applications and Theory of Petri Nets 2003","author":"K. Hee van","year":"2003","unstructured":"van Hee, K., Sidorova, N., Voorhove, M.: Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 337\u2013356. Springer, Heidelberg (2003)"},{"key":"15_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1007\/3-540-07135-0_113","volume-title":"Parallel Processing","author":"R.M. Keller","year":"1975","unstructured":"Keller, R.M.: A Fundamental Theorem of Asynchronous Parallel Computation. In: Tse-Yun, F. (ed.) Parallel Processing. LNCS, vol.\u00a024, pp. 102\u2013112. Springer, Heidelberg (1975)"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13675-7_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T08:10:22Z","timestamp":1619770222000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13675-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642136740","9783642136757"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13675-7_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}