{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,2]],"date-time":"2025-06-02T09:46:36Z","timestamp":1748857596798},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540422525"},{"type":"electronic","value":"9783540457404"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45740-2_4","type":"book-chapter","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T15:30:51Z","timestamp":1195140651000},"page":"32-52","source":"Crossref","is-referenced-by-count":35,"title":["Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance"],"prefix":"10.1007","author":[{"given":"Wil M.P.","family":"van der Aalst","sequence":"first","affiliation":[]},{"given":"Twan","family":"Basten","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,28]]},"reference":[{"key":"4_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, Lecture Notes in Computer Science 1248, pages 407\u2013426. Springer, Berlin, Germany, 1997."},{"issue":"1","key":"4_CR2","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W.M.P. Aalst van der","year":"1998","unstructured":"W.M.P. van der Aalst. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 8(1):21\u201366, 1998.","journal-title":"The Journal of Circuits, Systems and Computers"},{"key":"4_CR3","series-title":"WP","volume-title":"BETA Working Paper Series","author":"W.M.P. Aalst van der","year":"2000","unstructured":"W.M.P. van der Aalst. Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control? BETA Working Paper Series, WP 46, Eindhoven University of Technology, The Netherlands, 2000."},{"key":"4_CR4","unstructured":"W.M.P. van der Aalst and T. Basten. Inheritance of Workflows: An approach to tackling problems related to change. To appear in Theoretical Computer Science."},{"key":"4_CR5","unstructured":"W.M.P. van der Aalst, K.M. van Hee, and R.A. van der Toorn. Component-Based Software Architectures: A Framework Based on Inheritance of Behavior. To appear in Science of Computer Programming."},{"key":"4_CR6","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511624193","volume-title":"Process Algebra","author":"J.C.M. Baeten","year":"1990","unstructured":"J.C.M. Baeten and W.P. Weijland. Process Algebra. Cambridge Tracts in Theoretical Computer Science 18. Cambridge University Press, Cambridge, UK, 1990."},{"key":"4_CR7","series-title":"PhD thesis","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, The Netherlands, 1998."},{"issue":"2","key":"4_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":"4_CR9","unstructured":"K. Bertet, M. Morvan, and L. Nourine. Lazy MacNeille Completion of a Partial Order. In G. Mineau and A. Fall, editors, Proc. of the 2nd Int. Symp. on Knowledge Retrieval, Use and Storage for Efficiency, KRUSE\u2019 97, pages 72\u201381, 1997"},{"key":"4_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, MA, 1998."},{"key":"4_CR11","volume-title":"Introduction to Lattices and Order","author":"B.A. Davey","year":"1990","unstructured":"B.A. Davey and H.A. Priestley. Introduction to Lattices and Order. Cambridge University Press, Cambridge, UK, 1990."},{"key":"4_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. Cambridge Tracts in Theoretical Computer Science 40. Cambridge University Press, Cambridge, UK, 1995."},{"issue":"3","key":"4_CR13","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":"4_CR14","volume-title":"Workflow Management: Modeling Concepts, Architecture, and Implementation","author":"S. Jablonski","year":"1996","unstructured":"S. Jablonski and C. Bussler. Workflow Management: Modeling Concepts, Architecture, and Implementation. Int. Thomson Computer Press, London, UK, 1996."},{"key":"4_CR15","volume-title":"SAP R\/3 Process Oriented Implementation","author":"G. Keller","year":"1998","unstructured":"G. Keller and T. Teufel. SAP R\/3 Process Oriented Implementation. Addison-Wesley, Reading, MA, 1998."},{"issue":"2","key":"4_CR16","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1080\/10864415.1998.11518336","volume":"3","author":"R.M. Lee","year":"1999","unstructured":"R.M. Lee. Distributed Electronic Trade Scenarios: Representation, Design, Prototyping. International Journal of Electronic Commerce, 3(2):105\u2013120, 1999.","journal-title":"International Journal of Electronic Commerce"},{"key":"4_CR17","doi-asserted-by":"publisher","first-page":"416","DOI":"10.2307\/1989739","volume":"42","author":"H.M. MacNeille","year":"1937","unstructured":"H.M. MacNeille. Partially ordered sets. Transactions of the American Mathematical Society, 42:416\u2013460, 1937.","journal-title":"Transactions of the American Mathematical Society"},{"issue":"4","key":"4_CR18","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"T. Murata. Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, 77(4):541\u2013580, 1989.","journal-title":"Proceedings of the IEEE"},{"key":"4_CR19","series-title":"Lect Notes Comput Sci","volume-title":"Lectures on Petri Nets I: Basic Models","year":"1998","unstructured":"W. Reisig and G. Rozenberg, editors. Lectures on Petri Nets I: Basic Models, Lecture Notes in Computer Science 1491. Springer, Berlin, Germany, 1998."},{"key":"4_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1007\/3-540-44988-4_28","volume-title":"Application and Theory of Petri Nets 2000","author":"H.M.W. Verbeek","year":"2000","unstructured":"H.M.W. Verbeek and W.M.P. van der Aalst. Woflan 2.0: A Petri-net-based Work-flow Diagnosis Tool. In M. Nielsen and D. Simpson, editors, Application and Theory of Petri Nets 2000, Lecture Notes in Computer Science 1825, pages 475\u2013484. Springer, Berlin, Germany, 2000. http:\/\/www.tm.tue.nl\/it\/woflan ."}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2001"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45740-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,27]],"date-time":"2021-08-27T20:59:53Z","timestamp":1630097993000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45740-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422525","9783540457404"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-45740-2_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}