Verifying Soundness of Geodata Web Service Composition Based on Petri Nets.
N. XuS.-P. PengZ.-G. WangPublished in: J. Web Eng. (2017)
Keyphrases
- petri net
- web service composition
- service composition
- petri net model
- discrete event systems
- automated web service composition
- discrete particle swarm optimization
- ai planning
- service selection
- fuzzy petri net
- web services composition
- ims ld
- colored petri nets
- model checking
- process model
- artificial intelligence
- web service compositions
- stochastic petri net
- knowledge representation
- real time
- computational intelligence
- programmable logic controller
- genetic algorithm