Petri Nets as a Formalism for Comparing Expressiveness of Workflow-Based Clinical Guideline Languages.
María Adela GrandoDavid GlasspoolJohn FoxPublished in: Business Process Management Workshops (2008)
Keyphrases
- petri net
- expressive power
- clinical guidelines
- computer interpretable
- petri net model
- patient data
- highly expressive
- manufacturing systems
- discrete event systems
- clinical practice guidelines
- colored petri nets
- fuzzy petri net
- first order logic
- process model
- stochastic petri net
- clinical trials
- service composition
- clinical practice
- clinical decision support systems
- programmable logic controller
- state machines
- medical knowledge
- clinical data
- workflow models
- modeling language
- ischemic stroke
- knowledge representation
- artificial intelligence