GF_MM_AWPN2000_oct_2000

Frey,G.; Minas, M.:
Editing, Visualizing, and Implementing Signal Interpreted Petri Nets
Proceedings of the AWPN 2000, Koblenz, Oct. 02-03, 2000, pp 57-62.

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.