Petri-net controller synthesis using Matlab/Statflow tools

In many automated manufacturing systems, several devices work together with the characteristics of synchronization, concurrency, resource sharing, and cyclic sequences. The logic controller is a discrete event supervisory system which controls parallel and synchronized sequences of elementary operations of each device to achieve the goal of the automated manufacturing system. Even though logic controller is very important in manufacturing system, there is not yet a standard integrated tool, which is sufficiency powerful, versatile and simple to use, can be implemented on the real time platform, and with which is possible to carry out formal analysis of correctness besides the traditional approach of validation through simulation. In this paper a logic controller is presented using the Petri net, which is a graphical and mathematical modeling tool for describing and studying discrete event systems. Programs in Matlab and Statflow Toolbox are one of the most popular software in the area of applied mathematics, is used for representation, analysis and simulations of the designed logic controllers.