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.
Published in:
EUROCON 2003. Computer as a Tool. The IEEE Region 8
(Volume:1
)
Date of Conference: 22-24 Sept. 2003