{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:58:23Z","timestamp":1725490703808},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540403340"},{"type":"electronic","value":"9783540449195"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44919-1_7","type":"book-chapter","created":{"date-parts":[[2007,9,3]],"date-time":"2007-09-03T00:38:42Z","timestamp":1188779922000},"page":"44-63","source":"Crossref","is-referenced-by-count":15,"title":["Deciding Life-Cycle Inheritance on Petri Nets"],"prefix":"10.1007","author":[{"given":"H. M. W.","family":"Verbeek","sequence":"first","affiliation":[]},{"given":"T.","family":"Basten","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,5,27]]},"reference":[{"key":"7_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. Az\u00e9ma and G. Balbo, editors, Application and Theory of Petri Nets 1997, volume 1248 of Lecture Notes in Computer Science, pages 407\u2013426, Toulouse, France, June 1997. Springer, Berlin, Germany, 1997."},{"key":"7_CR2","series-title":"The Kluwer International Series in Engineering and Computer Science","first-page":"161","volume-title":"Information and Process Integration in Enterprises: Rethinking Documents","author":"W.M.P. Aalst van der","year":"1998","unstructured":"W.M.P. van der Aalst. Chapter 10: Three good reasons for using a Petri-net-based workflow management system. In T. Wakayama, S. Kannapan, C.M. Khoong, S. Navathe, and J. Yates, editors, Information and Process Integration in Enterprises: Rethinking Documents, volume 428 of The Kluwer International Series in Engineering and Computer Science, pages 161\u2013182. Kluwer Academic Publishers, Boston, Massachusetts, 1998."},{"key":"7_CR3","unstructured":"W.M.P. van der Aalst. Inheritance of Dynamic Behaviour in UML. In D. Moldt, editor, MOCA\u201902, Second Workshop on Modelling of Objects, Components, and Agents, pages 105\u2013120, Aarhus, Denmark, August 2002. University of Aarhus, Report DAIMI PB-561, 2002. http:\/\/www.daimi.au.dk\/CPnets\/workshop02\/moca\/papers\/."},{"issue":"3","key":"7_CR4","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1023\/A:1016031730365","volume":"2","author":"W.M.P. Aalst van der","year":"2002","unstructured":"W.M.P. van der Aalst. Inheritance of Interorganizational Workflows to Enable Business-to-Business E-commerce. Electronic Commerce Research, 2(3):195\u2013231, 2002.","journal-title":"Electronic Commerce Research"},{"key":"7_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/3-540-45740-2_4","volume-title":"Applications and Theory of Petri Nets 2001","author":"W.M.P. Aalst van der","year":"2001","unstructured":"W.M.P. van der Aalst and T. Basten. Identifying Commonalities and Differences in Object Life Cycles using Behavioral Inheritance. In J.-M. Colom and M. Koutny, editors, Applications and Theory of Petri Nets 2001, volume 2075 of Lecture Notes in Computer Science, pages 32\u201352, Newcastle, UK, 2001. Springer, Berlin, Germany, 2001."},{"issue":"1\u20132","key":"7_CR6","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0304-3975(00)00321-2","volume":"270","author":"W.M.P. Aalst van der","year":"2002","unstructured":"W.M.P. van der Aalst and T. Basten. Inheritance of Workflows: An Approach to Tackling Problems Related to Change. Theoretical Computer Science, 270(1\u20132):125\u2013203, 2002.","journal-title":"Theoretical Computer Science"},{"key":"7_CR7","volume-title":"In Terms of Nets: System Design with Petri nets and Process Algebra","author":"T. Basten","year":"1998","unstructured":"T. Basten. In Terms of Nets: System Design with Petri nets and Process Algebra. PhD thesis, Eindhoven University of Technology, Eindhoven, The Netherlands, December 1998."},{"issue":"2","key":"7_CR8","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/S1567-8326(00)00004-7","volume":"47","author":"T. Basten","year":"2001","unstructured":"T. Basten and W.M.P. van der Aalst. Inheritance of Behavior. Journal of Logic and Algebraic Programming, 47(2):47\u2013145, 2001.","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"7_CR9","volume-title":"Object-Oriented Analysis and Design: With Applications","author":"G. Booch","year":"1994","unstructured":"G. Booch. Object-Oriented Analysis and Design: With Applications. Benjamin\/Cunnings, Redwood City, California, USA, 1994."},{"key":"7_CR10","volume-title":"The Unified Modeling Language User Guide","author":"G. Booch","year":"1998","unstructured":"G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, Reading, Massachusetts, USA, 1998."},{"key":"7_CR11","series-title":"Lect Notes Comput Sci","first-page":"79","volume-title":"Advances in Petri Nets 1990","author":"J.-M. Colom","year":"1990","unstructured":"J.-M. Colom and M. Silva. Convex Geometry and Semiflows in P\/T nets: A Comparative Study of Algorithms for Computation of Minimal P-semiflows. In G. Rozenberg, editor, Advances in Petri Nets 1990, volume 483 of Lecture Notes in Computer Science, pages 79\u2013112. Springer, Berlin, Germany, 1990."},{"key":"7_CR12","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511526558","volume-title":"Free Choice Petri Nets","author":"J. Desel","year":"1995","unstructured":"J. Desel and J. Esparza. Free Choice Petri Nets, volume 40 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, UK, 1995."},{"key":"7_CR13","volume-title":"Business Modeling with UML: Business Patterns at Work","author":"H.-E. Eriksson","year":"2000","unstructured":"H.-E. Eriksson and M. Penker. Business Modeling with UML: Business Patterns at Work. John Wiley and Sons, New York, USA, January 2000."},{"issue":"3","key":"7_CR14","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1145\/233551.233556","volume":"43","author":"R.J. Glabbeek van","year":"1996","unstructured":"R.J. van Glabbeek and W.P. Weijland. Branching Time and Abstraction in Bisimulation Semantics. Journal of the ACM, 43(3):555\u2013600, 1996.","journal-title":"Journal of the ACM"},{"key":"7_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1007\/BFb0032063","volume-title":"Automata, Languages and Programming","author":"J.F. Groote","year":"1990","unstructured":"J.F. Groote and F.W. Vaandrager. An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence. In M.S. Paterson, editor, Automata, Languages and Programming, volume 443 of Lecture Notes in Computer Science, pages 626\u2013638, Warwick University, England, July 1990. Springer, Berlin, Germany, 1990."},{"key":"7_CR16","volume-title":"The Object Advantage: Business Process Reengineering with Object Technology","author":"I. Jacobson","year":"1991","unstructured":"I. Jacobson, M. Ericsson, and A. Jacobson. The Object Advantage: Business Process Reengineering with Object Technology. Addison-Wesley, Reading, Massachusetts, USA, 1991."},{"key":"7_CR17","unstructured":"Object Management Group. OMG Unified Modeling Language. http:\/\/www.omg.com\/uml\/."},{"key":"7_CR18","volume-title":"Object-Oriented Modeling and Design","author":"J. Rumbaugh","year":"1991","unstructured":"J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice-Hall, Englewoord Cliffs, New Jersey, USA, 1991."},{"key":"7_CR19","volume-title":"The Unified Modeling Language Reference Manual","author":"J. Rumbaugh","year":"1998","unstructured":"J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, Reading, Massachusetts, USA, 1998."}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44919-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,23]],"date-time":"2019-02-23T10:06:29Z","timestamp":1550916389000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44919-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540403340","9783540449195"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-44919-1_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}