Observability in interpreted Petri nets using sequence invariants.

Luis I. Aguirre-Salas Ofelia Begovich Antonio Ramírez-Treviño

Published in: CDC (2002)

Keyphrases

petri net
petri net model
discrete event systems
manufacturing systems
service composition
colored petri nets
stochastic petri net
fuzzy petri net
ims ld
discrete dynamical systems
programmable logic controller
high level petri nets
low cost
process model
state space
state machines