A verifiable low-level concurrent programming model based on colored Petri nets.

Shengyuan Wang Yuan Dong

Published in: Sci. China Inf. Sci. (2011)

Keyphrases

concurrent programming
low level
colored petri nets
petri net
programming language
high level
higher level
concurrent programs
web services
visual information
mid level
sufficient conditions
visual features
lower level
visual cues
database
fully unsupervised
software engineering
image retrieval
knowledge base