{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T13:17:28Z","timestamp":1772025448980,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540419426","type":"print"},{"value":"9783540453970","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45397-0_16","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T16:17:01Z","timestamp":1184602621000},"page":"406-427","source":"Crossref","is-referenced-by-count":18,"title":["Object Coloured Petri Nets - A Formal Technique for Object Oriented Modelling"],"prefix":"10.1007","author":[{"given":"Christoph","family":"Maier","sequence":"first","affiliation":[]},{"given":"Daniel","family":"Moldt","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,4,25]]},"reference":[{"key":"16_CR1","series-title":"Lect Notes Comput Sci","first-page":"407","volume-title":"Application and Theory of Petri Nets 1997","author":"W.M.P. Aalst van der","year":"1997","unstructured":"W.M.P. van der Aalst. Verification of Workflow Nets. In P. Azema and G. Balbo, editors, Application and Theory of Petri Nets 1997, volume 1248 of Lecture Notes in Computer Science, pages 407\u2013426. Springer-Verlag, Berlin, 1997."},{"key":"16_CR2","unstructured":"W.M.P. van der Aalst, H.M.W. Verbeek, and D. Hauschildt. A Petri-net-based Tool to Analyze Workflows. In Petri Nets in System Engineering (PNSE\u201997)-Modelling, Verification and Validation, pages 78\u201389. Universityof Hamburg (FBIHH-B-205\/97), 1997."},{"key":"16_CR3","unstructured":"Ulrich Becker and Daniel Moldt. Objektorientierte Konzepte f\u00fcr gef\u00e4rbte Petrinetze. In Gert Scheschonk and Wolfgang Reisig, editors, Petri-Netze im Einsatz f\u00fcr Entwurf und Entwicklung von Informationssystemen, Informatik Aktuell, pages 140\u2013151, Berlin Heidelberg New York, 1993. Springer-Verlag."},{"key":"16_CR4","unstructured":"G. Booch. Object-Oriented Design. Benjamin\/Cummings Redwood City, CA, 2. edition, 1993."},{"key":"16_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/3-540-58152-9_10","volume-title":"Coloured Petri Nets Extended with Channels for Synchronous Communication","author":"S. Christensen","year":"1994","unstructured":"Soren Christensen and Niels Damgaard Hansen. Coloured Petri Nets Extended with Channels for Synchronous Communication. In International Conference on the Application and Theory of Petri Nets, volume 815 of Lecture Notes in Computer Science, pages 159\u2013178. Springer-Verlag, 1994."},{"key":"16_CR6","volume-title":"Design Patterns-Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns-Elements of Reusable Object-Oriented Software. Addison-WesleyPublishing Company, Reading, Massachusetts, 1995."},{"key":"16_CR7","unstructured":"Ivar Jacobson, Magnus Christerson, Patrik Jonsson, and Gunnar \u00d6vergaard. Object-Oriented Software Engineering-A Use Case Driven Approach. Addison-WesleyPublishing Company, 1992."},{"key":"16_CR8","unstructured":"Ivar Jacobson, Maria Ericsson, and Agneta Jacobson. The Object Advantage, Business Process Reengineering with Object Technology. Addison-Wesley, 1995."},{"key":"16_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-06289-0","volume-title":"Coloured Petri Nets: Volume 1; Basic Concepts, Analysis Methods and Practical Use","author":"K. Jensen","year":"1992","unstructured":"Kurt Jensen. Coloured Petri Nets: Volume 1; Basic Concepts, Analysis Methods and Practical Use. EATCS Monographs on Theoretical Computer Science. Springer-Verlag, Berlin Heidelberg New York, 1992."},{"key":"16_CR10","volume-title":"Darstellung von Objektorientierten Konzepten mit Petrinetzen","author":"C. Maier","year":"1996","unstructured":"Christoph Maier. Darstellung von Objektorientierten Konzepten mit Petrinetzen. Studienarbeit, Universit\u00e4t Hamburg, Fachbereich Informatik, Vogt-K\u00f6lln Str. 30, 22527 Hamburg, Germany, May 1996."},{"key":"16_CR11","unstructured":"Christoph Maier. Objektorientierte Analyse mit gef\u00e4rbten Petrinetzen. Diplomarbeit, Universit\u00e4t Hamburg, Fachbereich Informatik, 1997."},{"key":"16_CR12","unstructured":"Daniel Moldt. H\u00f6here Petrinetze als Grundlage f\u00fcr Systemspezifikationen. Dissertation, Universit\u00e4t Hamburg, Fachbereich Informatik, Vogt-K\u00f6lln Str. 30, 22527 Hamburg, Germany, 1996."},{"key":"16_CR13","unstructured":"RATIONAL Software Corporation. UML Notation Guide, September 1997. Version 1.1. Available at \n                    http:\/\/www.rational.com\/\n                    \n                  ."},{"issue":"1","key":"16_CR14","first-page":"10","volume":"8","author":"J. Rumbaugh","year":"1995","unstructured":"J. Rumbaugh. Modeling and design-OMT: The functional model. Journal of Object Oriented Programming, 8(1):10\u201314, 1995.","journal-title":"Journal of Object Oriented Programming"},{"key":"16_CR15","volume-title":"Object-Oriented Modeling and Design","author":"J. Rumbaugh","year":"1991","unstructured":"James Rumbaugh, Michael Blaha, William Premeralani, Frederick Eddy, and William Lorensen. Object-Oriented Modeling and Design. Prentice Hall, Englewood Cliffs, New Jersey07632, 1991."},{"key":"16_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1007\/3-540-58152-9_26","volume-title":"Cooperative Nets","author":"C. Sibertin-Blanc","year":"1994","unstructured":"C. Sibertin-Blanc. Cooperative Nets. In 15th International Conference on the Application and Theory of Petri Nets, volume 815 of Lecture Notes in Computer Science, pages 471\u2013490, Zaragoza, Spain, 1994. Springer-Verlag."},{"key":"16_CR17","unstructured":"Peter Wegner. The object-oriented classiffication paradigm. In B. Shriver and P. Wegner, editors, Research Directions in Object-Oriented Programming, Cambridge, 1987. Cambridge UniversityPress."},{"key":"16_CR18","volume-title":"Mainstream Objects: An Analysis and Design Approach for Business","author":"E. Yourdon","year":"1995","unstructured":"Edward Yourdon, Whitehead Katharine, Jim Thomann, Karin Oppel, and Peter Nevermann. Mainstream Objects: An Analysis and Design Approach for Business. Yourdon Press computing series. Prentice Hall, New York, 1995."}],"container-title":["Lecture Notes in Computer Science","Concurrent Object-Oriented Programming and Petri Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45397-0_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,18]],"date-time":"2019-02-18T00:04:33Z","timestamp":1550448273000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45397-0_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540419426","9783540453970"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-45397-0_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}