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.
-
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
-
A min-plus polynomial approach to forbidden state control for general Petri nets. Proceedings of the 4th International Workshop on Discrete Event Systems, Cagliari, Italy, 1998, 79-84.
-
Discrete Event Systems, Analysis and Control (editors: R. Boel and G. Stremersch) Kluwer Academic Press, Boston, 2000, 484 p.