On the Expressive Power of Transfinite Sequences for Continuous Petri Nets.
Stefan HaarSerge HaddadPublished in: Petri Nets (2024)
Keyphrases
- expressive power
- petri net
- petri net model
- query language
- first order logic
- data complexity
- discrete event systems
- transitive closure
- relational algebra
- colored petri nets
- computational properties
- fuzzy petri net
- ims ld
- programmable logic controller
- database
- stochastic petri net
- relational calculus
- programming language
- artificial intelligence
- databases