Show
Sort by
-
Structuring acyclic Petri nets for reachability analysis and control.
-
Decomposition of the supervisory control problem for Petri nets under preservation of maximal permissiveness.
-
Linear and integer programmes in supervisory control of Petri nets
-
Linear algebraic design of supervisors for partially observed Petri nets.
-
Reduction of the supervisory control problem for Petri nets.
-
Controlled Petri nets and general legal sets
-
Enforcing k-safeness in controlled state machines
-
Forbidden state control synthesis for timed Petri net models. Open Problems in Mathematical Systems and Control Theory, eds. VD.Blondel, E.D.Sontag, M.Vidyasagar, J.C.Willems in the series 'Comunications and Control Engineering', Springer Verlag, Lon' don, 1998, 61-66.
(1998) -
Controlled timed Petri nets: Equivalence relations, model reduction
-
On the influencing net and forbidden state control of timed Petri nets with forced transitions