{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T12:08:29Z","timestamp":1774440509149,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540782377","type":"print"},{"value":"9783540782384","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-78238-4_24","type":"book-chapter","created":{"date-parts":[[2008,2,29]],"date-time":"2008-02-29T10:21:18Z","timestamp":1204280478000},"page":"232-244","source":"Crossref","is-referenced-by-count":15,"title":["Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets"],"prefix":"10.1007","author":[{"given":"Kamel","family":"Barkaoui","sequence":"first","affiliation":[]},{"given":"Awatef","family":"Hicheur","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1","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)"},{"key":"24_CR2","unstructured":"Casati, F.: A discussion on approaches to handling exceptions in workflows. In: Conference on Computer-Supported Cooperative Work 1998, Seattle (1998)"},{"key":"24_CR3","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1109\/EDOC.2001.950425","volume-title":"4th IEEE Int. Enterprise Distributed Object Comp. Conf.","author":"J.J. Halliday","year":"2001","unstructured":"Halliday, J.J., Shrivastava, S.K., Wheater, S.M.: Flexible workflow management in the OPENflow system. In: 4th IEEE Int. Enterprise Distributed Object Comp. Conf., pp. 82\u201392. IEEE Computer Society, Washington (2001)"},{"key":"24_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/11767589_14","volume-title":"Petri Nets and Other Models of Concurrency - ICATPN 2006","author":"K. Hee van","year":"2006","unstructured":"van Hee, K., Lomazova, I.A., Oanea, O., Serebrenik, A., Sidorova, N., Voorhoeve, M.: Nested nets for adaptive systems. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol.\u00a04024, pp. 241\u2013260. Springer, Heidelberg (2006)"},{"key":"24_CR5","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1109\/SCC.2006.71","volume-title":"IEEE International Conference on Services Computing","author":"W. Sadiq","year":"2006","unstructured":"Sadiq, W., Sadiq, S., Schulz, K.: Model Driven Distribution of Collaborative Business Processes. In: IEEE International Conference on Services Computing, pp. 281\u2013284. IEEE Computer Society, Chicago (2006)"},{"key":"24_CR6","unstructured":"Sarshar, K., Theling, Th., Loos, P., Jerrentrup, M.: Integrating Process and Organization Models of Collaborations through Object Petri Nets. In: Sarshar, K. (ed.) MKWI 2006, contribution to XML4BPM, Passau (2006)"},{"key":"24_CR7","unstructured":"Hicheur, A., Barkaoui, K.: A Natural Semantics for RECATNets in Terms of Conditional Rewriting Logic. Internal Technical Report, Cedric Lab (2007)"},{"key":"24_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1007\/3-540-56379-2_39","volume-title":"Recent Trends in Data Type Specification","author":"M. Bettaz","year":"1993","unstructured":"Bettaz, M., Maouche, M.: How to Specify Non Determinism and True Concurrency with Algebraic Terms Nets. In: Bidoit, M., Choppy, C. (eds.) Recent Trends in Data Type Specification. LNCS, vol.\u00a0655, pp. 164\u2013180. Springer, Heidelberg (1993)"},{"key":"24_CR9","doi-asserted-by":"publisher","first-page":"936","DOI":"10.1109\/AICCSA.2006.205201","volume-title":"4th ACS\/IEEE Int. Conf. on Computer Systems and Application","author":"N. Zeghib","year":"2006","unstructured":"Zeghib, N., Barkaoui, K., Bettaz, M.: Contextual ECATNets semantics in terms of conditional rewriting logic. In: 4th ACS\/IEEE Int. Conf. on Computer Systems and Application, pp. 936\u2013943. IEEE Press, Sharjah (2006)"},{"key":"24_CR10","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1007\/978-1-4615-4493-7_48","volume-title":"5th Workshop on Discrete Event Systems","author":"S. Haddad","year":"2000","unstructured":"Haddad, S., Poitrenaud, D.: Modeling and analyzing systems with recursive Petri nets. In: 5th Workshop on Discrete Event Systems, pp. 449\u2013458. Kluwer Academic, Belgium (2000)"},{"issue":"1\u20133","key":"24_CR11","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\u20133), 386\u2013414 (2006)","journal-title":"J. Theor. Comput. Sci."},{"issue":"1\u20132","key":"24_CR12","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. J. Fundam. Inform.\u00a051(1\u20132), 121\u2013133 (2002)","journal-title":"J. Fundam. Inform."},{"key":"24_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"819","DOI":"10.1007\/978-3-540-27755-2_23","volume-title":"Lectures on Concurrency and Petri Nets","author":"R. Valk","year":"2004","unstructured":"Valk, R.: Object Petri Nets-Using the Nets-within-Nets Paradigm. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol.\u00a03098, pp. 819\u2013848. Springer, Heidelberg (2004)"},{"key":"24_CR14","unstructured":"Clavel, M., Duran, F., Eker, S., Lincoln, P., Mart\u0131-Oliet, N., Meseguer, J., Talcott, C.: Maude manual (version2.3) (2007), http:\/\/maude.cs.uiuc.edu\/maude2-manual\/"},{"key":"24_CR15","first-page":"389","volume-title":"8th SYNASC 2006","author":"A. Hicheur","year":"2006","unstructured":"Hicheur, A., Barkaoui, K., Boudiaf, N.: Modeling Workflows with Recursive ECATNets. In: 8th SYNASC 2006, pp. 389\u2013398. IEEE Computer Society, Los Alamitos (2006)"}],"container-title":["Lecture Notes in Computer Science","Business Process Management Workshops"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78238-4_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,28]],"date-time":"2025-01-28T20:59:06Z","timestamp":1738097946000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78238-4_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540782377","9783540782384"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78238-4_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008]]}}}