An Approach for Synthesis Petri Nets for Modeling and Verifying Composite Web Service.
Zhijun DingJunli WangChangjun JiangPublished in: J. Inf. Sci. Eng. (2008)
Keyphrases
- petri net
- colored petri nets
- web service composition
- service composition
- stochastic petri net
- sequence diagrams
- petri net model
- discrete event systems
- web services composition
- manufacturing systems
- web services
- composite services
- state machines
- concurrent systems
- composite web services
- service selection
- model checking
- fuzzy petri net
- service discovery
- software systems
- knowledge based systems
- real time
- programmable logic controller