Login / Signup
Coloured Petri Nets Extended with Channels for Synchronous Communication.
Søren Christensen
Niels Damgaard Hansen
Published in:
Application and Theory of Petri Nets (1994)
Keyphrases
</>
synchronous communication
coloured petri nets
asynchronous communication
multi channel
formal verification
three dimensional
data sets
data mining
image processing
trade off
petri net
model checking