On the Expressive Power of Non-deterministic and Unambiguous Petri Nets over Infinite Words.
Olivier FinkelMichal SkrzypczakPublished in: Fundam. Informaticae (2021)
Keyphrases
- expressive power
- petri net
- first order logic
- discrete event systems
- petri net model
- query language
- data complexity
- relational algebra
- stochastic petri net
- transitive closure
- closure properties
- fuzzy petri net
- computational properties
- service composition
- recursive queries
- colored petri nets
- relational calculus
- temporal logic
- database