Renew 2.5 – Towards a Comprehensive Integrated Development Environment for Petri Net-Based Applications

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9698)

Abstract

Renew (The Reference Net Workshop) is an extensible Petri net IDE that supports the development and execution of high-level Petri nets and other modeling techniques. The Reference net formalism – the major formalism for Renew – includes concepts such as net instances, synchronous channels and seamless Java integration. It combines the advantages of Petri nets and object-oriented programming for the development of concurrent and distributed software systems. Modeling support of Renew focuses on convenience and ease for Petri net development. An outstanding feature is the support for multi-formalism simulation. The plugin architecture of Renew enables the developers to extend the IDE for instance with additional formalisms. Alternatively to the inline mode – within the graphical user interface – the Simulator can also be run in a headless server fashion. Several configurations of Renew are available, which are constituted through selections of plugins providing specialized functionality for multiple platforms. In this manner the Renew family constitutes a product line architecture. Renew is available free of charge including the Java source code. In this contribution we provide information about Renew’s functionality and architecture as well as the development of the tool set over the last decade.

Keywords

High-level Petri nets Nets-within-nets Reference nets Integrated Development Environment (IDE) Java Plugin architecture 

References

  1. 1.
    Betz, T., Cabac, L., Güttler, M.: Improving the development tool chain in the context of Petri net-based software development. In: Duvigneau, M., Moldt, D., Hiraishi, K. (eds.) Petri Nets and Software Engineering. International Workshop PNSE 2011, Newcastle upon Tyne, UK, June 2011. CEUR Workshop Proceedings, vol. 723, pp. 167–178. CEUR-WS.org, June 2011. http://CEUR-WS.org/Vol-723
  2. 2.
    Cabac, L.: Modeling Petri Net-Based Multi-Agent Applications, Agent Technology - Theory and Applications, vol. 5. Logos Verlag, Berlin (2010). http://www.logos-verlag.de/cgi-bin/engbuchmid?isbn=2673&lng=eng&id=
  3. 3.
    Cabac, L., Dörges, T., Rölke, H.: A monitoring toolset for Paose. In: van Hee, K.M., Valk, R. (eds.) PETRI NETS 2008. LNCS, vol. 5062, pp. 399–408. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  4. 4.
    Cabac, L., Duvigneau, M., Moldt, D., Rölke, H.: Modeling dynamic architectures using nets-within-nets. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 148–167. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  5. 5.
    Cabac, L., Markwardt, K., Schlüter, J.: ImageNetDiff: finding differences in models. In: Moldt, D., Ultes-Nitsche, U., Augusto, J.C. (eds.) In: Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS 2009. Conjunction with ICEIS 2009. Milan, Italy, May 2009, pp. 156–161. INSTICC PRESS, Portugal (2009)Google Scholar
  6. 6.
    Cabac, L., Schlüter, J.: ImageNetDiff: a visual aid to support the discovery of differences in Petri nets. In: 15. Workshop Algorithmen und Werkzeuge für Petrinetze, AWPN 2008. CEUR Workshop Proceedings, vol. 380, pp. 93–98. Universität Rostock, September 2008. http://CEUR-WS.org/Vol-380/paper15.pdf
  7. 7.
    Duvigneau, M.: Konzeptionelle Modellierung von Plugin-Systemen mit Petrinetzen, Agent Technology - Theory and Applications, vol. 4. Logos Verlag, Berlin (2010)Google Scholar
  8. 8.
    Haustermann, M.: BPMN-Modelle für petrinetzbasierte agentenorientierte Softwaresysteme auf Basis von Mulan/Capa. Master thesis, Department of Informatics, University of Hamburg, Vogt-Kölln Str. 30, D-22527 Hamburg, September 2014Google Scholar
  9. 9.
    Hewelt, M., Wagner, T., Cabac, L.: Integrating verification into the PAOSE approach. In: Duvigneau, M., Moldt, D., Hiraishi, K. (eds.) Petri Nets and Software Engineering. International Workshop PNSE 2011, Newcastle upon Tyne, UK, June 2011. CEUR Workshop Proceedings, vol. 723, pp. 124–135. CEUR-WS.org, June 2011. http://CEUR-WS.org/Vol-723
  10. 10.
    Kummer, O.: Referenznetze. p. 456. Logos Verlag, Berlin (2002). http://www.logos-verlag.de/cgi-bin/engbuchmid?isbn=0035&lng=eng&id=
  11. 11.
    Kummer, O., Wienberg, F., Duvigneau, M., Cabac, L.: Renew - user guide (Release 2.4.2). In: Faculty of Informatics, Theoretical Foundations Group, University of Hamburg, Hamburg, January 2015. http://www.renew.de/
  12. 12.
    Kummer, O., Wienberg, F., Duvigneau, M., Schumacher, J., Köhler, M., Moldt, D., Rölke, H., Valk, R.: An extensible editor and simulation engine for Petri nets: Renew. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol. 3099, pp. 484–493. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  13. 13.
    Mosteller, D., Cabac, L., Haustermann, M.: Providing petri net-based semantics in model driven-development for the renew meta-modeling framework. In: Moldt, D., Rölke, H., Störrle, H. (eds.) Petri Nets and Software Engineering. International Workshop, PNSE 2015, Brussels, Belgium, June 22–23, 2015. CEUR Workshop Proceedings, vol. 1372, pp. 99–114. CEUR-WS.org (2015). http://CEUR-WS.org/Vol-1372
  14. 14.
    Rölke, H.: Modellierung von Agenten und Multiagentensystemen - Grundlagen und Anwendungen, Agent Technology - Theory and Applications, vol. 2. Logos Verlag, Berlin (2004). http://logos-verlag.de/cgi-bin/engbuchmid?isbn=0768&lng=eng&id=
  15. 15.
    Valk, R.: Petri nets as token objects: an introduction to elementary object nets. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol. 1420, pp. 1–25. Springer, Heidelberg (1998)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  1. 1.Department of InformaticsUniversity of HamburgHamburgGermany

Personalised recommendations