Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
ten Teije, A., Miksch, S., Lucas, P. (eds.): Computer-based Medical Guidelines and Protocols: A Primer and Current Trends. IOS Press, Amsterdam (2008)
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)
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)
Balser, M., Duelli, C., Reif, W.: Formal semantics of asbru - an overview. In: Proc. IDPT (2002)
Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice Hall PTR, Upper Saddle River (1981)
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)
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)
Bernardi, S., Donatelli, S., Horvath, A.: Implementing compositionality for stochastic petri nets. International Journal on Software Tools for Technology Transfer 3(4) (2001)
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)
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)
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)
Quaglini, S., Stefanelli, M., Lanzola, G., Caporusso, V., Panzarasa, S.: Flexible guideline-based patient careflow systems. Artificial Intelligence in Medicine 22, 65–80 (2001)
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)
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)
Duret-Lutz, A., Poitrenaud, D.: SPOT: an Extensible Model Checking Library Using Transition-Based Generalized Büchi Automata
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Beccuti, M., Bottrighi, A., Franceschinis, G., Montani, S., Terenziani, P. (2009). Modeling Clinical Guidelines through Petri Nets. In: Combi, C., Shahar, Y., Abu-Hanna, A. (eds) Artificial Intelligence in Medicine. AIME 2009. Lecture Notes in Computer Science(), vol 5651. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02976-9_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-02976-9_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02975-2
Online ISBN: 978-3-642-02976-9
eBook Packages: Computer ScienceComputer Science (R0)