Synthesis of supervisors enforcing general linear vector constraints in Petri nets.

Marian V. Iordache Panos J. Antsaklis

Published in: ACC (2002)

Keyphrases

petri net
manufacturing systems
discrete event systems
petri net model
state machines
complex systems
process model
decision making
ims ld
colored petri nets
stochastic petri net