Petri Nets as a Formalism for Comparing Expressiveness of Workflow-Based Clinical Guideline Languages

Download Now
Provided by: University of Economics, Prague
Topic: Big Data
Format: PDF
There has been relatively little work on formal analysis of expressiveness and verification of structural, behavioral and temporal properties in clinical workflow. In this paper, the authors discuss Colored Petri Nets (CPNs) as formalism to support such analysis. They 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 standardized workflow pattern.
Download Now

Find By Topic