CPN Tools' Application in Verification of Parallel Programs.

Lulu Zhu Weiqin Tong Bin Cheng

Published in: ICICA (1) (2010)

Keyphrases

decision support
petri net
application programs
data sets
real time
artificial intelligence
general purpose
open source
building blocks
parallel processing
formal methods