A Petri Net based Decentralized Synthesis Approach for the Control of Flexible Manufacturing Systems

The goal of our work is to address the problem of designing Petri nets controllers to control flexible manufacturing systems assuring user specifications. In this context we have proposed an approach to solve the forbidden sequences of state-transitions problem (FSSTP). We have developed a Petri net tool that assists a designer to build the plant controllers corresponding to the closed-loop behavior that guarantees user specifications