{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T19:22:28Z","timestamp":1776885748057,"version":"3.51.2"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540646778","type":"print"},{"value":"9783540691082","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-69108-1_1","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T18:45:11Z","timestamp":1186425911000},"page":"1-24","source":"Crossref","is-referenced-by-count":116,"title":["Petri Nets as Token Objects"],"prefix":"10.1007","author":[{"given":"R\u00fcdiger","family":"Valk","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,3,3]]},"reference":[{"key":"1_CR1","unstructured":"W. v.d. Aalst. private communication. 1997."},{"key":"1_CR2","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1109\/ICSMC.1993.385024","volume":"3","author":"U. Becker","year":"1993","unstructured":"U. Becker and D. Moldt. Object-oriented concepts for coloured petri nets. In Proc. IEEE Int. Conference on Systems, Man and Cybernetics, volume 3, pages 279\u2013286, 1993.","journal-title":"Proc. IEEE Int. Conference on Systems, Man and Cybernetics"},{"issue":"3","key":"1_CR3","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1109\/70.585896","volume":"13","author":"J. Ezpeleta","year":"1997","unstructured":"J. Ezpeleta and J.M. Colom. Automatic synthesis of colored petri nets for the control of fms. IEEE Transactions on Robotics and Automation, 13(3):327\u2013337, 1997.","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"1_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-71120-6","volume-title":"Rechensysteme \u2014 Grundlagen der Modellbildung","author":"E. Jessen","year":"1987","unstructured":"E. Jessen and R. Valk. Rechensysteme \u2014 Grundlagen der Modellbildung. Springer-Verlag, Berlin, 1987."},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"E. Kindler and R. Walter. Message passing mutex. In J. Desel, editor, Structures in Concurrency Theory, Berlin, 1995. Springer-Verlag.","DOI":"10.1007\/978-1-4471-3078-9_14"},{"key":"1_CR6","unstructured":"C.A. Lakos. Object petri nets. Report TR94-3, Computer Science Depart., University of Tasmania, 1994."},{"key":"1_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/3-540-60029-9_45","volume-title":"Application and Theory of Petri Nets","author":"C.A. Lakos","year":"1995","unstructured":"C.A. Lakos. From coloured petri nets to object petri nets. In M. Diaz G. De Michelis, editor, Application and Theory of Petri Nets, number 935 in LNCS, pages 278\u2013297, Berlin, 1995. Springer-Verlag."},{"key":"1_CR8","volume-title":"Petri Net Theory and the Modeling of Systems","author":"J.L. Peterson","year":"1981","unstructured":"J.L. Peterson. Petri Net Theory and the Modeling of Systems. Prentice Hall, Englewood Cliffs, 1981."},{"key":"1_CR9","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/978-3-642-69293-2_3","volume":"74","author":"W. Reisig","year":"1983","unstructured":"W. Reisig. System design using petri nets. Informatik Fachberichte, 74:29\u201341, 1983.","journal-title":"Informatik Fachberichte"},{"key":"1_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/BFb0046836","volume-title":"Petri Nets: Central Models and their Properties","author":"G. Rozenberg","year":"1987","unstructured":"G. Rozenberg. Behaviour of elementary net systems. In W. Brauer, W. Reisig, and G. Rozenberg, editors, Petri Nets: Central Models and their Properties, number 254 in LNCS, pages 60\u201394. Springer-Verlag, Berlin, 1987."},{"key":"1_CR11","volume-title":"Object-Oriented Modeling and Design","author":"J. Rumbaugh","year":"1991","unstructured":"J. Rumbaugh et al. Object-Oriented Modeling and Design. Prentice-Hall, London, 1991."},{"key":"1_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1007\/3-540-58152-9_26","volume-title":"Application and Theory of Petri Nets","author":"C. Sibertin-Blanc","year":"1994","unstructured":"C. Sibertin-Blanc. Cooperative nets. In R. Valette, editor, Application and Theory of Petri Nets, number 815 in LNCS, pages 471\u2013490, Berlin, 1994. Springer-Verlag."},{"key":"1_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/BFb0046835","volume-title":"Petri Nets: Central Models and their Properties","author":"P.S. Thiagarajan","year":"1987","unstructured":"P.S. Thiagarajan. Elementary net system. In W. Brauer, W. Reisig, and G. Rozeberg, editors, Petri Nets: Central Models and their Properties, number 254 in LNCS, pages 26\u201359. Springer-Verlag, Berlin, 1987."},{"key":"1_CR14","first-page":"218","volume-title":"Petri Nets: Central Models and their Properties","author":"R. Valk","year":"1987","unstructured":"R. Valk. Nets in computer organisation. In W. Brauer, W. Reisig, and G. Rozeberg, editors, Petri Nets: Central Models and their Properties, volume 255, pages 218\u2013233. Springer-Verlag, Berlin, 1987."},{"key":"1_CR15","first-page":"4","volume":"26","author":"R. Valk","year":"1987","unstructured":"R. Valk. On theory and practice: an exercise in fairness. Petri Net Newsletter, 26:4\u201311, 1987.","journal-title":"Petri Net Newsletter"},{"key":"1_CR16","unstructured":"R. Valk. Modelling concurrency by task\/flow EN systems. In 3rd Workshop on Concurrency and Compositionality, number 191 in GMD-Studien, St. Augustin, Bonn, 1991. Gesellschaft f\u00fcr Mathematik und Datenverarbeitung."},{"key":"1_CR17","unstructured":"R. Valk. Petri nets as dynamical objects. In Workshop Proc. 16th International Conf. on Application and Theory of Petri Nets, Torino, Italy, June 1995."},{"key":"1_CR18","unstructured":"R. Valk. On processes of object petri nets. Bericht 185\/96, Fachbereich Informatik, Universit\u00e4t Hamburg, 1996."},{"key":"1_CR19","series-title":"Lect Notes Comput Sci","volume-title":"Concurrency in communicating object petri nets","author":"R. Valk","year":"1998","unstructured":"R. Valk. Concurrency in communicating object petri nets. In F. DeCindio G.A. Agha, editor, to appear in: Advances in Petri Nets, LNCS. Springer-Verlag, Berlin, 1998."}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets 1998"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-69108-1_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T02:20:47Z","timestamp":1550715647000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-69108-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540646778","9783540691082"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-69108-1_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1998]]}}}