Les réseaux de Petri pour le contrôle des systèmes à événements discrets

In this thesis, we propose two control synthesis methods for discrete event systems (DES) modeled by Petri nets (PN) and having some uncontrollable transitions. The first approach allows to design a PN model of the controlled system by adding a set of control places to an original PN. The controlled model has to achieve a desired behavior corresponding to the so-called forbidden state transition problem (FSTP). The controller designed by this approach is maximally permissive. Further desired behaviors that can't be realized by PN based controller are well characterized. The second control synthesis approach we propose in this thesis addresses the particular case of forbidden state problem of marked graphs. The control decision can be taken on-line by evaluating simple predicates at each current marking.