Formal Proof of the IDOP_SP Protocol Based on the Petri Net.
Yingjiu GuoChuang LinHao YinPublished in: NAS (2008)
Keyphrases
- formal proof
- petri net
- petri net model
- manufacturing systems
- colored petri nets
- theorem prover
- high level petri nets
- fuzzy petri net
- discrete event systems
- ims ld
- stochastic petri net
- state machines
- contract net protocol
- service composition
- concurrent systems
- neural network
- web service composition
- belief revision
- process model
- fuzzy logic
- expert systems
- e learning