Renew
The Reference Net Workshop
Petri nets are a well established means to describe concurrent systems. Object-oriented analysis and programming techniques are currently the de-facto standard of software development. This has lead to the invention of a variety of object-oriented Petri net formalisms.
Renew is a Java-based high-level Petri net simulator that provides a flexible modelling approach based on reference nets.
Renew 2.2 is available!
As of 2009/08/28 we provide a feature release of Renew. If you are using an older version of Renew, we strongly recommend an update.
You can download ...
- ... the Renew sources and executables.
- ... the documentation in gzipped Postscript format (640 kByte) or in PDF format (976 kByte).
You can read about ...
- ... the highlights of Renew.
- ... our license terms.
- ... the contributors to Renew.
- ... FAQs (frequently asked questions).
- ... the installation process.
- ... known bugs in the current release or in 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!
