Modelling and Performance Analysis of Workflow Management Systems Using Timed Hierarchical Coloured Petri Nets.
Khodakaram SalimifardMike WrightPublished in: ICEIS (2002)
Keyphrases
- workflow management systems
- coloured petri nets
- business processes
- workflow management
- formal verification
- long running
- process model
- virtual enterprise
- exception handling
- petri net
- workflow processes
- business process
- workflow systems
- transaction support
- lotus notes
- workflow technology
- control flow
- model checking
- user behavior
- real world
- database
- business partners
- description language
- workflow engine
- workflow execution
- information technology
- web services