{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T03:11:15Z","timestamp":1780629075754,"version":"3.54.1"},"reference-count":58,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,12]]},"DOI":"10.1109\/wsc.2007.4419655","type":"proceedings-article","created":{"date-parts":[[2008,1,4]],"date-time":"2008-01-04T21:05:18Z","timestamp":1199480718000},"page":"617-628","source":"Crossref","is-referenced-by-count":2,"title":["Semantics of petri nets: A comparison"],"prefix":"10.1109","author":[{"given":"Gabriel","family":"Juhas","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fedor","family":"Lehocki","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Robert","family":"Lorenz","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(90)90013-8"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/BF01384314"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(69)80011-5"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44919-1_23"},{"key":"ref31","author":"juh\u00e1s","year":"2005","journal-title":"Are these events independent? It depends!"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-47849-3_29"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2003.11.002"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44988-4_16"},{"key":"ref35","first-page":"155","article-title":"The dimensions of Petri nets: The Petri net cube","author":"kindler","year":"1998","journal-title":"EATCS Bulletin"},{"key":"ref34","first-page":"24:3","article-title":"On the interrelationship between synchronized and non-synchronized behavior of Petri nets","author":"kiehn","year":"1988","journal-title":"J Info Process"},{"key":"ref28","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-1999-38301","article-title":"On causality semantics of nets with priorities","volume":"38","author":"janicki","year":"1999","journal-title":"Fundamenta Informaticae"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1995.1153"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48745-X_20"},{"key":"ref2","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7301.001.0001","author":"van der aalst","year":"2002","journal-title":"Work-flow Management Models Methods and Systems"},{"key":"ref1","first-page":"1806","author":"van der aalst","year":"2000","journal-title":"Business Process Management"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(88)90124-7"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0036914"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(83)80040-0"},{"key":"ref24","doi-asserted-by":"crossref","DOI":"10.3233\/FI-2000-41403","article-title":"A signal extension for Petri nets and its use in controller design","author":"hanisch","year":"2000","journal-title":"Fundamenta Informaticae"},{"key":"ref23","first-page":"428","article-title":"On partial languages","volume":"iv","author":"grabowski","year":"1981","journal-title":"Fundamenta Informaticae"},{"key":"ref26","author":"janicki","year":"1993","journal-title":"Theoretical Computer Science 112 5–52"},{"key":"ref25","article-title":"Unified Theories of Programming. Springer., Jensen, K. 1997","author":"hoare","year":"2002","journal-title":"Coloured Petri Nets Basic Concepts Analysis Methods and Practical Use I II III"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1017\/S096012959700248X"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1142\/9789812562494_0057"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3126-5"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(82)90079-2"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(80)90004-3"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00234-1"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-55610-9_176"},{"key":"ref53","first-page":"625","article-title":"Modular construction and partial order semantics of Petri nets","author":"vogler","year":"1992","journal-title":"LNCS"},{"key":"ref52","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1007\/3-540-45541-8_9","article-title":"Rewriting logic as a unifying framework for Petri nets","author":"stehr","year":"2001","journal-title":"Unifying Petri nets"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s002360050064"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44988-4_10"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/BF01178907"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45541-8_6"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80950-2"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80746-1"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-45541-8_1","article-title":"What is a Petri net","volume":"2128","author":"desel","year":"2001","journal-title":"Unifying Petri nets"},{"key":"ref16","first-page":"123","article-title":"Place\/transition Petri nets","volume":"1491","author":"desel","year":"1998","journal-title":"Lectures on Petri Nets I Basic Models"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-52494-0_28"},{"key":"ref18","first-page":"87","article-title":"n improvement of McMillan's unfolding algorithm","volume":"1055","author":"esparza","year":"1996","journal-title":"Proceedings of Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0055062"},{"key":"ref4","first-page":"1605","author":"billington","year":"1999","journal-title":"In Application of Petri Nets to Communication Networks Advances in Petri Nets"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90090-9"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45022-X_15"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49366-2_18"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4070-7"},{"key":"ref7","author":"burmeister","year":"2002","journal-title":"Lecture Notes on Universal Algebra - Many Sorted Partial Algebras"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(96)80709-2"},{"key":"ref9","first-page":"1","article-title":"Contextual Petri nets, asymmetric event structures, and processes","author":"corradini","year":"2001","journal-title":"Information and Computation"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00174-H"},{"key":"ref45","author":"petri","year":"1962","journal-title":"Kommunikation mit Automaten"},{"key":"ref48","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1007\/3-540-65306-6_14","article-title":"Elementary net systems","volume":"1491","author":"rozenberg","year":"1998","journal-title":"Lectures on Petri Nets I Basic Models"},{"key":"ref47","first-page":"15:33","article-title":"Modelling concurrency with partial orders","author":"pratt","year":"1986","journal-title":"Int Journal of Parallel Programming"},{"key":"ref42","author":"padberg","year":"1996","journal-title":"Abstract Petri Nets Uniform Approach and Rule-Based Refinement"},{"key":"ref41","first-page":"151","article-title":"Revisiting the algebra of PIT net processes under the collective token philosophy","volume":"54","author":"coja-oghlan","year":"2003","journal-title":"Fundamenta Informaticae"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45541-8_7"},{"key":"ref43","article-title":"Classification of Petri nets using adjoint functors","volume":"66","author":"padberg","year":"1998","journal-title":"Bull of EACTS"}],"event":{"name":"2007 Winter Simulation Conference","location":"Washington, DC, USA","start":{"date-parts":[[2007,12,9]]},"end":{"date-parts":[[2007,12,12]]}},"container-title":["2007 Winter Simulation Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4419575\/4419576\/04419655.pdf?arnumber=4419655","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,25]],"date-time":"2025-01-25T09:47:05Z","timestamp":1737798425000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4419655\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,12]]},"references-count":58,"URL":"https:\/\/doi.org\/10.1109\/wsc.2007.4419655","relation":{},"subject":[],"published":{"date-parts":[[2007,12]]}}}