An Approach Based on Hierarchical Petri Nets for the Verification of Interconnected BPEL Processes.
Saïda BoukhedoumaZaia AlimazighiPublished in: Int. J. Inf. Syst. Model. Des. (2018)
Keyphrases
- petri net
- colored petri nets
- petri net model
- process model
- service composition
- concurrent systems
- discrete event systems
- concurrent processes
- manufacturing systems
- web services
- fuzzy petri net
- web service composition
- ims ld
- stochastic petri net
- state machines
- business process management
- discrete dynamical systems
- sequence diagrams
- neural network
- formal methods
- workflow model
- web services composition
- service oriented
- model checking
- software engineering
- artificial intelligence