Login / Signup

On the Abstraction of Coloured Petri Nets.

Charles Lakos
Published in: ICATPN (1997)
Keyphrases
  • coloured petri nets
  • formal verification
  • high level
  • data abstraction
  • search engine
  • decision trees
  • cooperative
  • pattern recognition
  • natural language
  • computer science