In: Petri Net Newsletter No. 56, pages 12-16. April 1999.
Abstract: We present an overview of Renew, the Reference Net Workshop. Reference nets are a special high-level Petri net formalism that uses Java as an inscription language and extends Petri nets by dynamic net instances, net references, and dynamic transition synchronisation through synchronous channels. Renew itself is implemented in Java and is freely available. It offers an intuitive GUI for building net models and viewing simulation runs.