Flow-Invariant Sets with Respect to the Markings of Timed Continuous Petri Nets.

Mihaela-Hanako Matcovschi Octavian Pastravanu

Published in: CDC/ECC (2005)

Keyphrases

petri net
petri net model
high level petri nets
manufacturing systems
discrete event systems
state machines
colored petri nets
fuzzy petri net
stochastic petri net
service composition
ims ld
programmable logic controller
sequence diagrams
concurrent processes
discrete dynamical systems