Meta-ECATNets for Modelling and Analyzing Clinical Pathways

  • Abdelkader MoudjariEmail author
  • Fateh Latreche
  • Hichem Talbi
Conference paper
Part of the Lecture Notes in Networks and Systems book series (LNNS, volume 64)


Recently, the paradigm of clinical pathway has taken more attention in the field of healthcare system. The clinical pathway is complex, dynamic and flexible. The use of basic Petri nets for modelling clinical pathways generates a complex and extremely large nets (Chincholkar and Chetty in Int J Advan Manuf Technol 12(5):339–348 (1996), [1]). Meta-ECATNets are a kind of high-level Petri nets with two levels, in which meta places control elements of the lower level. In this paper, Meta-ECATNets are used to model the clinical pathway of the Chronic Obstructive Pulmonary Disease (CODP), the correctness of this process is done by TCTL model-checker of Real-Time Maude.


Clinical pathway Meta-ECATNets Flexibility Dynamic 


  1. 1.
    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–348 (1996)CrossRefGoogle Scholar
  2. 2.
    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–18. Springer (2012)Google Scholar
  3. 3.
    Latreche, F., Belala, F.: A layered petri net model to formally analyse time critical web service composition. IJCCBS 7(2), 119–137 (2017)CrossRefGoogle Scholar
  4. 4.
    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’an, China, May 30–June 1, 2016, pp. 284–290 (2016)Google Scholar
  5. 5.
    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–210 (2011)Google Scholar
  6. 6.
    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–36. Springer (2012)Google Scholar
  7. 7.
    Group, L.P.W., et al.: Little-jil 1.5 language report. Laboratory for Advanced Software Engineering Research, Department of Computer Science, University of Massachusetts-Amherst, MA (2006)Google Scholar
  8. 8.
    David, A., Jacobsen, L., Jacobsen, M., Jørgensen, K.Y., Møller, 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–497. Springer (2012)Google Scholar
  9. 9.
    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–30 Aug 1991, Selected Papers, pp. 164–180 (1991)Google Scholar
  10. 10.
    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–4 Nov 2014, pp. 27–34 (2014)Google Scholar
  11. 11.
    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–50 (1994)Google Scholar
  12. 12.
    Littner, M.R.: Chronic obstructive pulmonary disease. Ann. Intern. Med. 154(7) (2011). (ITC4–1)CrossRefGoogle Scholar
  13. 13.
    World-Health-Organization: Global burden of disease 2004 update: part 2, causes of death (2008).
  14. 14.
    Celli, B.R.: Predictors of mortality in copd. Respir. Med. 104(6), 773–779 (2010)CrossRefGoogle Scholar
  15. 15.
    Augusto, V., Xie, X.: A modeling and simulation framework for health care systems. IEEE Trans. Syst. Man Cybern. Syst. 44(1), 30–46 (2014)CrossRefGoogle Scholar
  16. 16.
    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–1276 (2001)CrossRefGoogle Scholar
  17. 17.
    Lepri, D., Ábrahám, E., Ölveczky, 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–25 Mar 2012, Revised Selected Papers, pp. 182–200 (2012)CrossRefGoogle Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  • Abdelkader Moudjari
    • 1
    Email author
  • Fateh Latreche
    • 2
  • Hichem Talbi
    • 1
  1. 1.MISC Laboratory Constantine 2 UniversityConstantineAlgeria
  2. 2.LIRE Laboratory Constantine 2 UniversityConstantineAlgeria

Personalised recommendations