Control synthesis approach for DES modelled by Petri Nets

This paper presents a control synthesis approach for discrete event systems modelled by ordinary Petri Nets (PN) to solve a forbidden state problem. The PN herein considered are transitions controllable and contain measurable and non measurable transitions. The proposed PN controller is synthesised using the influence paths of the forbidden transitions. The latter are deduced from the PN reachability graph. The designed PN controller is maximally permissive because it prevents the occurrence of forbidden markings and guarantees exactly the desired behaviours. The proposed approach is illustrated by an example.