On the omega-language Expressive Power of Extended Petri Nets.
Alain FinkelGilles GeeraertsJean-François RaskinLaurent Van BeginPublished in: EXPRESS (2004)
Keyphrases
- expressive power
- petri net
- monadic second order logic
- relational calculus
- first order logic
- data complexity
- query language
- petri net model
- computational properties
- relational algebra
- fuzzy petri net
- service composition
- transitive closure
- discrete event systems
- aggregate functions
- relational query languages
- colored petri nets
- programming language
- ims ld
- database query languages
- regular expressions
- stochastic petri net
- data model
- programmable logic controller
- databases
- relational databases
- natural language