Entry last updated: 2003/5/2
Entry last validated: 2004/5/17
Tool homepage: http://www.renew.de
Tool availability: Free of charge
Petri Nets Supported (see also help on terminology)
Components (see also help on terminology)
- Object-oriented PNs
- High-level Petri Nets
- Place/Transition Nets
- Petri Nets with Time
- Graphical Editor
- Token Game Animation
- Fast Simulation
- Interchange File Format
- Rapid Prototyping
- Workflow Management System
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.
--- Renew ---
Fachbereich Informatik, Uni Hamburg
Phone: +49 40 42883 2245
Fax: +49 40 42883 2246
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