Abstract
There has been relatively little work on formal analysis of expressiveness and verification of properties in clinical workflow. In this paper we discuss Coloured Petri nets (CPNs) as a formalism to support such analysis. We show in detail how a typical clinical guideline language (PROforma) may be formally mapped to a CPN representation, then show how such a mapping allows formal proofs that a guideline language is capable or is not capable of expressing a standardised workflow pattern. We argue that the strategies of proof presented here to study the expressiveness of PROforma can be generalized to an arbitrary workflow-based language.
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
Agostini, A., De Michelis, G., Petruni, K.: Keeping Workflow Models as Simple as Possible. In: Proceeding of the workshop on CSCW, Petri Nets and related formalism, pp. 11–29 (1994)
Chen, B., Avrunin, G.S., Henneman, E.A., Clarke, L.A., Osterweil, L.J., Henneman, P.L.: Analyzing medical processes. In: ICSE 2008: Proceedings of the 30th international conference on Software engineering, pp. 623–632 (2008)
Edinburgh Concurrency Workbench, http://homepages.inf.ed.ac.uk/perdita/cwb//
Ellis, C.A., Nutt, G.J.: Modelling and Enactment of Workflow Systems. In: Ajmone Marsan, M. (ed.) ICATPN 1993. LNCS, vol. 691, pp. 1–16. Springer, Heidelberg (1993)
Garg, A.X., Adhikari, N.K.J., McDonald, H.: Effects of computerized clinical decision support systems on practitioner performance and patient outcomes: a systematic review. JAMIA 293, 1223–1238 (2005)
Grimshaw, J.M., Russel, I.T.: Effect of clinical guidelines on medical practice: A systematic review of rigorous evaluations. Lancet 342, 1317–1322 (1993)
Milner, R.: Communicating and Mobile Systems: the Pi-Calculus. Cambridge Univ. Press, Cambridge (1999)
Mulyar, N., van der Aalst, W.M.P., Peleg, M.: A pattern-based analysis of clinical computer-interpretable guideline modeling languages. JAMIA 14(6), 781–787 (2007)
Petri, C.A.: Kommunikation mit Automaten, Bonn: Institut für Instrumentelle Mathematik, Schriften des IIM Nr. 2 (1962)
Quaglini, S., Stefanelli, M., Cavallini, A., Micieli, G., Fassino, C., Mossa, C.: Guideline-based careflow systems. Artif. Intell. Med. 20(1), 5–22 (2000)
Russell, N., ter Hofstede, A.H.M., van der Aalst, W.M.P., Mulyar, N.: Workflow Control-Flow Patterns: A Revised View, BPM Center Report BPM-06-22 (2006)
Sutton, D.R., Fox, J.: The Syntax and Semantics of the PROforma guideline modelling language. JAMIA 10(5), 433–443 (2003)
ten Teije, A., Marcos, M., Balser, M., van Croonenborg, J., Duelli, C., van Harmelen, F., Lucas, P., Miksch, S., Reif, W., Rosenbrand, K., Seyfang, A.: Improving medical protocols by formal methods. Artificial Intell. in Medicine 36(3), 193–209 (2006)
van der Aalst, W.M.P., van Hee, K.M., Houben, G.J.: Modelling and analysing workflow using Petri Net based approach. In: Proceedings of Second Workshop on Computer-suppported Cooperative work, Petri nets related formalisms, pp. 31–50 (1994)
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
Grando, M.A., Glasspool, D.W., Fox, J. (2009). Petri Nets as a Formalism for Comparing Expressiveness of Workflow-Based Clinical Guideline Languages. In: Ardagna, D., Mecella, M., Yang, J. (eds) Business Process Management Workshops. BPM 2008. Lecture Notes in Business Information Processing, vol 17. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-00328-8_35
Download citation
DOI: https://doi.org/10.1007/978-3-642-00328-8_35
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-00327-1
Online ISBN: 978-3-642-00328-8
eBook Packages: Computer ScienceComputer Science (R0)