Continuous Petri Nets: Expressive Power and Decidability Issues.
Laura RecaldeSerge HaddadManuel Silva SuárezPublished in: Int. J. Found. Comput. Sci. (2010)
Keyphrases
- expressive power
- petri net
- computational properties
- first order logic
- query language
- petri net model
- discrete event systems
- data complexity
- transitive closure
- relational algebra
- stochastic petri net
- colored petri nets
- programmable logic controller
- service composition
- ims ld
- description logics
- relational calculus
- query answering
- fuzzy petri net
- knowledge representation
- knowledge base
- data mining