@inproceedings{a1b6c3fa26b54ae2a077f87e0943ae78,
title = "Petri nets as a formalism for comparing expressiveness of workflow-based clinical guideline languages",
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.",
keywords = "Care pathways, Clinical process modelling, Petri nets, Workflow patterns",
author = "Grando, {Mar{\'i}a Adela} and Glasspool, {David W.} and John Fox",
year = "2009",
month = jan,
day = "1",
doi = "10.1007/978-3-642-00328-8_35",
language = "English (US)",
isbn = "9783642003271",
series = "Lecture Notes in Business Information Processing",
publisher = "Springer Verlag",
pages = "348--360",
booktitle = "Business Process Management Workshops - BPM 2008 International Workshops - Revised Papers",
note = "6th International Conference on Business Process Management - Workshops, BPM 2008 ; Conference date: 01-09-2008 Through 04-09-2008",
}