Modeling Clinical Guidelines through Petri Nets

  • Marco Beccuti
  • Alessio Bottrighi
  • Giuliana Franceschinis
  • Stefania Montani
  • Paolo Terenziani
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5651)


Clinical guidelines (GLs) play an important role to standardize and organize clinical processes according to evidence-based medicine. Several computer-based GL representation languages have been defined, usually focusing on expressiveness and/or on user-friendliness. In many cases, the interpretation of some constructs in such languages is quite unclear. Only recently researchers have started to provide a formal semantics for some of such languages, thus providing an unambiguous specification for implementers, and a formal ground in which different approaches can be compared, and verification techniques can be applied. Petri Nets are a natural candidate formalism to cope with GL semantics, since they are explicitly geared towards the representation of processes, and are paired with powerful verification mechanisms. We show how Petri Nets can cope with the semantics of GLs in a clear way, taking the system GLARE formalism as a case study.


clinical guidelines Petri net Well-formed net 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Fridsma, D.B. (Guest ed.). Special issue on workflow management and clinical guidelines. Journal of the American Medical Informatics Association 1(22), 1–80 (2001)Google Scholar
  2. 2.
    ten Teije, A., Miksch, S., Lucas, P. (eds.): Computer-based Medical Guidelines and Protocols: A Primer and Current Trends. IOS Press, Amsterdam (2008)Google Scholar
  3. 3.
    Sutton, D.R., Fox, J.: The syntax and semantics of the PROforma guideline modeling language. Journal of the American Medical Informatics Association 10, 433–443 (2003)CrossRefPubMedPubMedCentralGoogle Scholar
  4. 4.
    Peleg, M., et al.: Comparing models of decision and action for guideline-based decision support: a case-study approach. Journal of the American Medical Informatics Association 10, 52–68 (2003)CrossRefPubMedPubMedCentralGoogle Scholar
  5. 5.
    Balser, M., Duelli, C., Reif, W.: Formal semantics of asbru - an overview. In: Proc. IDPT (2002)Google Scholar
  6. 6.
    Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice Hall PTR, Upper Saddle River (1981)Google Scholar
  7. 7.
    Terenziani, P., Montani, S., Bottrighi, A., Molino, G., Torchio, M.: Applying artificial intelligence to clinical guidelines: the glare approach. In: TenTeije, A., Miksch, S., Lucas, P. (eds.) Computer-based medical guidelines and protocols: A primer and current trends. IOS Press, Amsterdam (2008)Google Scholar
  8. 8.
    Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: Stochastic Well-formed Coloured nets for symmetric modelling applications. IEEE Transactions on Computers 42(11), 1343–1360 (1993)CrossRefGoogle Scholar
  9. 9.
    Bernardi, S., Donatelli, S., Horvath, A.: Implementing compositionality for stochastic petri nets. International Journal on Software Tools for Technology Transfer 3(4) (2001)Google Scholar
  10. 10.
    Baarir, S., Beccuti, M., Cerotti, D., De Pierro, M., Donatelli, S., Franceschinis, G.: The GreatSPN Tool: Recent Enhancements. ACM Performance Evaluation Review Spec. Issue on Tools for Perf. Eval. 36(4), 4–9 (2009)CrossRefGoogle Scholar
  11. 11.
    Parker, C.G., Rocha, R.A., Campbell, J.R., Tu, S.W., Huff, S.M.: Detailed clinical models for sharable, executable guidelines. In: Proc. Medinfo., pp. 45–148 (2004)Google Scholar
  12. 12.
    Alberti, M., Ciampolini, A., Chesani, F., Gavanelli, M., Mello, P., Montali, M., Storari, S., Torroni, P.: Protocol specification and verification using computational logic. In: Proc. WOA (2005)Google Scholar
  13. 13.
    Quaglini, S., Stefanelli, M., Lanzola, G., Caporusso, V., Panzarasa, S.: Flexible guideline-based patient careflow systems. Artificial Intelligence in Medicine 22, 65–80 (2001)CrossRefPubMedGoogle Scholar
  14. 14.
    Peleg, M., Rubin, D., Altman, R.B.: Using petri nets tools to study propertuies and dynamics of bilogical systems. Journal of the American Medical Informatics Association 12, 181–199 (2005)CrossRefPubMedPubMedCentralGoogle Scholar
  15. 15.
    Grando, M.A., Glasspool, D.W., Fox, J.: Petri Nets as a formalism for comparing expressiveness of workflow-based Clinical Guideline Languages. In: Proc. PROHealth 2008. LNCS. Springer, Heidelberg (2008)Google Scholar
  16. 16.
    Duret-Lutz, A., Poitrenaud, D.: SPOT: an Extensible Model Checking Library Using Transition-Based Generalized Büchi AutomataGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Marco Beccuti
    • 1
  • Alessio Bottrighi
    • 1
  • Giuliana Franceschinis
    • 1
  • Stefania Montani
    • 1
  • Paolo Terenziani
    • 1
  1. 1.DIUniv. Piemonte Orientale “A. Avogadro”AlessandriaItaly

Personalised recommendations