{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:34:18Z","timestamp":1775054058896,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540346999","type":"print"},{"value":"9783540347002","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11767589_14","type":"book-chapter","created":{"date-parts":[[2006,6,20]],"date-time":"2006-06-20T14:38:34Z","timestamp":1150814314000},"page":"241-260","source":"Crossref","is-referenced-by-count":20,"title":["Nested Nets for Adaptive Systems"],"prefix":"10.1007","author":[{"given":"Kees M.","family":"van Hee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Irina A.","family":"Lomazova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olivia","family":"Oanea","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Serebrenik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Natalia","family":"Sidorova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Voorhoeve","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Application and Theory of Petri Nets 1997","author":"W.M.P. Aalst van der","year":"1997","unstructured":"van der Aalst, W.M.P.: Verification of workflow nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248. Springer, Heidelberg (1997)"},{"issue":"1","key":"14_CR2","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W.M.P. Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers\u00a08(1), 21\u201366 (1998)","journal-title":"The Journal of Circuits, Systems and Computers"},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-45594-9_11","volume-title":"Business Process Management","author":"W.M.P. Aalst van der","year":"2000","unstructured":"van der Aalst, W.M.P.: Workflow verification: Finding control-flow errors using Petri-net-based techniques. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol.\u00a01806, pp. 161\u2013183. Springer, Heidelberg (2000)"},{"issue":"1-2","key":"14_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. Theor. Comput. Sci.\u00a0270(1-2), 125\u2013203 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., Basten, T., Verbeek, H.M.W.E., Verkoulen, P.A.C., Voorhoeve, M.: Adaptive workflow-on the interplay between flexibility and suppor. In: ICEIS, pp. 353\u2013360 (1999)","DOI":"10.1007\/978-94-015-9518-6_5"},{"key":"14_CR6","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7301.001.0001","volume-title":"Workflow Management: Models, Methods, and Systems","author":"W.M.P. Aalst van der","year":"2002","unstructured":"van der Aalst, W.M.P., van Hee, K.M.: Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge (2002)"},{"issue":"1","key":"14_CR7","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"W.M.P. Aalst van der","year":"2003","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distributed and Parallel Databases\u00a014(1), 5\u201351 (2003)","journal-title":"Distributed and Parallel Databases"},{"key":"14_CR8","unstructured":"van der Aalst, W.M.P., Moldt, D., Valk, R., Wienberg, F.: Enacting Interorganizational Workflows Using Nets in Nets. In: Becker, J., M\u00fchlen, M., Rosemann, M. (eds.) Proceedings of the 1999 Workflow Management Conference Workflow-based Applications, M\u00fcnster November 9, 1999, Working Paper Series of the Department of Information Systems, University of M\u00fcnster, Department of Information Systems, Steinfurter Str. 109, 48149 M\u00fcnster, Working Paper No. 70, pp. 117\u2013136 (1999)"},{"key":"14_CR9","unstructured":"Adams, M., ter Hofstede, A.H.M., Edmond, D., van der Aalst, W.M.P.: Facilitating flexibility and dynamic exception handling in workflows through worklets. In: Belo, O., Eder, J., Falc\u00e3o e Cunha, J., Pastor, O. (eds.) CAiSE Short Paper Proceedings. CEUR Workshop Proceedings, vol.\u00a0161 (2005), CEUR-WS.org"},{"key":"14_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/3-540-45397-0_3","volume-title":"Concurrent Object-Oriented Programming and Petri Nets","author":"O. Biberstein","year":"2001","unstructured":"Biberstein, O., Buchs, D., Guelfi, N.: Object-oriented nets with algebraic specifications: The CO-OPN\/2 formalism. In: Agha, G.A., De Cindio, F., Rozenberg, G. (eds.) APN 2001. LNCS, vol.\u00a02001, pp. 73\u2013130. Springer, Heidelberg (2001)"},{"key":"14_CR11","series-title":"Lecture Notes in Computer Science","volume-title":"Applications and Theory of Petri Nets 2005","year":"2005","unstructured":"Ciardo, G., Darondeau, P. (eds.): ICATPN 2005. LNCS, vol.\u00a03536. Springer, Heidelberg (2005)"},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"Lectures on Concurrency and Petri Nets, Advances in Petri Nets","year":"2004","unstructured":"Desel, J., Reisig, W., Rozenberg, G. (eds.): Lectures on Concurrency and Petri Nets, Advances in Petri Nets. LNCS, vol.\u00a03098. Springer, Heidelberg (2004)"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Padberg, J.: Graph grammars and Petri net transformations. In: Desel, et al. [12], pp. 496\u2013536","DOI":"10.1007\/978-3-540-27755-2_14"},{"key":"14_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"516","DOI":"10.1007\/3-540-47961-9_36","volume-title":"Advanced Information Systems Engineering","author":"A. Fent","year":"2002","unstructured":"Fent, A., Reiter, H., Freitag, B.: Design for change: Evolving workflow specifications in ULTRAflow. In: Pidduck, A.B., Mylopoulos, J., Woo, C.C., Ozsu, M.T. (eds.) CAiSE 2002. LNCS, vol.\u00a02348, pp. 516\u2013534. Springer, Heidelberg (2002)"},{"key":"14_CR15","unstructured":"Fossela, F.V., Komaki, R., Walsh, G.L.: Small-cell lung cancer. Practice Guideline, by following Thoracic and Small Cell Lung Cancer links (2000), available at: http:\/\/utm-ext01a.mdacc.tmc.edu\/mda\/cm\/CWTGuide.nsf\/LuHTML\/SideBar1?OpenDocument"},{"issue":"2","key":"14_CR16","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1016\/0890-5401(92)90013-6","volume":"100","author":"J. Groote","year":"1992","unstructured":"Groote, J., Vaandrager, F.: Structured operational semantics and bisimulation as a congruence. Information and Computation\u00a0100(2), 202\u2013260 (1992)","journal-title":"Information and Computation"},{"key":"14_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/3-540-44919-1_22","volume-title":"Applications and Theory of Petri Nets 2003","author":"K.M. Hee van","year":"2003","unstructured":"van Hee, K.M., Sidorova, N., Voorhoeve, M.: Soundness and separability of workflow nets in the stepwise refinement approach. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 337\u2013356. Springer, Heidelberg (2003)"},{"key":"14_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-540-27793-4_12","volume-title":"Applications and Theory of Petri Nets 2004","author":"K.M. Hee van","year":"2004","unstructured":"van Hee, K.M., Sidorova, N., Voorhoeve, M.: Generalised soundness of workflow nets is decidable. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol.\u00a03099, pp. 197\u2013215. Springer, Heidelberg (2004)"},{"key":"14_CR19","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/978-94-015-9608-4_5","volume-title":"Proceedings of the 3rd Internation Workshop Communication Based Systems","author":"K. Hoffman","year":"2000","unstructured":"Hoffman, K.: Run time modification of algebraic high level nets and algebraic higher order nets using folding and unfolding construction. In: Hommel, G. (ed.) Proceedings of the 3rd Internation Workshop Communication Based Systems, pp. 55\u201372. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"Hoffmann, K., Ehrig, H., Mossakowski, T.: High-level nets with nets and rules as tokens. In: Ciardo, Darondeau, [11], pp. 268\u2013288","DOI":"10.1007\/11494744_16"},{"key":"14_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-06289-0","volume-title":"Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical","author":"K. Jensen","year":"1992","unstructured":"Jensen, K.: Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical. Springer, Heidelberg (1992)"},{"issue":"3-4","key":"14_CR22","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1023\/A:1008759413689","volume":"9","author":"M. Klein","year":"2000","unstructured":"Klein, M., Dellarocas, C.: A knowledge-based approach to handling exceptions in workflow systems. Comput. Supported Coop. Work\u00a09(3-4), 399\u2013412 (2000)","journal-title":"Comput. Supported Coop. Work"},{"key":"14_CR23","doi-asserted-by":"crossref","unstructured":"K\u00f6hler, M., R\u00f6lke, H.: Reference and value semantics are equivalent for ordinary object petri nets. In: Ciardo, Darondeau [11], pp. 309\u2013328","DOI":"10.1007\/11494744_18"},{"key":"14_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/3-540-60029-9_45","volume-title":"Application and Theory of Petri Nets 1995","author":"C. Lakos","year":"1995","unstructured":"Lakos, C.: From coloured Petri nets to object Petri nets. In: DeMichelis, G., D\u00edaz, M. (eds.) ICATPN 1995. LNCS, vol.\u00a0935, pp. 278\u2013297. Springer, Heidelberg (1995)"},{"issue":"3-4","key":"14_CR25","first-page":"283","volume":"47","author":"I.A. Lomazova","year":"2001","unstructured":"Lomazova, I.A.: Nested Petri nets: Multi-level and recursive systems. Fundam. Inform.\u00a047(3-4), 283\u2013293 (2001)","journal-title":"Fundam. Inform."},{"issue":"1-2","key":"14_CR26","first-page":"121","volume":"51","author":"I.A. Lomazova","year":"2002","unstructured":"Lomazova, I.A.: Modeling dynamic objects in distributed systems with nested Petri nets. Fundam. Inform.\u00a051(1-2), 121\u2013133 (2002)","journal-title":"Fundam. Inform."},{"key":"14_CR27","unstructured":"Lomazova, I.A.: Nested Petri nets: modeling and analysis of distributed systems with object structure. Nauchny Mir, Moscow (2004) (in Russian)"},{"key":"14_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/3-540-46562-6_18","volume-title":"Perspectives of System Informatics","author":"I.A. Lomazova","year":"2000","unstructured":"Lomazova, I.A., Schnoebelen, P.: Some decidability results for nested Petri nets. In: Bjorner, D., Broy, M., Zamulin, A.V. (eds.) PSI 1999. LNCS, vol.\u00a01755, pp. 208\u2013220. Springer, Heidelberg (2000)"},{"key":"14_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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":"Moldt, D., Wienberg, F.: Multi-agent-systems based on coloured Petri nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 82\u2013101. Springer, Heidelberg (1997)"},{"issue":"2","key":"14_CR30","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/S1532-0464(02)00505-1","volume":"35","author":"S. Panzarasa","year":"2002","unstructured":"Panzarasa, S., Madd\u00e8, S., Quaglini, S., Pistarini, C., Stefanelli, M.: Evidence-based careflow management systems: the case of post-stroke rehabilitation. Journal of Biomedical Informatics\u00a035(2), 123\u2013139 (2002)","journal-title":"Journal of Biomedical Informatics"},{"key":"14_CR31","unstructured":"Peleg, M., Boxwala, A., Tu, S., Wang, D., Ogunyemi, O., Zengh, Q.: Guideline interchange format 3.5 technical specification. InterMed Project (2004)"},{"key":"14_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/11527770_12","volume-title":"Artificial Intelligence in Medicine","author":"S. Quaglini","year":"2005","unstructured":"Quaglini, S., Panzarasa, S., Cavallini, A., Micieli, G., Pernice, C., Stefanelli, M.: Smooth integration of decision support into an existing electronic patient record. In: Miksch, S., Hunter, J., Keravnou, E.T. (eds.) AIME 2005. LNCS, vol.\u00a03581, pp. 89\u201393. Springer, Heidelberg (2005)"},{"issue":"1","key":"14_CR33","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0933-3657(00)00050-6","volume":"20","author":"S. Quaglini","year":"2000","unstructured":"Quaglini, S., Stefanelli, M., Cavallini, A., Micieli, G., Fassino, C., Mossa, C.: Guideline-based careflow systems. Artificial Intelligence in Medicine\u00a020(1), 5\u201322 (2000)","journal-title":"Artificial Intelligence in Medicine"},{"issue":"1","key":"14_CR34","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/j.datak.2004.01.002","volume":"50","author":"S. Rinderle","year":"2004","unstructured":"Rinderle, S., Reichert, M., Dadam, P.: Correctness criteria for dynamic changes in workflow systems - a survey. Data Knowl. Eng.\u00a050(1), 9\u201334 (2004)","journal-title":"Data Knowl. Eng."},{"key":"14_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1007\/3-540-17906-2_27","volume-title":"Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986","author":"R. Valk","year":"1987","unstructured":"Valk, R.: Nets in computer organization. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol.\u00a0255, pp. 218\u2013233. Springer, Heidelberg (1987)"},{"key":"14_CR36","doi-asserted-by":"crossref","unstructured":"Valk, R.: Object Petri nets: Using the nets-within-nets paradigm. In: Desel, et\u00a0al. [12], pp. 819\u2013848","DOI":"10.1007\/978-3-540-27755-2_23"}],"container-title":["Lecture Notes in Computer Science","Petri Nets and Other Models of Concurrency - ICATPN 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11767589_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T13:12:26Z","timestamp":1736428346000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11767589_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540346999","9783540347002"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/11767589_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}