Open Access
Renew - The Reference Net Workshop.
Lawrence Cabac,Michael Haustermann,David Mosteller +2 more
- 01 Jan 2015
pp 313-314
TL;DR: Renew is a continuously developed extensible Petri net tool, which enables modeling and simulating of various PetriNet formalisms and has evolved into an integrated development environment (IDE) for net based software development.
read more
Abstract: Renew is a continuously developed extensible Petri net tool, which enables modeling and simulating of various Petri net formalisms One unique characteristic of the tool is the full support for Java reference nets [2], which combine the concepts of nets-within-nets and synchronous channels with a reference semantics using a pattern/instance mechanism analogously to object oriented programming languages Furthermore Java can be used as inscription language whereby the formalism is well-suited for the implementation of concurrent software systems Since Renew is written in Java it is available for multiple platforms (including Windows, Linux and Mac) The current version 242 is available for download free of charge including the source code [3] Renew provides an easy to use graphical editor for Petri net models and other types of models and a simulation engine, which is seamlessly integrated into this editor It has a plug-in architecture, which makes it easily extensible The core plug-ins are provided as part of the Renew distribution Many advanced features are supplied by optional plug-ins The editor has been improved over the last years and received many small usability enhancements and has evolved into an integrated development environment (IDE) for net based software development It contains a syntax check during editing and debugging tools, such as breakpoints or manual transitions Furthermore the editor features desktop integration, a file navigator and image export to various formats The simulator is capable of handling different formalisms The main formalism is the Java reference net formalism, for which different extensions exist, such as inhibitor, reset and timed arcs The workflow net formalism, provided by an optional plug-in, adds a task transition, which can be canceled during execution, so that its effect on the net can be reverted Other formalisms provide simulation of P/T nets, feature structure nets and bool nets Simulation is available in different modes In the interactive simulation mode the user may control the simulation by choosing the transitions to fire and inspect each single step The automatic simulation mode is usable for system execution and can be run with and without graphical feedback Renew features dynamic loading of nets on demand and configurable logging of simulation events The monitoring plugins facilitate the inspection of remote simulations With an integration of the LoLA verification tool [1] Renew is also suited for verification tasks during modeling The first official version of Renew was released in 1999 and has since then been continuously developed as a Petri net editing and simulation environment The plugin system, introduced with the major release 20 in 2004 [4], enabled
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
State of the Art on Formal Methods for Interactive Systems
Raquel Oliveira,Philippe Palanque,Benjamin Weyers,Judy Bowen,Alan Dix +4 more
- 01 Jan 2017
TL;DR: This chapter provides an overview of several formal approaches for the design, specification, and verification of interactive systems and describes how they support both modelling and verification activities.
Integrating Petri Net Semantics in a Model-Driven Approach: The Renew Meta-Modeling and Transformation Framework
David Mosteller,Lawrence Cabac,Michael Haustermann +2 more
- 01 Jan 2016
TL;DR: This paper presents an approach to the development of modeling languages and automated generation of specific modeling tools based on meta-models to help engineers understand the system and communicate with engineers and with other stakeholders that participate in the development (or analytic) process.
17
Petri Net-based Combination and Integration of Agents and Workflows
Thomas Wagner
- 19 Feb 2018
TL;DR: This thesis researches, develops and provides a combination and integration of agents and workflows that enables the strengths for both structure and behaviour simultaneously and creates novel and beneficial synergies.
16
•Posted Content
Encoding Higher Level Extensions of Petri Nets in Answer Set Programming
TL;DR: This paper shows how higher level extensions of Petri Nets, such as colored tokens can be encoded in Answer Set Programming, thereby providing the right formalisms to model and reason about such questions with relative ease.
10
An Approach for Modeling and Analyzing Mobile Push Notification Services
Junhua Ding,Wei Song,Dongmei Zhang +2 more
- 27 Jun 2014
TL;DR: This paper proposed an approach that models mobile computing services using a high level Petri nets and analyzes them through combining formal verification and testing techniques and has been demonstrated with case study of a mobile searching service with mobile push notifications built on Amazon simple notification service and Google mobile push notification services.
9
References
An extensible editor and simulation engine for Petri nets: RENEW
Olaf Kummer,Frank Wienberg,Michael Duvigneau,Jörn Schumacher,Michael Köhler,Daniel Moldt,Heiko Rölke,Riidiger Valk +7 more
- 21 Jun 2004
TL;DR: The architecture of the tool has been refactored to gain more flexibility and new features allow for plug-ins on the level of concepts (net formalisms) and on thelevel of applications (e.g. workflow or agents).
Coloured Petri Nets Extended with Channels for Synchronous Communication
Søren Christensen,Niels Damgaard Hansen +1 more
- 20 Jun 1994
TL;DR: This paper shows how Coloured Petri Nets (CP-nets) can be extended to support synchronous communication and introduces coloured communication channels through which transitions are allowed to communicate complex values.
129
•Proceedings Article
Cooperative Nets
Christophe Sibertin-Blanc
- 20 Jun 1994
TL;DR: Two extensions of Petri nets dealing with dynamic evolution are introduced, Communicative Nets and Cooperative Nets, which enable to model a system as a collection of nets which encapsulate their behavior, while interacting by means of message sending or a client/ server protocol.
128
Coloured Petri Nets Extended with Channels for Synchronous Communication
Søren Christensen,Niels Damgaard Hansen +1 more
- 01 Apr 1992
TL;DR: This paper shows how Coloured Petri Nets (CP-nets) can be extended to support synchronous communication, and extends the concept of place invariant to cope with CP-nets with channels and shows how place invariants can be found.
Integrating Verification into the PAOSE Approach.
Marcin Hewelt,Thomas Wagner,Lawrence Cabac +2 more
- 01 Jan 2011
TL;DR: This contribution presents how the functionality of LoLA, a sophisticated verification tool, into Renew, the development and runtime environment that backs Paose, and sketches how structural aspects of multi-agent systems developed with the agent framework of Mulan can be exploited for verification.