{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T17:14:26Z","timestamp":1767892466402,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642232169","type":"print"},{"value":"9783642232176","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-23217-6_4","type":"book-chapter","created":{"date-parts":[[2011,8,25]],"date-time":"2011-08-25T13:14:02Z","timestamp":1314278042000},"page":"43-59","source":"Crossref","is-referenced-by-count":11,"title":["On Causal Semantics of Petri Nets"],"prefix":"10.1007","author":[{"given":"Rob J.","family":"van Glabbeek","sequence":"first","affiliation":[]},{"given":"Ursula","family":"Goltz","sequence":"additional","affiliation":[]},{"given":"Jens-Wolfhard","family":"Schicke","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"4_CR1","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.R.: Sequential and concurrent behaviour in Petri net theory. Theoretical Computer Science\u00a055(1), 87\u2013136 (1987), doi:10.1016\/0304-3975(87)90090-9; See also: Best, E., Devillers, R.R.: Interleaving and Partial Orders in Concurrency: A Formal Comparison. In: Wirsing, M. (ed.) Formal Description of Programming Concepts III, pp. 299\u2013321. North-Holland, Amsterdam (1987)","journal-title":"Theoretical Computer Science"},{"key":"4_CR2","unstructured":"Barylska, K., Mikulski, \u0141., Ochma\u0144ski, E.: Nonviolence Petri Nets. In: Proceedings Workshop on Concurrency, Specification and Programming, CS&P, pp. 50\u201359 (2009)"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Degano, P., Meseguer, J., Montanari, U.: Axiomatizing Net Computations and Processes. In: Proceedings Fourth Annual Symposium on Logic in Computer Science, LICS 1989, pp. 175\u2013185. IEEE, Pacific Grove (1989); see also Degano, P., Meseguer, J., Montanari, U.: Axiomatizing Net Computations and Processes. Acta Informatica\u00a033(5), 641\u2013667 (1996), doi:10.1007\/BF03036469","DOI":"10.1007\/BF03036469"},{"issue":"6","key":"4_CR4","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1007\/BF01463946","volume":"28","author":"J. Engelfriet","year":"1991","unstructured":"Engelfriet, J.: Branching Processes of Petri Nets. Acta Informatica\u00a028(6), 575\u2013591 (1991)","journal-title":"Acta Informatica"},{"issue":"4\/5","key":"4_CR5","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s002360000041","volume":"37","author":"R.J. Glabbeek van","year":"2001","unstructured":"van Glabbeek, R.J., Goltz, U.: Refinement of actions and equivalence notions for concurrent systems. Acta Informatica\u00a037(4\/5), 229\u2013327 (2001), doi:10.1007\/s002360000041","journal-title":"Acta Informatica"},{"issue":"13","key":"4_CR6","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1016\/j.ipl.2011.03.013","volume":"111","author":"R.J. Glabbeek van","year":"2011","unstructured":"van Glabbeek, R.J., Goltz, U., Schicke, J.-W.: Abstract Processes of Place\/Transition Systems. Information Processing Letters\u00a0111(13), 626\u2013633 (2011), doi:10.1016\/j.ipl.2011.03.013","journal-title":"Information Processing Letters"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"van Glabbeek, R.J., Goltz, U., Schicke, J.-W.: On Causal Semantics of Petri Nets. Technical Report 2011-06, TU Braunschweig (2011)","DOI":"10.1007\/978-3-642-23217-6_4"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/11539452_26","volume-title":"CONCUR 2005 \u2013 Concurrency Theory","author":"R.J. Glabbeek van","year":"2005","unstructured":"van Glabbeek, R.J.: The Individual and Collective Token Interpretations of Petri Nets. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol.\u00a03653, pp. 323\u2013337. Springer, Heidelberg (2005), doi:10.1007\/11539452_26"},{"key":"4_CR9","first-page":"4","volume":"25","author":"U. Goltz","year":"1986","unstructured":"Goltz, U.: How Many Transitions may be in Conflict? Petri Net Newsletter\u00a025, 4\u20139 (1986)","journal-title":"Petri Net Newsletter"},{"key":"4_CR10","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/978-3-642-72822-8_15","volume-title":"Concurrency and Nets: Advances in Petri Nets","author":"U. Goltz","year":"1987","unstructured":"Goltz, U.: On condition\/event representations of place\/transition nets. In: Concurrency and Nets: Advances in Petri Nets. LNCS, pp. 217\u2013231. Springer, Heidelberg (1987)"},{"key":"#cr-split#-4_CR11.1","doi-asserted-by":"crossref","unstructured":"van Glabbeek, R.J., Plotkin, G.D.: Configuration Structures (extended abstract). In: Kozen, D. (ed.) Proceedings LICS 1995, pp. 199\u2013209 (1995);","DOI":"10.1109\/LICS.1995.523257"},{"key":"#cr-split#-4_CR11.2","doi-asserted-by":"crossref","unstructured":"10.1016\/j.tcs.2009.06.014","DOI":"10.1016\/j.tcs.2009.06.014"},{"issue":"2-3","key":"4_CR12","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":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1007\/3-540-10001-6_39","volume-title":"Advanced Course: Net Theory and Applications","author":"H.J. Genrich","year":"1980","unstructured":"Genrich, H.J., Stankiewicz-Wiechno, E.: A Dictionary of Some Basic Notions of Net Theory. In: Brauer, W. (ed.) Advanced Course: Net Theory and Applications. LNCS, vol.\u00a084, pp. 519\u2013531. Springer, Heidelberg (1980)"},{"key":"4_CR14","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1006\/inco.1995.1032","volume":"117","author":"P.W. Hoogers","year":"1995","unstructured":"Hoogers, P.W., Kleijn, H.C.M., Thiagarajan, P.S.: A Trace Semantics for Petri Nets. Information and Computation\u00a0117, 98\u2013114 (1995)","journal-title":"Information and Computation"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"577","DOI":"10.1007\/3-540-51486-4_103","volume-title":"Mathematical Foundations of Computer Science 1989","author":"A.W. Mazurkiewicz","year":"1989","unstructured":"Mazurkiewicz, A.W.: Concurrency, Modularity, and Synchronization. In: Kreczmar, A., Mirkowska, G. (eds.) MFCS 1989. LNCS, vol.\u00a0379, pp. 577\u2013598. Springer, Heidelberg (1989)"},{"key":"4_CR16","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1142\/9789814261456_0001","volume-title":"The Book of Traces","author":"A.W. Mazurkiewicz","year":"1995","unstructured":"Mazurkiewicz, A.W.: Introduction to Trace Theory. In: Diekert, V., Rozenberg, G. (eds.) The Book of Traces, pp. 3\u201341. World Scientific, Singapore (1995)"},{"key":"4_CR17","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1109\/LICS.1988.5114","volume-title":"Proceedings Third Annual Symposium on Logic in Computer Science, LICS 1988","author":"J. Meseguer","year":"1988","unstructured":"Meseguer, J., Montanari, U.: Petri Nets Are Monoids: A New Algebraic Foundation for Net theory. In: Proceedings Third Annual Symposium on Logic in Computer Science, LICS 1988, Edinburgh, Scotland, pp. 155\u2013164. IEEE, Los Alamitos (1988)"},{"issue":"4","key":"4_CR18","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1017\/S0960129597002314","volume":"7","author":"J. Meseguer","year":"1997","unstructured":"Meseguer, J., Montanari, U., Sassone, V.: On the Semantics of Place\/Transition Petri Nets. Mathematical Structures in Computer Science\u00a07(4), 359\u2013397 (1997)","journal-title":"Mathematical Structures in Computer Science"},{"issue":"1","key":"4_CR19","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M. Nielsen","year":"1981","unstructured":"Nielsen, M., Plotkin, G.D., Winskel, G.: Petri nets, event structures and domains, part I. Theoretical Computer Science\u00a013(1), 85\u2013108 (1981), doi:10.1016\/0304-3975(81)90112-2","journal-title":"Theoretical Computer Science"},{"key":"4_CR20","unstructured":"Ochma\u0144ski, E.: Personal communication (1989)"},{"key":"4_CR21","unstructured":"Petri, C.A.: Non-sequential Processes. GMD-ISF Report 77.05, GMD (1977)"},{"issue":"2","key":"4_CR22","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/0304-3975(91)90084-F","volume":"91","author":"W. Vogler","year":"1991","unstructured":"Vogler, W.: Executions: a new partial-order semantics of Petri nets. Theoretical Computer Science\u00a091(2), 205\u2013238 (1991), doi:10.1016\/0304-3975(91)90084-F","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","CONCUR 2011 \u2013 Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23217-6_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,9]],"date-time":"2025-03-09T08:20:37Z","timestamp":1741508437000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23217-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642232169","9783642232176"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23217-6_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}