On the Verification of Web Services Compatibility: A Petri Net Approach.
Manu De BackerPublished in: OTM Workshops (2004)
Keyphrases
- petri net
- petri net model
- colored petri nets
- web services
- web service composition
- service composition
- concurrent systems
- high level petri nets
- manufacturing systems
- discrete event systems
- service oriented
- fuzzy petri net
- process model
- description language
- story generation
- ims ld
- artificial intelligence
- business process
- business processes
- stochastic petri net
- decision making