{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T10:25:19Z","timestamp":1742984719370,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540958901"},{"type":"electronic","value":"9783540958918"}],"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-540-95891-8_36","type":"book-chapter","created":{"date-parts":[[2009,1,22]],"date-time":"2009-01-22T01:19:21Z","timestamp":1232587161000},"page":"388-400","source":"Crossref","is-referenced-by-count":1,"title":["Partial Order Semantics of Types of Nets"],"prefix":"10.1007","author":[{"given":"Robert","family":"Lorenz","sequence":"first","affiliation":[]},{"given":"Gabriel","family":"Juh\u00e1s","sequence":"additional","affiliation":[]},{"given":"Sebastian","family":"Mauser","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"36_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/3-540-45541-8_10","volume-title":"Unifying Petri Nets","author":"E. Badouel","year":"2001","unstructured":"Badouel, E., Bednarczyk, M.A., Darondeau, P.: Generalized Automata and Their Net Representations. In: Ehrig, H., Juh\u00e1s, G., Padberg, J., Rozenberg, G. (eds.) APN 2001. LNCS, vol.\u00a02128, pp. 304\u2013345. Springer, Heidelberg (2001)"},{"key":"36_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/3-540-60164-3_18","volume-title":"Category Theory and Computer Science","author":"E. Badouel","year":"1995","unstructured":"Badouel, E., Darondeau, P.: Dualities Between Nets and Automata Induced by Schizophrenic Objects. In: Johnstone, P.T., Rydeheard, D.E., Pitt, D.H. (eds.) CTCS 1995. LNCS, vol.\u00a0953, pp. 24\u201343. Springer, Heidelberg (1995)"},{"key":"36_CR3","unstructured":"Badouel, E., Darondeau, P.: On the Synthesis of General Petri Nets. Technical Report 3025, Inria (1996)"},{"key":"36_CR4","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":"E. Badouel","year":"1998","unstructured":"Badouel, E., Darondeau, P.: Theory of Regions. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol.\u00a01491, pp. 529\u2013586. Springer, Heidelberg (1998)"},{"key":"36_CR5","doi-asserted-by":"crossref","unstructured":"Bergenthum, R., Desel, J., Lorenz, R., Mauser, S.: Synthesis of Petri Nets from Finite Partial Languages. Fundam. Inform (to appear, 2008)","DOI":"10.1109\/ACSD.2008.4574609"},{"key":"36_CR6","doi-asserted-by":"crossref","unstructured":"Bergenthum, R., Mauser, S.: Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language. In: Proceedings of Workshop CHINA @ICATPN (2008)","DOI":"10.1007\/978-3-642-04856-2_9"},{"key":"36_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/3-540-45541-8_6","volume-title":"Unifying Petri Nets","author":"J. Desel","year":"2001","unstructured":"Desel, J., Juh\u00e1s, G., Lorenz, R.: Petri Nets over Partial Algebra. In: Ehrig, H., Juh\u00e1s, G., Padberg, J., Rozenberg, G. (eds.) APN 2001. LNCS, vol.\u00a02128, pp. 126\u2013172. Springer, Heidelberg (2001)"},{"issue":"2","key":"36_CR8","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1023\/A:1014305610452","volume":"10","author":"M. Droste","year":"2002","unstructured":"Droste, M., Shortt, R.M.: From Petri Nets to Automata with Concurrency. Applied Categorical Structures\u00a010(2), 173\u2013191 (2002)","journal-title":"Applied Categorical Structures"},{"issue":"4","key":"36_CR9","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/BF00264611","volume":"27","author":"A. Ehrenfeucht","year":"1989","unstructured":"Ehrenfeucht, A., Rozenberg, G.: Partial (set) 2-Structures. Part I: Basic Notions and the Representation Problem \/ Part II: State Spaces of Concurrent Systems. Acta Inf.\u00a027(4), 315\u2013368 (1989)","journal-title":"Acta Inf."},{"key":"36_CR10","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)"},{"key":"36_CR11","doi-asserted-by":"crossref","unstructured":"Juh\u00e1s, G., Lorenz, R., Mauser, S.: Examples and Proofs: Partial Order Semantics of Types of Nets. Technical report (2008), http:\/\/www.ku-eichstaett.de\/Fakultaeten\/MGF\/Informatik\/Mitarbeiter\/Mauser\/Publikationen.de","DOI":"10.1007\/978-3-540-95891-8_36"},{"issue":"1\/2","key":"36_CR12","first-page":"3","volume":"24","author":"A. Kiehn","year":"1988","unstructured":"Kiehn, A.: On the Interrelation Between Synchronized and Non-Synchronized Behaviour of Petri Nets. Elektronische Informationsverarbeitung und Kybernetik\u00a024(1\/2), 3\u201318 (1988)","journal-title":"Elektronische Informationsverarbeitung und Kybernetik"},{"key":"36_CR13","doi-asserted-by":"crossref","unstructured":"Lorenz, R., Juh\u00e1s, G., Mauser, S.: How to Synthesize Nets from Languages - a Survey. In: Proceedings of the Wintersimulation Conference (WSC), pp. 637\u2013647 (2007)","DOI":"10.1109\/WSC.2007.4419657"},{"key":"36_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/978-3-540-73094-1_21","volume-title":"Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007","author":"R. Lorenz","year":"2007","unstructured":"Lorenz, R., Mauser, S., Bergenthum, R.: Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol.\u00a04546, pp. 342\u2013361. Springer, Heidelberg (2007)"},{"key":"36_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-540-73094-1_3","volume-title":"Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007","author":"A. Mazurkiewicz","year":"2007","unstructured":"Mazurkiewicz, A.: Petri Nets Without Tokens. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol.\u00a04546, pp. 20\u201323. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2009: Theory and Practice of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-95891-8_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T08:22:10Z","timestamp":1558081330000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-95891-8_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783540958901","9783540958918"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-95891-8_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}