In: Proceedings of the AWPN 2000, Koblenz, pages 57-62. October 2000.
Abstract: In this paper we present a new tool for editing, visualizing, and implementing Signal Interpreted Petri Nets (SIPNs). SIPNs are used to formally specify control algorithms for Programmable Logic Controllers (PLCs). The presented tool allows to automatically transform a graphically edited SIPN into PLC code using the standardized PLC language Instruction List. The tool was implemented using DiaGen, an innovative workbench for generating graphics editors.