Undecidability of performance equivalence of Petri nets.

Slawomir Lasota Marcin Poturalski

Published in: CoRR (2009)

Keyphrases

petri net
query containment
description logics
discrete event systems
petri net model
manufacturing systems
high level petri nets
colored petri nets
fuzzy petri net
service composition
state machines
conjunctive queries
genetic algorithm
dynamic systems
rough sets
programmable logic controller
web services