Toward the use of Petri nets for the formalization of OWL-S choreographies.
Juan Carlos VidalManuel LamaAlberto BugarínPublished in: Knowl. Inf. Syst. (2012)
Keyphrases
- petri net
- petri net model
- web service composition
- service composition
- process model
- web services
- manufacturing systems
- discrete event systems
- knowledge representation
- colored petri nets
- ims ld
- web services composition
- fuzzy petri net
- service discovery
- neural network
- discrete dynamical systems
- programmable logic controller
- state machines
- concurrent systems
- formal semantics
- fuzzy logic