{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T22:56:31Z","timestamp":1763765791791},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642024238"},{"type":"electronic","value":"9783642024245"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-02424-5_2","type":"book-chapter","created":{"date-parts":[[2009,6,17]],"date-time":"2009-06-17T10:40:41Z","timestamp":1245235241000},"page":"2-21","source":"Crossref","is-referenced-by-count":3,"title":["Unifying Petri Net Semantics with Token Flows"],"prefix":"10.1007","author":[{"given":"Gabriel","family":"Juh\u00e1s","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Lorenz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00f6rg","family":"Desel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/978-3-540-68746-7_6","volume-title":"Applications and Theory of Petri Nets","author":"R. Bergenthum","year":"2008","unstructured":"Bergenthum, R., Lorenz, R., Mauser, S.: Faster Unfolding of General Petri Nets Based on Token Flows. In: van Hee, K.M., Valk, R. (eds.) PETRI NETS 2008. LNCS, vol.\u00a05062, pp. 13\u201332. Springer, Heidelberg (2008)"},{"issue":"4","key":"2_CR2","first-page":"437","volume":"88","author":"D.J. Bergenthum","year":"2008","unstructured":"Bergenthum, D.J., Lorenz, R., Mauser, S.: Synthesis of Petri Nets from Finite Partial Languages. Fundamenta Informaticae\u00a088(4), 437\u2013468 (2008)","journal-title":"Fundamenta Informaticae"},{"issue":"1","key":"2_CR3","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0304-3975(87)90090-9","volume":"55","author":"E. Best","year":"1987","unstructured":"Best, E., Devillers, R.: Sequential and Concurrent Behaviour in Petri Net Theory. Theoretical Computer Science\u00a055(1), 87\u2013136 (1987)","journal-title":"Theoretical Computer Science"},{"issue":"7","key":"2_CR4","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1007\/s002360050064","volume":"33","author":"E. Degano","year":"1996","unstructured":"Degano, E., Meseguer, J., Montanari, U.: Axiomatizing the Algebra of Net Computations and Processes. Acta Informatica\u00a033(7), 641\u2013667 (1996)","journal-title":"Acta Informatica"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45541-8_1","volume-title":"Unifying Petri Nets","author":"J. Desel","year":"2001","unstructured":"Desel, J., Juh\u00e1s, G.: What is a Petri Net? In: Ehrig, H., Juh\u00e1s, G., Padberg, J., Rozenberg, G. (eds.) APN 2001. LNCS, vol.\u00a02128, pp. 1\u201325. Springer, Heidelberg (2001)"},{"issue":"2-3","key":"2_CR6","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/0304-3975(88)90124-7","volume":"61","author":"J.L. Gischer","year":"1988","unstructured":"Gischer, J.L.: The equational theory of pomsets. Theoretical Computer Science\u00a061(2-3), 199\u2013224 (1988)","journal-title":"Theoretical Computer Science"},{"issue":"2-3","key":"2_CR7","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0019-9958(83)80040-0","volume":"57","author":"U. Goltz","year":"1983","unstructured":"Goltz, U., Reisig, W.: The Non-Sequential Behaviour of Petri Nets. Information and Control\u00a057(2-3), 125\u2013147 (1983)","journal-title":"Information and Control"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/BFb0036914","volume-title":"Automata, Languages and Programming","author":"U. Goltz","year":"1983","unstructured":"Goltz, U., Reisig, W.: Processes of Place\/Transition Nets. In: D\u00edaz, J. (ed.) ICALP 1983. LNCS, vol.\u00a0154, pp. 264\u2013277. Springer, Heidelberg (1983)"},{"issue":"2","key":"2_CR9","doi-asserted-by":"crossref","first-page":"428","DOI":"10.3233\/FI-1981-4210","volume":"4","author":"J. Grabowski","year":"1981","unstructured":"Grabowski, J.: On Partial Languages. Fundamenta Informaticae\u00a04(2), 428\u2013498 (1981)","journal-title":"Fundamenta Informaticae"},{"key":"2_CR10","unstructured":"Juh\u00e1s, G.: Are these events independent? It depends! Habilitation thesis, Katholic University Eichst\u00e4tt-Ingolstadt (2005)"},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/11494744_17","volume-title":"Applications and Theory of Petri Nets 2005","author":"G. Juh\u00e1s","year":"2005","unstructured":"Juh\u00e1s, G., Lorenz, R., Desel, J.: Can I Execute my Scenario in Your Net? In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol.\u00a03536, pp. 289\u2013308. Springer, Heidelberg (2005)"},{"issue":"1-2","key":"2_CR12","first-page":"3","volume":"24","author":"A. Kiehn","year":"1988","unstructured":"Kiehn, A.: On the Interrelationship between Synchronized and Non-Synchronized Behavior of Petri Nets. Journal Inf. Process. Cybern. EIK\u00a024(1-2), 3\u201318 (1988)","journal-title":"Journal Inf. Process. Cybern. EIK"},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/11767589_17","volume-title":"Petri Nets and Other Models of Concurrency - ICATPN 2006","author":"R. Lorenz","year":"2006","unstructured":"Lorenz, R., Juh\u00e1s, G.: Toward Synthesis of Petri Nets from Scenarios. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol.\u00a04024, pp. 302\u2013321. Springer, Heidelberg (2006)"},{"issue":"12-13","key":"2_CR14","doi-asserted-by":"publisher","first-page":"1190","DOI":"10.1016\/j.tcs.2008.11.014","volume":"410","author":"R. Lorenz","year":"2009","unstructured":"Lorenz, R., Juh\u00e1s, G., Bergenthum, R., Desel, J., Mauser, S.: Executability of scenarios in Petri nets. Theoretical Computer Science\u00a0410(12-13), 1190\u20131216 (2009)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"2_CR15","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0890-5401(90)90013-8","volume":"88","author":"J. Meseguer","year":"1990","unstructured":"Meseguer, J., Montanari, U.: Petri nets are monoids. Information and Computation\u00a088(2), 105\u2013155 (1990)","journal-title":"Information and Computation"},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/11505877_34","volume-title":"Developments in Language Theory","author":"L. Priese","year":"2005","unstructured":"Priese, L.: Semi-rational sets of dags. In: De Felice, C., Restivo, A. (eds.) DLT 2005. LNCS, vol.\u00a03572, pp. 385\u2013396. Springer, Heidelberg (2005)"},{"key":"2_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-10452-7","volume-title":"Petri Nets 2009","author":"M. Oliveira","year":"2009","unstructured":"Oliveira, M.: Hasse Diagram Generators and Petri Nets. In: Petri Nets 2009. LNCS. Springer, Heidelberg (to appear, 2009)"},{"issue":"1","key":"2_CR18","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. Int. Journal of Parallel Programming\u00a015(1), 33\u201371 (1986)","journal-title":"Int. Journal of Parallel Programming"},{"key":"2_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/3-540-55610-9_176","volume-title":"Advances in Petri Nets 1992","author":"W. Vogler","year":"1992","unstructured":"Vogler, W.: Partial words versus processes: a short comparison. In: Rozenberg, G. (ed.) APN 1992. LNCS, vol.\u00a0609, pp. 292\u2013303. Springer, Heidelberg (1992)"},{"key":"2_CR20","volume-title":"Theory of linear and integer programming","author":"A. Schrijver","year":"1986","unstructured":"Schrijver, A.: Theory of linear and integer programming. Wiley, Chichester (1986)"}],"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-02424-5_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,7]],"date-time":"2021-10-07T10:01:50Z","timestamp":1633600910000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02424-5_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642024238","9783642024245"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02424-5_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}