Login / Signup

Coloured Petri Nets.

Kurt Jensen
Published in: Advances in Petri Nets (1986)
Keyphrases
  • coloured petri nets
  • formal verification
  • model checking