Renew

Overview

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

Tool homepage: http://www.renew.de

Tool availability: Free of charge

Tool Features

Petri Nets Supported (see also help on terminology)

Object-oriented PNs
High-level Petri Nets
Place/Transition Nets
Petri Nets with Time

Components (see also help on terminology)

Graphical Editor
Token Game Animation
Fast Simulation
Interchange File Format
Rapid Prototyping
Workflow Management System

Environments

Java

Tool Description

Renew is a high-level Petri net editor and simulator that achieves a seamless integration of Petri nets and the Java programming language. Petri nets can implement methods and can be treated as first-class Java objects. On the other hand, Java code can be accessed from nets easily.

Renew implements bidirectional synchronous channels and multiple instances of a single net, thereby providing powerful abstraction concepts. The simulation engine is capable of executing multiple transition in separate threads. Renew is well suited for rapid prototyping and creating executable workflow models. Renew support flexible arcs, test arcs, clear arcs, and inhibitor arcs in addition to ordinary arcs. The timed net formalism allows delays on input and output arcs.

Contact Information

Arbeitsbereich TGI
  --- Renew ---
Fachbereich Informatik, Uni Hamburg
Vogt-Koelln-Strasse 30
D-22527 Hamburg
Germany

Phone:  +49 40 42883 2245
Fax:    +49 40 42883 2246
E-mail: support@renew.de

Other Remarks

Renew is written in in the platform-independent language Java. Additionally, for many specific platforms we provide install scripts or specially packaged versions.

Renew is available with source code.

The maintainers of this page