A Petri Nets based functional validation for services composition.

Taejong Yoo Buhwan Jeong Hyunbo Cho

Published in: Expert Syst. Appl. (2010)

Keyphrases

petri net
petri net model
manufacturing systems
colored petri nets
fuzzy petri net
discrete event systems
ims ld
high level petri nets
service composition
stochastic petri net
state machines
concurrent systems
discrete dynamical systems
knowledge base
computational intelligence
process model