Login / Signup

Unfoldings of Coloured Petri Nets.

Vitaly E. Kozura
Published in: Ershov Memorial Conference (2001)
Keyphrases
  • coloured petri nets
  • formal verification
  • model checking