A reachability graph construction technique for supervisor synthesis with parameters

This paper describes a technique to construct reachability graphs from replicated structures. This new technique can be combined with an off-line synthesis algorithm in order to automatically generate nonblocking supervisors in closed form. Replicated structures arise from the modeling of similar processes and similar cases, which are components of parameterized discrete event systems and workflow processes, respectively. The analysis and control of such systems require a state space exploration. The proposed approach weakens the state explosion problem by using symbols and expressions instead of numerical values in markings, which makes it possible to obtain supervisors with explicit conditions in their control actions.