Login / Signup

Performance Analysis Using Coloured Petri Nets.

Lisa Wells
Published in: MASCOTS (2002)
Keyphrases
  • coloured petri nets
  • formal verification
  • data access