Petri nets as a formalism for comparing expressiveness of workflow-based clinical guideline languages

Lecture Notes in Business Information Processing

Volumn 17 LNBIP, Issue , 2009, Pages 348-360

  Grando, María Adela ^a   Glasspool, David W ^a   Fox, John ^b  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

Care pathways; Clinical process modelling; Petri nets; Workflow patterns

Indexed keywords

ENTERPRISE RESOURCE MANAGEMENT; FORMAL LOGIC; GRAPH THEORY; PETRI NETS; QUERY LANGUAGES; TECHNICAL PRESENTATIONS;

CARE PATHWAYS; CLINICAL GUIDELINE; CLINICAL PROCESS MODELLING; CLINICAL WORKFLOW; COLOURED PETRI NETS; FORMAL ANALYSIS; FORMAL PROOFS; PROFORMA; WORKFLOW PATTERNS;

LINGUISTICS;

EID: 67649946232     PISSN: 18651348     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-00328-8_35     Document Type: Conference Paper

References (14)

1. 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)
2. Chen, B., Avrunin, G.S., Henneman, E.A., Clarke, L.A., Osterweil, L.J., Henne-man, P.L.: Analyzing medical processes. In: ICSE 2008: Proceedings of the 30th international conference on Software engineering, pp. 623-632 (2008)
3. Edinburgh Concurrency Workbench, http://homepages.inf.ed.ac.uk/perdita/ cwb//
4. 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)
5. 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)
6. Grimshaw, J.M., Russel, I.T.: Effect of clinical guidelines on medical practice: A systematic review of rigorous evaluations. Lancet 342, 1317-1322 (1993)
7. Milner, R.: Communicating and Mobile Systems: the Pi-Calculus. Cambridge Univ. Press, Cambridge (1999)
8. 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)
9. Petri, C.A.: Kommunikation mit Automaten, Bonn: Institut für Instrumentelle Mathematik, Schriften des IIM Nr. 2 (1962)
10. Quaglini, S., Stefanelli, M., Cavallini, A., Micieli, G., Fassino, C., Mossa, C.: Guideline-based careflow systems. Artif. Intell. Med. 20(1), 5-22 (2000)
11. 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)
12. Sutton, D.R., Fox, J.: The Syntax and Semantics of the PROforma guideline modelling language. JAMIA 10(5), 433-443 (2003)
13. ten Teije, A., Marcos, M., Balser, M., van Croonenborg, J., Duelli, C., van Harme-len, 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)
14. 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)