Entry last updated: 2003/5/8
Entry last validated: 2004/5/17

Tool homepage:

Tool availability: Free of charge

Tool Features

Petri Nets Supported (see also help on terminology) Components (see also help on terminology)


Tool Description

The SIPN-Editor is a prototypical tool for editing, visualizing and translating hierarchical Signal Interpreted Petri Nets (SIPNs).

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 programmingt tool for PLC programmers. 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.

Furthermore, the SIPN tool offers a code generator that produces SMV input code for verification.

Contact Information

Georg Frey
University of Kaiserslautern
Institute of Automatic Control
PO Box 3049
D-67653 Kaiserslautern

Phone:  +49 631 205 44 55
Fax:    +49 631 205 44 62

Other Remarks

[PN Home][*]
The maintainers of this page