Login / Signup

Refinement of Coloured Petri Nets.

Eike BestThomas Thielke
Published in: FCT (1997)
Keyphrases
  • coloured petri nets
  • formal verification
  • search space
  • refinement process
  • database
  • data mining
  • support vector
  • viewpoint