{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:26:33Z","timestamp":1725488793280},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540674542"},{"type":"electronic","value":"9783540455943"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"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":[[2000]]},"DOI":"10.1007\/3-540-45594-9_16","type":"book-chapter","created":{"date-parts":[[2007,8,7]],"date-time":"2007-08-07T21:17:04Z","timestamp":1186521424000},"page":"254-273","source":"Crossref","is-referenced-by-count":6,"title":["Object Oriented Petri Nets in Business Process Modeling"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Moldt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R\u00fcdiger","family":"Valk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,3,15]]},"reference":[{"key":"16_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-63139-9_48","volume-title":"Application and Theory of Petri Nets 1997","author":"W. Aalst van der","year":"1997","unstructured":"Wil van der Aalst. Verification of workflow nets. In Gianfranco Balbo, editors. Application and Theory of Petri Nets 1997, number 1248 in Lecture Notes in Computer Science, Berlin, Heidelberg, New York, 1997. Springer-Verlag Az\u00e9ma and Balbo [AB97], pages 407\u2013426."},{"key":"16_CR2","series-title":"Lect Notes Comput Sci","volume-title":"Application and Theory of Petri Nets 1997","year":"1997","unstructured":"Pierre Az\u00e9ma and Gianfranco Balbo, editors. Application and Theory of Petri Nets 1997, number 1248 in Lecture Notes in Computer Science, Berlin, Heidelberg, New York, 1997. Springer-Verlag."},{"key":"16_CR3","first-page":"140","volume-title":"Petri-Netze im Einsatz f\u00fcr Entwurf und Entwicklung von Informationssystemen","author":"U. Becker","year":"1993","unstructured":"Ulrich Becker and Daniel Moldt. Objektorientierte Konzepte f\u00fcr gef\u00e4rbte Petrinetze. In Wolfgang Reisig, editors. Petri-Netze im Einsatz f\u00fcr Entwurf und Entwicklung von Informationssystemen, Informatik Aktuell, Berlin, Heidelberg, New York, 1993 Scheschonk and Reisig [SR93], pages 140\u2013151."},{"key":"16_CR4","series-title":"Addison-Wesley object technology series","volume-title":"The unified modeling language user guide: The ultimate tutorial to the UML from the original designers","author":"G. Booch","year":"1999","unstructured":"G. Booch, J. Rumbaugh, and I. Jacobson. The unified modeling language user guide: The ultimate tutorial to the UML from the original designers. Addison-Wesley object technology series. Addison-Wesley, Reading, Mass., 1999."},{"key":"16_CR5","series-title":"Technical Report","volume-title":"Coloured Petri Nets Extended with Channels for Synchronous communication","author":"S. Christensen","year":"1992","unstructured":"S\u00f8ren Christensen and Niels Damgaard Hansen. Coloured Petri Nets Extended with Channels for Synchronous communication. Technical Report DAIMI PB-390, Computer Science Department, Aarhus University, DK-8000 Aarhus C, Denmark, April 1992."},{"key":"16_CR6","volume-title":"Erweiterung objektorientierter gef\u00e4rbter Petrinetze um Typisierung und Schnittstellen","author":"A. Engelhardt","year":"2000","unstructured":"Adriana Engelhardt, Daniel Moldt, Marc Netzebandt, and Frank Wienberg. Erweiterung objektorientierter gef\u00e4rbter Petrinetze um Typisierung und Schnittstellen. Fachbereichsmitteilung, University of Hamburg, Department of Computer Science, Vogt-K\u00f6lln Str. 30, 22527 Hamburg, Germany, 2000. in print."},{"key":"16_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-06289-0","volume-title":"Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use","author":"K. Jensen","year":"1992","unstructured":"Kurt Jensen. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use; Vol. 1. EATCS Monographs on Theoretical Computer Science. Springer-Verlag, Berlin, Heidelberg, New York, 1992."},{"key":"16_CR8","series-title":"Addison-Wesley object technology series","volume-title":"The unified software development process: UML; The complete guide to the Unified Process from the original designers","author":"I. Jacobson","year":"1999","unstructured":"I. Jacobson, J. Rumbaugh, and G. Booch. The unified software development process: UML; The complete guide to the Unified Process from the original designers. Addison-Wesley object technology series. Addison-Wesley, Reading, Mass., 1999."},{"key":"16_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-71120-6","volume-title":"Rechensysteme; Grundlagen der Modellbildung","author":"E. Jessen","year":"1987","unstructured":"Eike Jessen and R\u00fcdiger Valk. Rechensysteme; Grundlagen der Modellbildung. Springer-Verlag, Berlin, Heidelberg, New York, 1987."},{"key":"16_CR10","unstructured":"Olaf Kummer. Simulating synchronous channels and net instances. In J. Desel, P. Kemper, E. Kindler, and A. Oberweis, editors, 5. Workshop Algorithmen und Werkzeuge f\u00fcr Petrinetze, Forschungsbericht Nr. 694, pages 73\u201378. Fachbereich Informatik, Universit\u00e4t Dortmund, October 1998."},{"key":"16_CR11","first-page":"7","volume":"56","author":"O. Kummer","year":"1999","unstructured":"Olaf Kummer. A Petri net view on synchronous channels. Petri Net Newsletter, (56):7\u201311, 1999.","journal-title":"Petri Net Newsletter"},{"key":"16_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-46581-2","volume-title":"Concurrent Object-Oriented Programming and Petri Nets","author":"C. Maier","year":"1999","unstructured":"Christoph Maier and Daniel Moldt. Object Coloured Petri Nets \u2014 a Formal Technique for Object Oriented Modelling. In G. Agha, F. De Cindio, and G. Rozenberg, editors, Concurrent Object-Oriented Programming and Petri Nets, Lecture Notes in Computer Science, Berlin, Heidelberg, New York, 1999. Springer-Verlag. in print."},{"key":"16_CR13","unstructured":"Daniel Moldt. H\u00f6here Petrinetze als Grundlage f\u00fcr Systemspezifikationen. Dissertation, University of Hamburg, Department of Computer Science, August 1996."},{"key":"16_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/3-540-63139-9_31","volume-title":"Application and Theory of Petri Nets 1997","author":"D. Moldt","year":"1997","unstructured":"Daniel Moldt and Frank Wienberg. Multi-Agent-Systems based on Coloured Petri Nets. In Gianfranco Balbo, editors. Application and Theory of Petri Nets 1997, number 1248 in Lecture Notes in Computer Science, Berlin, Heidelberg, New York, 1997. Springer-Verlag Az\u00e9ma and Balbo [AB97], pages 82\u2013101."},{"key":"16_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-75329-9","volume-title":"A Primer in Petri Net Design","author":"W. Reisig","year":"1992","unstructured":"Wolfgang Reisig. A Primer in Petri Net Design. Springer Compass International. Springer-Verlag, Berlin, Heidelberg, New York, 1992."},{"key":"16_CR16","unstructured":"The Renew Home Page. WWWpage at \n                    http:\/\/www.renew.de\n                    \n                  . Represents the Renew homepage."},{"key":"16_CR17","series-title":"Addison-Wesley object technology series","volume-title":"The unified modeling language reference manual: The definitive reference to the UML from the original designers","author":"J. Rumbaugh","year":"1999","unstructured":"J. Rumbaugh, I. Jacobson, and G. Booch. The unified modeling language reference manual: The definitive reference to the UML from the original designers. Addison-Wesley object technology series. Addison-Wesley, Reading, Mass., 1999."},{"volume-title":"Petri-Netze im Einsatz f\u00fcr Entwurf und Entwicklung von Informationssystemen","year":"1993","key":"16_CR18","unstructured":"Gert Scheschonk and Wolfgang Reisig, editors. Petri-Netze im Einsatz f\u00fcr Entwurf und Entwicklung von Informationssystemen, Informatik Aktuell, Berlin, Heidelberg, New York, 1993. Gesellschaft f\u00fcr Informatik, Springer-Verlag."},{"key":"16_CR19","unstructured":"Clemens Szyperski.Component software: Beyond object-oriented programming. ACM Press books. Addison-Wesley, Reading, Mass., reprint edition, 1998."},{"key":"16_CR20","unstructured":"The UML Home Page. WWW page at \n                    http:\/\/www.rational.com\/uml\/\n                    \n                  . Represents the UML homepage hold by the originators of UML."},{"key":"16_CR21","unstructured":"R\u00fcdiger Valk. Modelling Concurrency by Task\/Flow EN Systems. In Proceedings 3rd Workshop on Concurrency and Compositionality, number 191 in GMD-Studien, St. Augustin, Bonn, Germany, 1991. Gesellschaft f\u00fcr Mathematik und Datenverarbeitung."},{"key":"16_CR22","series-title":"Lect Notes Comput Sci","volume-title":"19th International Conference on Application and Theory of Petri nets","author":"R. Valk","year":"1998","unstructured":"R\u00fcdiger Valk. Petri Nets as Token Objects: An Introduction to Elementary Object Nets. In J\u00f6rg Desel and Manuel Silva, editors, 19th International Conference on Application and Theory of Petri nets, number 1420 in Lecture Notes in Computer Science, Berlin, Heidelberg, New York, 1998. Springer-Verlag."}],"container-title":["Lecture Notes in Computer Science","Business Process Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45594-9_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,20]],"date-time":"2019-02-20T22:18:01Z","timestamp":1550701081000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45594-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540674542","9783540455943"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-45594-9_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}