Specification and Verification of Complex Business Processes - A High-Level Petri Net-Based Approach.
Ahmed KheldounKamel BarkaouiMalika IoualalenPublished in: BPM (2015)
Keyphrases
- business processes
- petri net
- high level
- colored petri nets
- petri net model
- business process
- process model
- web services
- workflow model
- business rules
- concurrent systems
- service composition
- formal verification
- web service composition
- business environment
- competitive advantage
- inter organizational
- business process models
- business process management
- process management
- fuzzy petri net
- enterprise application integration
- workflow systems
- business partners
- process mining
- workflow management
- business process modeling
- process execution
- model checking
- stochastic petri net
- ims ld
- service oriented architecture