Continuous Petri Nets: Expressive Power and Decidability Issues.

Laura Recalde Serge Haddad Manuel Silva Suárez

Published in: ATVA (2007)

Keyphrases

expressive power
petri net
computational properties
query language
data complexity
petri net model
first order logic
transitive closure
discrete event systems
ims ld
colored petri nets
relational algebra
fuzzy petri net
service composition
description logics
cellular automata
database
stochastic petri net