{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T16:12:06Z","timestamp":1743091926348,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030054809"},{"type":"electronic","value":"9783030054816"}],"license":[{"start":{"date-parts":[[2018,11,30]],"date-time":"2018-11-30T00:00:00Z","timestamp":1543536000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-05481-6_22","type":"book-chapter","created":{"date-parts":[[2018,11,29]],"date-time":"2018-11-29T13:06:12Z","timestamp":1543496772000},"page":"289-298","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Meta-ECATNets for Modelling and Analyzing Clinical Pathways"],"prefix":"10.1007","author":[{"given":"Abdelkader","family":"Moudjari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fateh","family":"Latreche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hichem","family":"Talbi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,11,30]]},"reference":[{"issue":"5","key":"22_CR1","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/BF01179809","volume":"12","author":"A Chincholkar","year":"1996","unstructured":"Chincholkar, A., Chetty, O.K.: Stochastic coloured petri nets for modelling and evaluation, and heuristic rule base for scheduling of fms. Int. J. Advan. Manuf. Technol. 12(5), 339\u2013348 (1996)","journal-title":"Int. J. Advan. Manuf. Technol."},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Hicheur, A., Dhieb, A.B., Barkaoui, K.: Modelling and analysis of flexible healthcare processes based on algebraic and recursive petri nets. In: International Symposium on Foundations of Health Informatics Engineering and Systems, pp. 1\u201318. Springer (2012)","DOI":"10.1007\/978-3-642-39088-3_1"},{"issue":"2","key":"22_CR3","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1504\/IJCCBS.2017.084915","volume":"7","author":"F Latreche","year":"2017","unstructured":"Latreche, F., Belala, F.: A layered petri net model to formally analyse time critical web service composition. IJCCBS 7(2), 119\u2013137 (2017)","journal-title":"IJCCBS"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Barkaoui, K., Hicheur, A., Kheldoun, A., Liu, D.: Modelling and analyzing home care plans using high-level petri nets. In: 13th International Workshop on Discrete Event Systems, WODES 2016, Xi\u2019an, China, May 30\u2013June 1, 2016, pp. 284\u2013290 (2016)","DOI":"10.1109\/WODES.2016.7497861"},{"issue":"3","key":"22_CR5","first-page":"183","volume":"6","author":"G Du","year":"2011","unstructured":"Du, G., Jiang, Z., Diao, X., Yao, Y.: Workflow modelling of clinical pathway based on modular temporised coloured petri net with changeable structure. Int. J. Serv. Oper. Inf. 6(3), 183\u2013210 (2011)","journal-title":"Int. J. Serv. Oper. Inf."},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Bertolini, C., Liu, Z., Srba, J.: Verification of timed healthcare workflows using component timed-arc petri nets. In: International Symposium on Foundations of Health Informatics Engineering and Systems, pp. 19\u201336. Springer (2012)","DOI":"10.1007\/978-3-642-39088-3_2"},{"key":"22_CR7","unstructured":"Group, L.P.W., et\u00a0al.: Little-jil 1.5 language report. Laboratory for Advanced Software Engineering Research, Department of Computer Science, University of Massachusetts-Amherst, MA (2006)"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"David, A., Jacobsen, L., Jacobsen, M., J\u00f8rgensen, K.Y., M\u00f8ller, M.H., Srba, J.: Tapaal 2.0: Integrated development environment for timed-arc petri nets. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp. 492\u2013497. Springer (2012)","DOI":"10.1007\/978-3-642-28756-5_36"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"Bettaz, M., Maouche, M.: How to specify non-determinism and true concurrency with algebraic term nets. In: Recent Trends in Data Type Specification, 8th Workshop on Specification of Abstract Data Types Joint with the 3rd COMPASS Workshop, Dourdan, France, 26\u201330 Aug 1991, Selected Papers, pp. 164\u2013180 (1991)","DOI":"10.1007\/3-540-56379-2_39"},{"key":"22_CR10","unstructured":"Latreche, F., Belala, F.: Mop-ecatnets for formal modeling dynamic web services. In: Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, ICAASE 2014, Constantine, Algeria, 2\u20134 Nov 2014, pp. 27\u201334 (2014)"},{"key":"22_CR11","unstructured":"van der Aalst, W.M.P., Van Hee, K., Houben, G.: Modelling and analysing workflow using a petri-net based approach. In: Proceedings of the second Workshop on Computer-Supported Cooperative Work, Petri Nets and Related Formalisms, pp. 31\u201350 (1994)"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Littner, M.R.: Chronic obstructive pulmonary disease. Ann. Intern. Med. 154(7) (2011). (ITC4\u20131)","DOI":"10.7326\/0003-4819-154-7-201104050-01004"},{"key":"22_CR13","unstructured":"World-Health-Organization: Global burden of disease 2004 update: part 2, causes of death (2008). http:\/\/www.who.int\/healthinfo\/global_burden_disease\/GBD_report_2004update_part2.pdf"},{"issue":"6","key":"22_CR14","doi-asserted-by":"publisher","first-page":"773","DOI":"10.1016\/j.rmed.2009.12.017","volume":"104","author":"BR Celli","year":"2010","unstructured":"Celli, B.R.: Predictors of mortality in copd. Respir. Med. 104(6), 773\u2013779 (2010)","journal-title":"Respir. Med."},{"issue":"1","key":"22_CR15","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1109\/TSMC.2013.2239640","volume":"44","author":"V Augusto","year":"2014","unstructured":"Augusto, V., Xie, X.: A modeling and simulation framework for health care systems. IEEE Trans. Syst. Man Cybern. Syst. 44(1), 30\u201346 (2014)","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"issue":"5","key":"22_CR16","doi-asserted-by":"publisher","first-page":"1256","DOI":"10.1164\/ajrccm.163.5.2101039","volume":"163","author":"RA Pauwels","year":"2001","unstructured":"Pauwels, R.A., Buist, A.S., Calverley, P.M., Jenkins, C.R., Hurd, S.S.: Global strategy for the diagnosis, management, and prevention of chronic obstructive pulmonary disease: Nhlbi\/who global initiative for chronic obstructive lung disease (gold) workshop summary. Am. J. Respir. Crit. Care Med. 163(5), 1256\u20131276 (2001)","journal-title":"Am. J. Respir. Crit. Care Med."},{"key":"22_CR17","doi-asserted-by":"crossref","unstructured":"Lepri, D., \u00c1brah\u00e1m, E., \u00d6lveczky, P.C.: Timed CTL model checking in real-time maude. In: Rewriting Logic and Its Applications-9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, 24\u201325 Mar 2012, Revised Selected Papers, pp. 182\u2013200 (2012)","DOI":"10.1007\/978-3-642-34005-5_10"}],"container-title":["Lecture Notes in Networks and Systems","Modelling and Implementation of Complex Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-05481-6_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,15]],"date-time":"2023-04-15T17:08:48Z","timestamp":1681578528000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-05481-6_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11,30]]},"ISBN":["9783030054809","9783030054816"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-05481-6_22","relation":{},"ISSN":["2367-3370","2367-3389"],"issn-type":[{"type":"print","value":"2367-3370"},{"type":"electronic","value":"2367-3389"}],"subject":[],"published":{"date-parts":[[2018,11,30]]},"assertion":[{"value":"30 November 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"MISC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Modelling and Implementation of Complex Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Laghouat","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Algeria","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 December 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 December 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"misc2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/misc2018.misc-lab.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}