You are here

PETRI NETS as a formalism for the study of workflow-based languages

SSP Seminar Series
Adela Grando

In Health Informatics there is a growing interest in conforming to some standard that allows interoperability and formal strategies of proof. For instance a very ambitious aim is to provide computable interpretable medical guidelines with proofs of effectiveness and safeness.

During this talk we will present Petri Nets (PNs) as a possible formalism to support such analysis. We will show how PROforma, a typical workflow-based clinical guideline language, can be mapped into the PN formalism to: formally study its expressiveness (compared with van der Aalst's patterns), recognize expressive weaknesses and propose well-founded extensions. In more general terms we will argue that the kind of analysis that we make for PROforma can be applied to arbitrary workflow-based languages.

Date and time: 
Tuesday, 21 October, 2008 - 11:00
60 minutes