A Toolbox for the Development of Logic Controllers using Petri Nets
Georg Frey, Florian L. Wagner · 2006
This paper presents a toolbox for the development of control algorithms for programmable logic controllers based on Petri nets. The toolbox supports the complete development process including design, verification, validation, quality evaluation, simulation and PLC code generation