Conversion and verification of recursive structure in PI-calculus with compositional petri-NET.

Hui Kang Siqi Liu Feng Qiu

Published in: ICNC (2015)

Keyphrases

petri net
petri net model
colored petri nets
manufacturing systems
discrete event systems
concurrent systems
model checking
service composition
web service composition
high level petri nets
web services
process model
ims ld