{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T12:08:23Z","timestamp":1774440503370,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642013638","type":"print"},{"value":"9783642013645","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-01364-5_2","type":"book-chapter","created":{"date-parts":[[2009,4,30]],"date-time":"2009-04-30T16:32:58Z","timestamp":1241109178000},"page":"19-36","source":"Crossref","is-referenced-by-count":12,"title":["Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets"],"prefix":"10.1007","author":[{"given":"Kamel","family":"Barkaoui","sequence":"first","affiliation":[]},{"given":"Hanifa","family":"Boucheneb","sequence":"additional","affiliation":[]},{"given":"Awatef","family":"Hicheur","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Van der Aalst, W.M.P., Adams, M., ter Hofstede, A.H.M., Pesic, M., Schonenberg, H.: Flexibility as a Service. BPM Center Report BPM-08-09. BPMcenter.org. (2008)","DOI":"10.1007\/978-3-642-04205-8_27"},{"key":"2_CR2","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":"2_CR3","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1006\/inco.1993.1025","volume":"104","author":"R. Alur","year":"1993","unstructured":"Alur, R., Henzinger, T.A.: Real-Time Logics: Complexity and Expressiveness. Inf. Comput.\u00a0104, 35\u201377 (1993)","journal-title":"Inf. Comput."},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"206","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: Benatallah, B., ter Hofstede, A., Paik, H. (eds.) BPM Workshops 2007. LNCS, vol.\u00a04928, pp. 206\u2013217. Springer, Heidelberg (2008)"},{"issue":"3","key":"2_CR5","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B. Berthomieu","year":"1991","unstructured":"Berthomieu, B., Diaz, M.: Modeling and Verification of Time Dependent Systems using Time Petri Nets. IEEE Transactions on Software Engineering\u00a017(3), 259\u2013273 (1991)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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.) Abstract Data Types 1991 and COMPASS 1991. LNCS, vol.\u00a0655, pp. 164\u2013180. Springer, Heidelberg (1993)"},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1109\/ACSD.2007.41","volume-title":"Proc. of the seventh International Conference on Application of Concurrency to System Design","author":"H. Boucheneb","year":"2007","unstructured":"Boucheneb, H., Rakkay, H.: A More Efficient Time Petri net State Space Abstraction Preserving Linear Properties. In: Proc. of the seventh International Conference on Application of Concurrency to System Design, pp. 61\u201370. IEEE Computer Society, Los Alamitos (2007)"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-540-85778-5_19","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"H. Boucheneb","year":"2008","unstructured":"Boucheneb, H., Barkaoui, K.: Relevant Timed Schedules \/ Clock Valuation for Constructing Time Petri Net Reachability Graphs. In: Cassez, F., Jard, C. (eds.) FORMATS 2008. LNCS, vol.\u00a05215, pp. 265\u2013279. Springer, Heidelberg (2008)"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Bowden, F.D.J.: A Brief Survey and Synthesis of the Roles of Time in Petri Nets. In: Mathematical and Computer Modelling, pp. 55\u201368 (2000)","DOI":"10.1016\/S0895-7177(00)00072-8"},{"issue":"1-3","key":"2_CR10","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."},{"key":"2_CR11","unstructured":"Casati, F.: A discussion on approaches to handling exceptions in workflows. In: 1998 Conference on Computer-Supported Cooperative Work, Seattle (1998)"},{"key":"2_CR12","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), http:\/\/maude.cs.uiuc.edu"},{"issue":"7-8","key":"2_CR13","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":"2_CR14","first-page":"82","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, Los Alamitos (2001)"},{"key":"2_CR15","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":"2_CR16","first-page":"281","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, Los Alamitos (2006)"},{"issue":"1-2","key":"2_CR17","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-2), 121\u2013133 (2002)","journal-title":"J. Fundam. Inform."},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Tiplea, F.L., Macovei, G.I.: Timed workflow nets. In: Proc. of IEEE International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, pp. 361\u2013366 (2005)","DOI":"10.1109\/SYNASC.2005.75"},{"key":"2_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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)"}],"container-title":["Lecture Notes in Computer Science","Web Services and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01364-5_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T06:34:07Z","timestamp":1739082847000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01364-5_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642013638","9783642013645"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01364-5_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}