{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:34:52Z","timestamp":1725564892604},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540222361"},{"type":"electronic","value":"9783540277934"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27793-4_22","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T22:49:31Z","timestamp":1283726971000},"page":"391-410","source":"Crossref","is-referenced-by-count":1,"title":["Transit Case Study"],"prefix":"10.1007","author":[{"given":"Eric","family":"Verbeek","sequence":"first","affiliation":[]},{"given":"Robert","family":"van der Toorn","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","first-page":"105","volume-title":"MOCA 2002, Second Workshop on Modelling of Objects, Components, and Agents","author":"W.M.P. Aalst van der","year":"2002","unstructured":"van der Aalst, W.M.P.: Inheritance of dynamic behaviour in UML. In: Moldt, D. (ed.) MOCA 2002, Second Workshop on Modelling of Objects, Components, and Agents, August 2002, pp. 105\u2013120. University of Aarhus, Aarhus (2002), \n                    \n                      http:\/\/www.daimi.au.dk\/CPnets\/workshop02\/moca\/papers\/"},{"issue":"3","key":"22_CR2","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1023\/A:1016031730365","volume":"2","author":"W.M.P. Aalst van der","year":"2002","unstructured":"van der Aalst, W.M.P.: Inheritance of interorganizational workflows to enable business-to-business E-commerce. Electronic Commerce Research\u00a02(3), 195\u2013231 (2002)","journal-title":"Electronic Commerce Research"},{"key":"22_CR3","series-title":"Lecture Notes in Computer Science","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":"van der Aalst, W.M.P., Basten, T.: Identifying commonalities and differences in object life cycles using behavioral inheritance. In: Colom, J.-M., Koutny, M. (eds.) ICATPN 2001. LNCS, vol.\u00a02075, pp. 32\u201352. Springer, Heidelberg (2001)"},{"issue":"1-2","key":"22_CR4","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":"van der Aalst, W.M.P., Basten, T.: Inheritance of workflows: An approach to tackling problems related to change. Theoretical Computer Science\u00a0270(1-2), 125\u2013203 (2002)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"22_CR5","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/S1567-8326(00)00004-7","volume":"47","author":"T. Basten","year":"2001","unstructured":"Basten, T., van der Aalst, W.M.P.: Inheritance of behavior. Journal of Logic and Algebraic Programming\u00a047(2), 47\u2013145 (2001)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"22_CR6","volume-title":"Object-Oriented Analysis and Design: With Applications","author":"G. Booch","year":"1994","unstructured":"Booch, G.: Object-Oriented Analysis and Design: With Applications. Benjamin\/ Cunnings, Redwood City (1994)"},{"key":"22_CR7","volume-title":"The Unified Modeling Language User Guide","author":"G. Booch","year":"1998","unstructured":"Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison-Wesley, Reading (1998)"},{"key":"22_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1007\/BFb0032063","volume-title":"Automata, Languages and Programming","author":"J.F. Groote","year":"1990","unstructured":"Groote, J.F., Vaandrager, F.W.: An efficient algorithm for branching bisimulation and stuttering equivalence. In: Paterson, M. (ed.) ICALP 1990. LNCS, vol.\u00a0443, pp. 626\u2013638. Springer, Heidelberg (1990)"},{"key":"22_CR9","unstructured":"Object Management Group. Omg unified modeling language, \n                    \n                      http:\/\/www.omg.com\/uml\/"},{"key":"22_CR10","volume-title":"The Object Advantage: Business Process Reengineering with Object Technology","author":"M. Jacobson","year":"1991","unstructured":"Jacobson, M.: The Object Advantage: Business Process Reengineering with Object Technology. Addison-Wesley, Reading (1991)"},{"key":"22_CR11","volume-title":"Object-Oriented Modeling and Design","author":"J. Rumbaugh","year":"1991","unstructured":"Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W.: Object-Oriented Modeling and Design. Prentice-Hall, Englewoord Cliffs (1991)"},{"key":"22_CR12","volume-title":"The Unified Modeling Language Reference Manual","author":"J. Rumbaugh","year":"1998","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison-Wesley, Reading (1998)"},{"key":"22_CR13","unstructured":"van de Toorn, R.A.: Component-Based Software Design with Petri Nets: an Approach Based on Inheritance of Behavior. PhD thesis, Eindhoven University of Technology, Eindhoven, The Netherlands (January 2004) (forthcoming)"},{"key":"22_CR14","series-title":"Lecture Notes in Computer Science","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":"Verbeek, H.M.W., van der Aalst, W.M.P.: Woflan 2.0: A Petri-net-based workflow diagnosis tool. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol.\u00a01825, pp. 475\u2013484. Springer, Heidelberg (2000)"},{"key":"22_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/3-540-44919-1_7","volume-title":"Applications and Theory of Petri Nets 2003","author":"H.M.W. Verbeek","year":"2003","unstructured":"Verbeek, H.M.W., Basten, T.: Deciding life-cycle inheritance on Petri nets. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 44\u201363. Springer, Heidelberg (2003)"},{"issue":"4","key":"22_CR16","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1093\/comjnl\/44.4.246","volume":"44","author":"H.M.W. Verbeek","year":"2001","unstructured":"Verbeek, H.M.W., Basten, T., van der Aalst, W.M.P.: Diagnozing workflow processes using Woflan. The Computer Journal\u00a044(4), 246\u2013279 (2001)","journal-title":"The Computer Journal"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27793-4_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,20]],"date-time":"2019-03-20T01:53:40Z","timestamp":1553046820000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27793-4_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540222361","9783540277934"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27793-4_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}