Entry last updated: 2003/5/2
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

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

Phone:  +49 40 42883 2245
Fax:    +49 40 42883 2246

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.

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