Login / Signup

Transforming Flowchart into Coloured Petri Nets.

Utumporn GulatiWiwat Vatanawood
Published in: ICSEB (2019)
Keyphrases
  • coloured petri nets
  • formal verification
  • data mining
  • databases
  • bayesian networks
  • general purpose