Login / Signup

An Introduction to the Theoretical Aspects of Coloured Petri Nets.

Kurt Jensen
Published in: REX School/Symposium (1993)
Keyphrases
  • coloured petri nets
  • formal verification
  • model checking
  • artificial intelligence
  • image quality
  • genetic programming