Tool homepage: http://www.eit.uni-kl.de/litz/ENGLISH/software/SIPNEditor.htm
Tool availability: Free of charge
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.
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: firstname.lastname@example.org