From DB-nets to Coloured Petri Nets with Priorities (Extended Version).

Marco Montali Andrey Rivkin

Published in: CoRR (2019)

Keyphrases

coloured petri nets
formal verification
data sets
neural network
information retrieval
expert systems
artificial neural networks
source code