Analyzing BPEL Compositionality Based on Petri Nets.
Guisheng FanHuiqun YuLiqiong ChenDongmei LiuPublished in: COMPSAC (2008)
Keyphrases
- petri net
- colored petri nets
- service composition
- petri net model
- manufacturing systems
- discrete event systems
- web services
- state machines
- fuzzy petri net
- formal methods
- process model
- web service composition
- ims ld
- programmable logic controller
- discrete dynamical systems
- stochastic petri net
- business processes
- knowledge acquisition