An Approach to Distributed State Space Exploration for Coloured Petri Nets.

Lars Michael Kristensen Laure Petrucci

Published in: ICATPN (2004)

Keyphrases

space exploration
coloured petri nets
cooperative
distributed systems
multi agent
lightweight
neural network
peer to peer
database
databases
computer vision
artificial neural networks
hidden markov models
computing environments