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
  • Rüdiger Valk
Conference paper

DOI: 10.1007/978-3-540-27793-4_29

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3099)
Cite this paper as:
Kummer O. et al. (2004) An Extensible Editor and Simulation Engine for Petri Nets: Renew. In: Cortadella J., Reisig W. (eds) Applications and Theory of Petri Nets 2004. ICATPN 2004. Lecture Notes in Computer Science, vol 3099. Springer, Berlin, Heidelberg

Abstract

Renew is a computer tool that supports the development and execution of object-oriented Petri nets, which include net instances, synchronous channels, and seamless Java integration for easy modelling. Renew is available free of charge including the Java source code.

Due to the growing application area more and more requirements had to be fulfilled by the tool set. Therefore, the architecture of the tool has been refactored to gain more flexibility. Now new features allow for plug-ins on the level of concepts (net formalisms) and on the level of applications (e.g. workflow or agents).

Keywords

Reference nets Renew plug-in architecture high-level Petri nets nets-within-nets tool integrated development environment 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Olaf Kummer
    • 1
  • Frank Wienberg
    • 1
  • Michael Duvigneau
    • 1
  • Jörn Schumacher
    • 1
  • Michael Köhler
    • 1
  • Daniel Moldt
    • 1
  • Heiko Rölke
    • 1
  • Rüdiger Valk
    • 1
  1. 1.Department of Computer ScienceUniversity of HamburgHamburg

Personalised recommendations