-language expressive power of extended Petri nets.
Alain FinkelGilles GeeraertsJean-François RaskinLaurent Van BeginPublished in: Theor. Comput. Sci. (2006)
Keyphrases
- expressive power
- petri net
- monadic second order logic
- relational calculus
- first order logic
- query language
- petri net model
- data complexity
- discrete event systems
- computational properties
- transitive closure
- relational algebra
- relational query languages
- ims ld
- database query languages
- concurrent systems
- aggregate functions
- programming language
- colored petri nets
- fuzzy petri net
- service composition
- artificial intelligence
- natural language
- database
- association rules
- type checking
- data model
- tree automata
- cellular automata
- regular expressions