Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets.
Cristiano BertoliniZhiming LiuJirí SrbaPublished in: FHIES (2012)
Keyphrases
- petri net
- petri net model
- colored petri nets
- concurrent systems
- discrete event systems
- manufacturing systems
- service composition
- fuzzy petri net
- web services
- data processing
- process model
- information systems
- stochastic petri net
- workflow model
- software components
- ims ld
- collaborative learning
- expert systems
- programmable logic controller