Renew
The Reference Net Workshop
Renew is a Java-based multi-formalism editor and simulator that provides a flexible modeling approach based on, but not limited to, reference nets.
Petri nets are a well established means to describe concurrent systems. Over the years, numerous extensions to the basic formalism have been proposed to account for abstract data types, object-orientation, hierarchies or new arc types.
Among them is the reference nets formalism, where tokens can be references to arbitrary objects, especially other nets, thus allowing nested net models. It allows Java inscriptions, has built-in List and Tuple types, offers test, inhibitor and flexible arcs and has a powerful synchronization mechanism.
Renew 4.2 and 2.6.1 are available!
We provide two different versions of Renew. The modular version includes the latest feature updates, a nice overhauled user interface and a modularized architecture based on the Java Platform Module System. The classic version provides the classic experience with a familiar look and feel.
You can download the latest modular release ...
- ... the Renew 4.2 sources and executables (August 15, 2025).
- ... the Renew 4.2 user guide (pdf).
You can download the latest classic release ...
- ... the Renew 2.6.1 sources and executables (August 15, 2025).
- ... the Renew 2.6.1 user guide (pdf).
You can read about ...
- ... the highlights of Renew.
- ... the installation process of Renew 4.2 or Renew 2.6.1.
- ... our license terms.
- ... the contributors to Renew.
- ... FAQs (frequently asked questions).
- ... known issues in current and previous releases.
- ... the release history.
- ... the bibliography of Renew and reference nets.
We will be very happy, if you ...
- ... send a comment to
the Renew team (support@renew.de).
Questions, remarks, and suggestions are strongly invited!
Renew is being maintained at the Theoretical Foundations Group of the Department for Informatics of the University of Hamburg.
Last modified: Fri Aug 15 16:03:19 2025 +0200 by webmaster@renew.de