Netmate

SIPNEditor.jpg<BR>SIPN-Editor Welcome Frame

The SIPN-Editor is a prototypical tool for editing, visualizing, animating, analyzing, and translating Signal Interpreted Petri Nets (SIPNs). It has been implemented using DiaGen (Diagram Editor Generator), an environment for rapidly developing diagram editors from a formal specification of the diagram language based on hypergraph grammars and hypergraph transformation.
The main component of the generated SIPN tool is a graphics editor that allows for easily editing SIPNs in a direct manipulation manner. The primary purpose of the tool is to be used as a programming tool for PLC programmers. Hence, unlike in the formal definition of SIPN, firing conditions are not expressed as Boolean conditions using some logical calculus. They are rather programmed in the textual programming language IL which most PLC programmers are familiar with. The same holds for the behavior of places. As the SIPN tool has been prototyped as a programming tool, created SIPNs are translated by the tool into equivalent IL programs which implement the SIPNs on PLCs. Generated code is simply transferred into conventional IL compilers which finally produce code for PLCs, for simulators, or for IL analysis tools.

Furthermore, the SIPN tool offers two additional code generators supporting the verification and the validation of PLC programs based on SIPN:

a generator that produces SMV input code for verification,
a Modelica code generator that allows the simulation of the temporal controller behavior by connecting the controller model to a continuous Modelica model of the plant under control.

The concept of SIPN and the Editor is described in several papers (see Publications of Georg Frey). Furthermore there is a user manual.

You can also find a report describing the SIPN approach using a drill simulator. The corresponding SIPN file (XML format) is available here (use right click and "save target as" to prevent your browser from opening the XML file).

Download SIPN-Editor - UPDATED VERSION (10/2003)

Institute of Process Automation

Prof. Dr.-Ing. habil. Lothar Litz

University of Kaiserslautern

Erwin-Schrödinger-Str. 12

Postfach 3049

67653 Kaiserslautern

Telefon: +49-(0)631-205-4450

Telefax: +49-(0)631-205-4462

e-mail:

Contact: Dr.-Ing. Georg Frey