{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T17:11:57Z","timestamp":1725729117103},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642390876"},{"type":"electronic","value":"9783642390883"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39088-3_1","type":"book-chapter","created":{"date-parts":[[2013,6,4]],"date-time":"2013-06-04T01:26:20Z","timestamp":1370309180000},"page":"1-18","source":"Crossref","is-referenced-by-count":8,"title":["Modelling and Analysis of Flexible Healthcare Processes Based on Algebraic and Recursive Petri Nets"],"prefix":"10.1007","author":[{"given":"Awatef","family":"Hicheur","sequence":"first","affiliation":[]},{"given":"Amel","family":"Ben Dhieb","sequence":"additional","affiliation":[]},{"given":"Kamel","family":"Barkaoui","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/978-3-540-78238-4_24","volume-title":"Business Process Management Workshops","author":"K. Barkaoui","year":"2008","unstructured":"Barkaoui, K., Hicheur, A.: Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets. In: ter Hofstede, A.H.M., Benatallah, B., Paik, H.-Y. (eds.) BPM 2007 Workshops. LNCS, vol.\u00a04928, pp. 232\u2013244. Springer, Heidelberg (2008)"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-642-01364-5_2","volume-title":"Web Services and Formal Methods","author":"K. Barkaoui","year":"2009","unstructured":"Barkaoui, K., Boucheneb, H., Hicheur, A.: Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets. In: Bruni, R., Wolf, K. (eds.) WS-FM 2008. LNCS, vol.\u00a05387, pp. 19\u201336. Springer, Heidelberg (2009)"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/11691617_13","volume-title":"Model Checking Software","author":"S. B\u00e4umler","year":"2006","unstructured":"B\u00e4umler, S., Balser, M., Dunets, A., Reif, W., Schmitt, J.: Verification of medical guidelines by model checking \u2013 a case study. In: Valmari, A. (ed.) SPIN 2006. LNCS, vol.\u00a03925, pp. 219\u2013233. Springer, Heidelberg (2006)"},{"key":"1_CR4","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-642-28115-0_10","volume-title":"Business Process Management Workshops","author":"A. Ben Dhieb","year":"2012","unstructured":"Ben Dhieb, A., Barkaoui, K.: On the Modeling of Healthcare Workflows Using Recursive ECATNets. In: Daniel, F., Barkaoui, K., Dustdar, S. (eds.) BPM 2011 Workshops, Part II. LNBIP, vol.\u00a0100, pp. 99\u2013107. Springer, Heidelberg (2012)"},{"issue":"1-3","key":"1_CR5","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1016\/j.tcs.2006.04.012","volume":"360","author":"R. Bruni","year":"2006","unstructured":"Bruni, R., Meseguer, J.: Semantic foundations for generalized rewrite theories. J. Theor. Comput. Sci.\u00a0360(1-3), 386\u2013414 (2006)","journal-title":"J. Theor. Comput. Sci."},{"issue":"3","key":"1_CR6","doi-asserted-by":"publisher","first-page":"921","DOI":"10.1016\/j.ejor.2009.04.011","volume":"201","author":"B. Cardoen","year":"2010","unstructured":"Cardoen, B., Demeulemeester, E., Beli\u00ebn, J.: Operating room planning and scheduling: A literature review. European Journal of Operational Research\u00a0201(3), 921\u2013932 (2010)","journal-title":"European Journal of Operational Research"},{"key":"1_CR7","unstructured":"Clavel, M., Duran, F., Eker, S., Lincoln, P., Marti-Oliet, N., Meseguer, J., Talcott, J.: Maude Manual (Version 2.3). SRI International and University of Illinois at Urbana-Champaign (2007), \n                  \n                    http:\/\/maude.cs.uiuc.edu\/maude2-manual\/"},{"key":"1_CR8","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1007\/978-3-642-21759-3_24","volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"M. D\u00f6hring","year":"2011","unstructured":"D\u00f6hring, M., Zimmermann, B.: vBPMN: Event-Aware Workflow Variants by Weaving BPMN2 and Business Rules. In: Halpin, T., Nurcan, S., Krogstie, J., Soffer, P., Proper, E., Schmidt, R., Bider, I. (eds.) BPMDS 2011 and EMMSAD 2011. LNBIP, vol.\u00a081, pp. 332\u2013341. Springer, Heidelberg (2011)"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/BFb0055044","volume-title":"Automata, Languages and Programming","author":"C. Dufourd","year":"1998","unstructured":"Dufourd, C., Finkel, A., Schnoebelen, P.: Reset nets between decidability and undecidability. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol.\u00a01443, pp. 103\u2013115. Springer, Heidelberg (1998)"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Dadam, P., Reichert, M., Kuhn, K.: Clinical Workflows - The Killer Application for Process-oriented Information Systems? In: Proc. BIS 2000, pp. 36\u201359 (2000)","DOI":"10.1007\/978-1-4471-0761-3_3"},{"issue":"7-8","key":"1_CR11","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1007\/s00236-007-0055-y","volume":"40","author":"S. Haddad","year":"2007","unstructured":"Haddad, S., Poitrenaud, D.: Recursive Petri nets: Theory and Application to Discrete Event Systems. Acta Informatica\u00a040(7-8), 463\u2013508 (2007)","journal-title":"Acta Informatica"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/978-3-540-78238-4_37","volume-title":"Business Process Management Workshops","author":"K.M. Hee van","year":"2008","unstructured":"van Hee, K.M., Schonenberg, H., Serebrenik, A., Sidorova, N., van der Werf, J.M.: Adaptive Workflows for Healthcare Information Systems. In: ter Hofstede, A., Benatallah, B., Paik, H.-Y. (eds.) BPM 2007 Workshops. LNCS, vol.\u00a04928, pp. 359\u2013370. Springer, Heidelberg (2008)"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-642-32355-3_3","volume-title":"Foundations of Health Informatics Engineering and Systems","author":"T. Hildebrandt","year":"2012","unstructured":"Hildebrandt, T., Rao Mukkamala, R., Slaats, T.: Declarative Modelling and Safe Distribution of Healthcare Workflows. In: Liu, Z., Wassyng, A. (eds.) FHIES 2011. LNCS, vol.\u00a07151, pp. 39\u201356. Springer, Heidelberg (2012)"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Monographs in Theoretical Computer Science. Springer (1997)","DOI":"10.1007\/978-3-642-60794-3"},{"issue":"1","key":"1_CR15","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/j.datak.2006.04.007","volume":"61","author":"R. Lenz","year":"2007","unstructured":"Lenz, R., Reichert, M.U.: IT Support for Healthcare Processes - Premises, Challenges, Perspectives. Data & Knowledge Engineering\u00a061(1), 39\u201358 (2007)","journal-title":"Data & Knowledge Engineering"},{"key":"1_CR16","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1007\/978-3-642-00328-8_34","volume-title":"Business Process Management Workshops","author":"K.M. Lyng","year":"2009","unstructured":"Lyng, K.M., Hildebrandt, T., Mukkamala, R.R.: From paper based clinical practice guidelines to declarative workflow management. In: Ardagna, D., Mecella, M., Yang, J. (eds.) BPM 2008 Workshops. LNBIP, vol.\u00a017, pp. 336\u2013347. Springer, Heidelberg (2009)"},{"key":"1_CR17","unstructured":"Mans, R.S., et al.: Supporting healthcare processes with YAWL4Healthcare. In: Ludwig, H., Reijers, H.A. (eds.) Pro: Demo Track of the Nineth Conf. on BPM, pp. 1\u20136 (2012)"},{"key":"1_CR18","unstructured":"Mulyar, N., Russell, N., Van der Aalst, W.M.P.: Process flexibility patterns. Working paper WP 251, Beta Research School (2008)"},{"key":"1_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/3-540-61604-7_64","volume-title":"CONCUR \u201996: Concurrency Theory","author":"J. Meseguer","year":"1996","unstructured":"Meseguer, J.: Rewriting Logic as a Semantic Framework for Concurrency. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol.\u00a01119, pp. 331\u2013372. Springer, Heidelberg (1996)"},{"key":"1_CR20","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1007\/978-3-642-12186-9_57","volume-title":"Business Process Management Workshops","author":"H.A. Reijers","year":"2010","unstructured":"Reijers, H.A., Russell, N., van der Geer, S., Krekels, G.A.M.: Workflow for Healthcare: A Methodology for Realizing Flexible Medical Treatment Processes. In: Rinderle-Ma, S., Sadiq, S., Leymann, F. (eds.) BPM 2009 Workshops. LNBIP, vol.\u00a043, pp. 593\u2013604. Springer, Heidelberg (2010)"},{"key":"1_CR21","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/978-3-642-28115-0_23","volume-title":"Business Process Management Workshops","author":"C. Reuter","year":"2012","unstructured":"Reuter, C., Dadam, P., Rudolph, S., Deiters, W., Trillsch, S.: Guarded Process Spaces (GPS): A Navigation System towards Creation and Dynamic Change of Healthcare Processes from the End-User\u2019s Perspective. In: Daniel, F., Barkaoui, K., Dustdar, S. (eds.) BPM 2011 Workshops, Part II. LNBIP, vol.\u00a0100, pp. 237\u2013248. Springer, Heidelberg (2012)"},{"key":"1_CR22","unstructured":"Richard, M., Rogge-Solti, A.: BPMN for Healthcare Processes. In: Eichhorn, D., Koschmider, A., Zhang, H. (eds.) 3rd Central-European Workshop on Services and their Composition. CEUR Workshop Proceedings, vol.\u00a0705, pp. 65\u201372 (2011)"},{"issue":"3","key":"1_CR23","doi-asserted-by":"publisher","first-page":"438","DOI":"10.1016\/j.datak.2008.05.001","volume":"66","author":"B. Weber","year":"2008","unstructured":"Weber, B., Reichert, M., Rinderle-Ma, S.: Change patterns and change support features\u2013enhancing flexibility in process-aware information systems. Data & Knowledge Engineering\u00a066(3), 438\u2013466 (2008)","journal-title":"Data & Knowledge Engineering"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Ekera, S., Meseguer, J., Sridharanarayananb, A.: The Maude LTL Model Checker. In: Proc. of Rewriting Logic and Its Applications (WRLA 2002). Electronic Notes in Theoretical Computer Science, vol.\u00a071, pp. 162\u2013187 (2002)","DOI":"10.1016\/S1571-0661(05)82534-4"}],"container-title":["Lecture Notes in Computer Science","Foundations of Health Information Engineering and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39088-3_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T17:19:52Z","timestamp":1557767992000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39088-3_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642390876","9783642390883"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39088-3_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}