Petri net based modeling and supervisory control design in Matlab

摘要

The paper describes a software support for Petri net modelling and Petri net based supervisory control synthesis that was developed as a toolbox for popular MATLAB engineering computational tool. Basic functionality of the toolbox is described and analysis and synthesis capabilities are presented through a simple manufacturing machine example.