Modeling and verifying asynchronous communication mechanisms using coloured Petri nets.

Kyller Costa Gorgônio Fei Xia

Published in: ACSD (2008)

Keyphrases

asynchronous communication
coloured petri nets
synchronous communication
search algorithm
building blocks
neural network
feature selection
three dimensional
multi agent
information technology
trade off
information processing
model checking
mechanism design