Formal verification of complex business processes based on high-level Petri nets.
Ahmed KheldounKamel BarkaouiMalika IoualalenPublished in: Inf. Sci. (2017)
Keyphrases
- social networks
- business processes
- formal verification
- business process
- web services
- model checking
- process model
- business environment
- workflow management
- business objectives
- inter organizational
- competitive advantage
- business process models
- model checker
- business process management
- ws bpel
- workflow management systems
- business partners
- workflow systems
- process management
- workflow model
- process execution
- workflow processes
- business rules
- petri net
- enterprise wide
- service oriented architecture
- access control