On the expressive power of non-deterministic and unambiguous Petri nets over infinite words.

Olivier Finkel Michal Skrzypczak

Published in: CoRR (2021)

Keyphrases

expressive power
petri net
query language
petri net model
first order logic
discrete event systems
fuzzy petri net
data complexity
transitive closure
computational properties
relational algebra
colored petri nets
stochastic petri net
service composition
databases
recursive queries
relational databases