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

María Adela Grando, David W. Glasspool, John Fox

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Scopus citations

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.

Original languageEnglish (US)
Title of host publicationBusiness Process Management Workshops - BPM 2008 International Workshops - Revised Papers
PublisherSpringer Verlag
Pages348-360
Number of pages13
ISBN (Print)9783642003271
DOIs
StatePublished - Jan 1 2009
Externally publishedYes
Event6th International Conference on Business Process Management - Workshops, BPM 2008 - Milano, Italy
Duration: Sep 1 2008Sep 4 2008

Publication series

NameLecture Notes in Business Information Processing
Volume17 LNBIP
ISSN (Print)1865-1348

Other

Other6th International Conference on Business Process Management - Workshops, BPM 2008
CountryItaly
CityMilano
Period9/1/089/4/08

    Fingerprint

Keywords

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

ASJC Scopus subject areas

  • Management Information Systems
  • Control and Systems Engineering
  • Business and International Management
  • Information Systems
  • Modeling and Simulation
  • Information Systems and Management

Cite this

Grando, M. A., Glasspool, D. W., & Fox, J. (2009). Petri nets as a formalism for comparing expressiveness of workflow-based clinical guideline languages. In Business Process Management Workshops - BPM 2008 International Workshops - Revised Papers (pp. 348-360). (Lecture Notes in Business Information Processing; Vol. 17 LNBIP). Springer Verlag. https://doi.org/10.1007/978-3-642-00328-8_35