{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:22:43Z","timestamp":1725664963628},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540631392"},{"type":"electronic","value":"9783540691877"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63139-9_37","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:07:57Z","timestamp":1330297677000},"page":"195-214","source":"Crossref","is-referenced-by-count":5,"title":["Petri's axioms of concurrency a selection of recent results"],"prefix":"10.1007","author":[{"given":"Olaf","family":"Kummer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark -Oliver","family":"Stehr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,5]]},"reference":[{"key":"12_CR1","unstructured":"E. Best and C. Fernandez. Nonsequential Processes\u2014A Petri Net View, volume 13 of EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1988."},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"E. Best and A. Merceron. Concurrency axioms and D-continuous posets. In G. Rozenberg, editor, Advances in Petri Nets 1984, volume 188 of Lecture Notes in Computer Science, pages 32\u201347. Springer-Verlag, 1985. Abridged version.","DOI":"10.1007\/3-540-15204-0_3"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"C. Fernandez and P. S. Thiagarajan. A note on D-continuous causal nets. In A. Pagnoni and G. Rozenberg, editors, Application and Theory of Petri Nets 1982, volume 66 of Informatik-Fachberichte, pages 86\u201397. Springer-Verlag, 1983.","DOI":"10.1007\/978-3-642-69028-0_7"},{"key":"12_CR4","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/0304-3975(83)90070-1","volume":"28","author":"C. Fernandez","year":"1984","unstructured":"C. Fernandez and P. S. Thiagarajan. D-continuous causal nets: A model of nonsequential processes. Theoretical Computer Science, 28:171\u2013196, 1984.","journal-title":"Theoretical Computer Science"},{"key":"12_CR5","volume-title":"Axiomensysteme f\u00fcr die Theorie der Nebenl\u00e4ufigkeit","author":"O. Kummer","year":"1996","unstructured":"O. Kummer. Axiomensysteme f\u00fcr die Theorie der Nebenl\u00e4ufigkeit. Logos Verlag, Berlin, 1996."},{"key":"12_CR6","volume-title":"Nicht-sequentielle Prozesse. ISF-Bericht ISF-76-6","author":"C. A. Petri","year":"1977","unstructured":"C. A. Petri. Nicht-sequentielle Prozesse. ISF-Bericht ISF-76-6, third edition, GMD, St. Augustin, 1977.","edition":"third edition"},{"key":"12_CR7","first-page":"143","volume-title":"Concurrency as a basis of systems thinking","author":"C. A. Petri","year":"1979","unstructured":"C. A. Petri. Concurrency as a basis of systems thinking. In F. V. Jensen, B. H. Mayoh, and K. K. Moller, editors, Proc. from 5th Scandinavian Logic Symposium, Jan. 1979, Aalborg, pages 143\u2013162, Aalborg, 1979. Universitetsforlag."},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"C. A. Petri. Concurrency. In W. Brauer, editor, Net Theory and Applications\u2014Proc. of the Advanced Course on General Net Theory of Processes and Systems, volume 84 of Lecture Notes in Computer Science, pages 251\u2013260. Springer-Verlag, 1980.","DOI":"10.1007\/3-540-10001-6_26"},{"issue":"12","key":"12_CR9","doi-asserted-by":"crossref","first-page":"979","DOI":"10.1007\/BF02084163","volume":"21","author":"C. A. Petri","year":"1982","unstructured":"C. A. Petri. State-transition structures in physics and in computation. International Journal of Theoretical Physics, 21(12):979\u2013992, 1982.","journal-title":"International Journal of Theoretical Physics"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"C. A. Petri. Concurrency theory. In W. Brauer, W. Reisig, and G. Rozenberg, editors, Advances in Petri Nets 1986, volume 254 of Lecture Notes in Computer Science, pages 4\u201324. Springer-Verlag, 1987.","DOI":"10.1007\/978-3-540-47919-2_2"},{"key":"12_CR11","unstructured":"C. A. Petri. Concurrency Theory. Lecture notes, Universit\u00e4t Hamburg, Fachbereich Informatik, 1988."},{"key":"12_CR12","unstructured":"C. A. Petri. Vollst\u00e4ndige Signalordnung. Lecture notes, Universit\u00e4t Hamburg, Fachbereich Informatik, 1989."},{"key":"12_CR13","unstructured":"C. A. Petri. Private communication, March 1994."},{"issue":"1\u20132","key":"12_CR14","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(95)00116-6","volume":"153","author":"C. A. Petri","year":"1996","unstructured":"C. A. Petri. Nets, time and space. Theoretical Computer Science, 153(1\u20132):3\u201348, 1996.","journal-title":"Theoretical Computer Science"},{"key":"12_CR15","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/3-540-18086-9_30","volume-title":"Advances in Petri Nets 1987, volume 266 of Lecture Notes in Computer Science","author":"C. A. Petri","year":"1987","unstructured":"C. A. Petri and E. Smith. Concurrency and continuity. In G. Rozenberg, editor, Advances in Petri Nets 1987, volume 266 of Lecture Notes in Computer Science, pages 273\u2013292, Berlin, 1987. Springer-Verlag."},{"key":"12_CR16","volume-title":"Zur Bedeutung der Concurrency-Theorie f\u00fcr den Aufbau hochverteilter Systeme., volume 180 of Berichte der GMD","author":"E. Smith","year":"1989","unstructured":"E. Smith. Zur Bedeutung der Concurrency-Theorie f\u00fcr den Aufbau hochverteilter Systeme., volume 180 of Berichte der GMD. GMD, St. Augustin, 1989."},{"key":"12_CR17","unstructured":"M.-O. Stehr. Physically Motivated Axiomatic Concurrency Theory \u2014 A Posetless Approach. Studienarbeit, Universit\u00e4t Hamburg, Fachbereich Informatik, 1993."},{"key":"12_CR18","unstructured":"M.-O. Stehr. Concurrency Theory of Cyclic and Acyclic Processes. Fachbereichsbericht FBI-HH-B-190\/96, Universit\u00e4t Hamburg, Fachbereich Informatik, 1996. This report is a revised version of [17]."},{"key":"12_CR19","unstructured":"M.-O. Stehr. Zyklische Ordnungen \u2014 Axiome und einfache Eigenschaften. Diplomarbeit, Universit\u00e4t Hamburg, Fachbereich Informatik, 1996."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1997"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63139-9_37.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T11:34:03Z","timestamp":1640950443000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63139-9_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540631392","9783540691877"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-63139-9_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}