SIPN-Editor

Overview

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

Tool homepage: http://www.eit.uni-kl.de/litz/ENGLISH/software/SIPNEditor.htm

Tool availability: Free of charge

Tool Features

Petri Nets Supported (see also help on terminology)

Interpreted Petri Nets

Components (see also help on terminology)

Graphical Editor
Code Generation for PLC, Translation into SMV Code

Environments

Java

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
E-mail: frey@eit.uni-kl.de

Other Remarks

The maintainers of this page