The Renew Logo


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 2.5.1 is available!

As of 2020-11-07 we provide a maintenance release of Renew.

You can download ...

You can read about ...

We will be very happy, if you ...


You can try a preview version to take a look at upcoming features ...

  • ... the preview of Renew 2.6,
        which introduces i.a. a zooming functionality.
  • ... the preview of Renew 4.0,
        which changes the architecture using Java modules and includes a really nice new user interface.

Uni HH, CS

Renew is being maintained at the Theoretical Foundations Group of the Department for Informatics of the University of Hamburg.

Last modified: Fri Feb 5 17:20:51 CET 2021 by