Login / Signup

Coloured Petri Nets Extended with Channels for Synchronous Communication.

Søren ChristensenNiels 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