{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:34:45Z","timestamp":1725564885327},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540222361"},{"type":"electronic","value":"9783540277934"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27793-4_23","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T22:49:31Z","timestamp":1283726971000},"page":"411-425","source":"Crossref","is-referenced-by-count":2,"title":["Eliminating Internal Behaviour in Petri Nets"],"prefix":"10.1007","author":[{"given":"Harro","family":"Wimmel","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-73483-0","volume-title":"Nonsequential Processes: A Petri Net View","author":"E. Best","year":"1988","unstructured":"Best, E., Fern\u00e1ndez, C.: Nonsequential Processes: A Petri Net View. EATCS Monographs on Theoretical Computer Science, vol.\u00a013. Springer, Heidelberg (1988)"},{"key":"23_CR2","volume-title":"Semantics of Sequential and Nonsequential Programs","author":"E. Best","year":"1996","unstructured":"Best, E.: Semantics of Sequential and Nonsequential Programs. Prentice-Hall, Englewood Cliffs (1996)"},{"key":"23_CR3","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0304-3975(87)90090-9","volume":"55","author":"E. Best","year":"1988","unstructured":"Best, E., Devillers, R.: Sequential and Concurrent Behaviour in Petri Net Theory. Theoretical Computer Science\u00a055, 87\u2013136 (1988)","journal-title":"Theoretical Computer Science"},{"key":"23_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/3-540-44988-4_6","volume-title":"Application and Theory of Petri Nets 2000","author":"E. Best","year":"2000","unstructured":"Best, E., Wimmel, H.: Reducing k-Safe Petri Nets to Pomset-Equivalent 1-Safe Petri Nets. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol.\u00a01825, pp. 63\u201382. Springer, Heidelberg (2000)"},{"key":"23_CR5","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., Even, S., Pnueli, A.: Marked Directed Graphs. Journal of Computer and System Sciences\u00a05, 511\u2013523 (1971)","journal-title":"Journal of Computer and System Sciences"},{"key":"23_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, 143\u2013161 (1973)","journal-title":"Acta Informatica"},{"key":"23_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/3-540-48068-4_20","volume-title":"Application and Theory of Petri Nets 2002","author":"M. Nielsen","year":"2002","unstructured":"Nielsen, M., Thiagarajan, P.S.: Regular Event Structures and Finite Petri Nets: The Conflict-Free Case. In: Esparza, J., Lakos, C.A. (eds.) ICATPN 2002. LNCS, vol.\u00a02360, p. 335. Springer, Heidelberg (2002)"},{"key":"23_CR8","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V. Pratt","year":"1986","unstructured":"Pratt, V.: Modelling Concurrency with Partial Orders. International Journal of Parallel Programming\u00a015, 33\u201371 (1986)","journal-title":"International Journal of Parallel Programming"},{"key":"23_CR9","first-page":"376","volume-title":"Petri-Netze","author":"L. Priese","year":"2003","unstructured":"Priese, L., Wimmel, H.: Petri-Netze, p. 376. Springer, Heidelberg (2003) ISBN 3-540-44289-8"},{"key":"23_CR10","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1016\/S0304-3975(97)00169-2","volume":"206","author":"L. Priese","year":"1998","unstructured":"Priese, L., Wimmel, H.: A Uniform Approach to True-Concurrency and Interleaving Semantics for Petri-Nets. Theoretical Computer Science\u00a0206, 219\u2013256 (1998)","journal-title":"Theoretical Computer Science"},{"key":"23_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-663-09262-9","volume-title":"Analyse von Petri-Netz-Modellen","author":"P.H. Starke","year":"1990","unstructured":"Starke, P.H.: Analyse von Petri-Netz-Modellen. Teubner, Stuttgart (1990)"},{"key":"23_CR12","unstructured":"Wimmel, H.: Algebraische Semantiken f\u00fcr Petri-Netze (Dissertation). Universit\u00e4t Koblenz-Landau (2000)"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27793-4_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:25:42Z","timestamp":1620012342000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27793-4_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540222361","9783540277934"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27793-4_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}