Login / Signup

Composing Abstractions of Coloured Petri Nets.

Charles Lakos
Published in: ICATPN (2000)
Keyphrases
  • coloured petri nets
  • formal verification
  • high level
  • trade off
  • qualitative probabilistic networks
  • neural network
  • databases
  • real world
  • machine learning
  • knowledge base