{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T06:40:01Z","timestamp":1742366401767,"version":"3.40.1"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642281143"},{"type":"electronic","value":"9783642281150"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28115-0_10","type":"book-chapter","created":{"date-parts":[[2012,1,24]],"date-time":"2012-01-24T15:44:07Z","timestamp":1327419847000},"page":"99-107","source":"Crossref","is-referenced-by-count":2,"title":["On the Modeling of Healthcare Workflows Using Recursive ECATNets"],"prefix":"10.1007","author":[{"given":"Amel Ben","family":"Dhieb","sequence":"first","affiliation":[]},{"given":"Kamel","family":"Barkaoui","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","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. LNBIP, vol.\u00a043, pp. 593\u2013604. Springer, Heidelberg (2010)"},{"key":"10_CR2","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1109\/TITB.2005.847194","volume":"9","author":"L. Maruster","year":"2005","unstructured":"Maruster, L., Jorna, R.: From data to knowledge: a method for modeling hospital logistic processes. IEEE Transactions on Information Technology in Biomedicine\u00a09, 248\u2013255 (2005)","journal-title":"IEEE Transactions on Information Technology in Biomedicine"},{"doi-asserted-by":"crossref","unstructured":"Halliday, J.J., Shrivastava, S.K., Wheater, S.M.: Flexible workflow management in the openflow system. In: 4th International Enterprise Distributed Object Computing Conference (EDOC 2001), pp. 82\u201392. IEEE Computer Society (2001)","key":"10_CR3","DOI":"10.1109\/EDOC.2001.950425"},{"unstructured":"Schonenberg, H., Mans, R., Russell, N., Mulyar, N., Van der Aalst, W.M.P.: Towards a taxonomy of process flexibility. In: CAiSE Forum, pp. 81\u201384 (2008)","key":"10_CR4"},{"doi-asserted-by":"crossref","unstructured":"Hagen, C., Alonso, G.: Flexible exception handling in the opera process support system. In: International Conference on Distributed Computing Systems, p. 526 (1998)","key":"10_CR5","DOI":"10.1109\/ICDCS.1998.679803"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/3-540-45594-9_13","volume-title":"Business Process Management","author":"C.A. Ellis","year":"2000","unstructured":"Ellis, C.A., Keddara, K.: A Workflow Change Is a Workflow. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol.\u00a01806, pp. 201\u2013217. Springer, Heidelberg (2000)"},{"issue":"3","key":"10_CR7","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/S0169-023X(97)00033-5","volume":"24","author":"F. Casati","year":"1998","unstructured":"Casati, F., Ceri, S., Pernici, B., Pozzi, G.: Workflow evolution. Data Knowl. Eng.\u00a024(3), 211\u2013238 (1998)","journal-title":"Data Knowl. Eng."},{"issue":"3","key":"10_CR8","first-page":"29","volume":"3","author":"R. Siebert","year":"1999","unstructured":"Siebert, R.: An open architecture for adaptive workflow management systems. J. Integr. Des. Process Sci.\u00a03(3), 29\u201341 (1999)","journal-title":"J. Integr. Des. Process Sci."},{"issue":"7-8","key":"10_CR9","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":"10_CR10","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 Workshops 2007. LNCS, vol.\u00a04928, pp. 232\u2013244. Springer, Heidelberg (2008)"},{"key":"10_CR11","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":"10_CR12","first-page":"1","volume":"31","author":"K. Barkaoui","year":"2010","unstructured":"Barkaoui, K., Ben Ayed, R.: Uniform Verification of Workflow Soundness. Transactions of the Institute of Measurement and Control Journal\u00a031, 1\u201316 (2010)","journal-title":"Transactions of the Institute of Measurement and Control Journal"}],"container-title":["Lecture Notes in Business Information Processing","Business Process Management Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28115-0_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T06:05:08Z","timestamp":1742364308000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28115-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642281143","9783642281150"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28115-0_10","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2012]]}}}