Frey, G.; Wagner, F.:
A Toolbox for the Development of Logic Controllers using Petri Nets.
Proceedings of 8th International Workshop on Discrete Event Systems (WODES 2006), Ann Arbor, Michigan, USA, pp. 473-474, July 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.