Improving control flow verification in a business process using an extended Petri net.
Ganna MonakovaOliver KoppFrank LeymannPublished in: ZEUS (2009)
Keyphrases
- petri net
- control flow
- process model
- business process
- business process models
- petri net model
- business processes
- workflow management systems
- colored petri nets
- concurrent systems
- process mining
- web services
- reactive systems
- data flow
- manufacturing systems
- event logs
- business rules
- business process modeling
- service composition
- workflow model
- ws bpel
- business process management
- case study
- web service composition
- fuzzy petri net
- software testing
- workflow models
- workflow management
- information systems
- workflow processes
- artificial intelligence