{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T04:46:14Z","timestamp":1726029974926},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319961538"},{"type":"electronic","value":"9783319961545"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-319-96154-5_9","type":"book-chapter","created":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T09:09:17Z","timestamp":1558688957000},"page":"73-77","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Petri Nets: A Simple Language and Tool for Modeling Complex Ideas"],"prefix":"10.1007","author":[{"given":"Ryszard","family":"Janicki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,5,25]]},"reference":[{"issue":"2","key":"9_CR1","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1145\/633642.803973","volume":"4","author":"T Agerwala","year":"1973","unstructured":"T. Agerwala, M. Flynn, Comments on capabilities, limitations and \u201ccorrectness\u201d of Petri nets. Comput. Architect. News 4(2), 81\u201386 (1973)","journal-title":"Comput. Architect. News"},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1016\/0022-2496(70)90062-3","volume":"7","author":"PC Fishburn","year":"1970","unstructured":"P.C. Fishburn, Intransitive indifference with unequal indifference intervals. J. Math. Psychol. 7, 144\u2013149 (1970)","journal-title":"J. Math. Psychol."},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/3-540-08921-7_77","volume-title":"Mathematical Foundations of Computer Science 1978","author":"Ryszard Janicki","year":"1978","unstructured":"R. Janicki, Synthesis of concurrent schemes, in Proceedings of MFCS\u201978, ed. by J. Winkowski. Lecture Notes in Computer Science, vol. 64 (Springer, Berlin, 1978), pp. 298\u2013307"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"R. Janicki, M. Koutny, Using optimal simulations to reduce reachability graphs, in Proceedings of CAV\u201990, ed. by E.M. Clarke, R.P. Kurshan. Lecture Notes in Computer Science, vol. 531 (Springer, Berlin, 1991), pp. 166\u2013175","DOI":"10.1007\/BFb0023730"},{"issue":"1","key":"9_CR5","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/0304-3975(93)90238-O","volume":"112","author":"R Janicki","year":"1993","unstructured":"R. Janicki, M. Koutny, Structure of concurrency. Theor. Comput. Sci. 112(1), 5\u201352 (1993)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"9_CR6","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1016\/j.ic.2016.12.009","volume":"25","author":"R Janicki","year":"2017","unstructured":"R. Janicki, X. Yin, Modeling concurrency with interval traces. Inf. Comput. 25(1), 78\u2013108 (2017)","journal-title":"Inf. Comput."},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/s00236-015-0244-z","volume":"53","author":"R Janicki","year":"2016","unstructured":"R. Janicki, J. Kleijn, M. Koutny, \u0141. Mikulski, Step traces. Acta Inf. 53, 35\u201365 (2016)","journal-title":"Acta Inf."},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"J. Kleijn, M. Koutny, Mutex causality in processes and traces of general elementary nets. Fundam. Inf. 122(1,2), 119\u2013146 (2013)","DOI":"10.3233\/FI-2013-785"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"A. Mazurkiewicz, Concurrent program schemes and their interpretation. TR DAIMIPB-78, Computer Science Department, Aarhus University (1977)","DOI":"10.7146\/dpb.v6i78.7691"},{"key":"9_CR10","unstructured":"C.A. Petri, Concepts of net theory, in Proceedings of MFCS\u201973, \u0160trbsk\u00e9 Pleso (1973), pp. 137\u2013146"},{"issue":"1\u20132","key":"9_CR11","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(95)00116-6","volume":"153","author":"CA Petri","year":"1996","unstructured":"C.A. Petri, Nets, time and space. Theor. Comput. Sci. 153(1\u20132), 3\u201348 (1996)","journal-title":"Theor. Comput. Sci."},{"key":"9_CR12","first-page":"224","volume-title":"Lecture Notes in Computer Science","author":"Rob Glabbeek","year":"1987","unstructured":"R.J. Van Glabbeek, F. Vaandrager, Petri net models for algebraic theories of concurrency, in PARLE Vol. II, ed. by J.W. de Bakker et al. Lecture Notes in Computer Science, vol. 259 (Springer, Berlin, 1987), pp. 224\u2013242"},{"issue":"1","key":"9_CR13","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/S0304-3975(01)00234-1","volume":"286","author":"Walter Vogler","year":"2002","unstructured":"W. Vogler, Partial order semantics and read arcs. Theor. Comput. Sci. 286(1), 3363 (2002)","journal-title":"Theoretical Computer Science"},{"issue":"5","key":"9_CR14","first-page":"441","volume":"17","author":"N Wiener","year":"1914","unstructured":"N. Wiener, A contribution to the theory of relative position. Proc. Camb. Philos. Soc. 17(5), 441\u2013449 (1914)","journal-title":"Proc. Camb. Philos. Soc."},{"key":"9_CR15","first-page":"89","volume-title":"Timed Petri nets and preliminary performance evaluation, in Proceedings of the 7th Annual Symposium on Computer Architecture","author":"WM Zuberek","year":"1980","unstructured":"W.M. Zuberek, Timed Petri nets and preliminary performance evaluation, in Proceedings of the 7th Annual Symposium on Computer Architecture (ACM, New York, 1980), pp. 89\u201396"}],"container-title":["Carl Adam Petri: Ideas, Personality, Impact"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-96154-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,15]],"date-time":"2020-12-15T07:12:58Z","timestamp":1608016378000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-96154-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783319961538","9783319961545"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-96154-5_9","relation":{},"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"25 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}