From DB-nets to Coloured Petri Nets with Priorities.

Marco Montali Andrey Rivkin

Published in: Petri Nets (2019)

Keyphrases

coloured petri nets
formal verification
database
multimedia
high priority
detailed discussion
databases
learning algorithm
information systems
decision making
image sequences
optimal solution
management system
query optimization
model checking
database manager