The expressive power of time Petri nets.
Béatrice BérardFranck CassezSerge HaddadDidier LimeOlivier H. RouxPublished in: Theor. Comput. Sci. (2013)
Keyphrases
- expressive power
- petri net
- first order logic
- petri net model
- data complexity
- query language
- computational properties
- discrete event systems
- colored petri nets
- relational algebra
- stochastic petri net
- service composition
- transitive closure
- fuzzy petri net
- ims ld
- programmable logic controller
- recursive queries
- machine learning
- relational data
- user defined aggregates