Login / Signup

Orthogonal Transformations for Coloured Petri Nets.

Eike BestThomas Thielke
Published in: ICATPN (1997)
Keyphrases
  • coloured petri nets
  • formal verification
  • data mining
  • genetic algorithm
  • artificial intelligence
  • decision making
  • objective function
  • rewrite rules