Skip to main content
SpringerLink
Log in
Book cover

International Conference on Applications and Theory of Petri Nets and Concurrency

PETRI NETS 2023: Application and Theory of Petri Nets and Concurrency pp 217–228Cite as

RENEW: Modularized Architecture and New Features

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 13929))

Abstract

Renew is an extensible Petri Net IDE that supports the development and execution of high-level Petri Nets and other modeling techniques. Over the past seven years, Renew has undergone significant development and refinement.

To this end, Renew ’s code base has been reworked extensively, and its tool collection has been expanded. The reworking was necessary due to technical debt caused by environmental changes: especially Java’s transition from version 9 to 17. Adapting to the latest Java versions enables the modularization of Renew ’s architecture through the Java Platform Module System (JPMS) which was introduced with Java 9. Additionally, some new features have been implemented, which were used to test our new architectural design.

One of our main results gave Renew a cleaner code interface design and a more modern architecture. Examples of the extensions and improvements made are the new P/T-nets with synchronous channels (PTC) formalism and the Modular Model Checker (MoMoC). In addition to the aforementioned changes, the GUI has also been altered and now offers an all-in-one window.

K. Ihlenfeldt: Supported by all participants of our teaching project classes and many student theses.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   69.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   89.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Notes

  1. 1.

    Reference Net Workshop can be installed directly from the website http://renew.de. There is a selection of download options. The license terms can be found on the website mentioned above.

  2. 2.

    Java (Oracle): https://www.oracle.com/java; OpenJDK: https://openjdk.java.net/; Java Community Process: https://jcp.org; background information on Jigsaw the predecessor of the JPMS, starting in 2008 / 2014: https://openjdk.java.net/projects/jigsaw/.

  3. 3.

    MoMoC - A Modular Model Checker: https://paose.informatik.uni-hamburg.de/paose/wiki/MoMoC.

  4. 4.

    The source code of Mulan and thus its plugins have not been published yet.

  5. 5.

    Details about the plugins can be found in the associated READMEs.

References

  1. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT press, Cambridge (2008)

    MATH  Google Scholar 

  2. Cabac, L.: Modeling petri net-based multi-agent applications. Dissertation, University of Hamburg, Department of Informatics, Vogt-Kölln Str. 30, D-22527 Hamburg (Apr 2010). https://ediss.sub.uni-hamburg.de/handle/ediss/3691

  3. Cabac, L., et al.: PAOSE Settler demo. In: First Workshop on High-Level Petri Nets and Distributed Systems (PNDS) 2005. University of Hamburg, Department of Computer Science, Vogt-Kölln Str. 30, D-22527 Hamburg (Mar 2005). http://www.informatik.uni-hamburg.de/TGI/events/PNDS2005/program_and_abstracts.html

  4. Cabac, L., Duvigneau, M., Moldt, D., Rölke, H.: Modeling dynamic architectures using nets-within-nets. In: Ciardo, G., Darondeau, P. (eds.) Applications and Theory of Petri Nets 2005. 26th International Conference, ICATPN 2005, Miami, USA, June 2005. Proceedings. Lecture Notes in Computer Science, vol. 3536, pp. 148–167 (2005), https://doi.org/10.1007/11494744_10

  5. Cabac, L., Haustermann, M., Mosteller, D.: Renew 2.5 - towards a comprehensive integrated development environment for petri net-based applications. In: Kordon, F., Moldt, D. (eds.) Application and Theory of Petri Nets and Concurrency - 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19–24, 2016. Proceedings. Lecture Notes in Computer Science, vol. 9698, pp. 101–112. Springer-Verlag (2016). https://doi.org/10.1007/978-3-319-39086-4_7

  6. Cabac, L., Haustermann, M., Mosteller, D.: Software development with Petri nets and agents: approach, frameworks and tool set. Sci. Comput. Program. 157, 56–70 (2018). https://doi.org/10.1016/j.scico.2017.12.003

    Article  Google Scholar 

  7. Clarke, E.M., Jr., Grumberg, O., Kroening, D., Peled, D., Veith, H.: Model Checking. MIT Press, Cambridge (2018)

    MATH  Google Scholar 

  8. Clasen, L.O., Moldt, D., Hansson, M., Willrodt, S., Voß, L.: Enhancement of Renew to version 4.0 using JPMS. In: Köhler-Bußmeier, M., Moldt, D., Rölke, H. (eds.) Proceedings of the International Workshop on Petri Nets and Software Engineering 2022 co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2022), Bergen, Norway, June 20th, 2022. CEUR Workshop Proceedings, vol. 3170, pp. 165–176. CEUR-WS.org (2022). https://ceur-ws.org/Vol-3170

  9. Duvigneau, M.: Konzeptionelle Modellierung von Plugin-Systemen mit Petrinetzen, Agent Technology - Theory and Applications, vol. 4. Logos Verlag, Berlin (2010). http://www.logos-verlag.de/cgi-bin/engbuchmid?isbn=2561 &lng=eng &id=

  10. Kummer, O., Wienberg, F., Duvigneau, M., Cabac, L., Haustermann, M., Mosteller, D.: Renew - User Guide (Release 2.5). University of Hamburg, Faculty of Informatics, Theoretical Foundations Group, Hamburg (Jun 2016). http://www.renew.de/

  11. Kummer, O., Wienberg, F., Duvigneau, M., Cabac, L., Haustermann, M., Mosteller, D.: Renew - the Reference Net Workshop (Feb 2023). http://www.renew.de/, release 4.1

  12. Kummer, O., Wienberg, F., Duvigneau, M., Cabac, L., Haustermann, M., Mosteller, D.: Renew - User Guide (Release 4.1). University of Hamburg, Faculty of Informatics, Theoretical Foundations Group, Hamburg (Feb 2023). http://www.renew.de/

  13. 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.) Applications and Theory of Petri Nets 2004. 25th International Conference, ICATPN 2004, Bologna, Italy, June 2004. Proceedings. Lecture Notes in Computer Science, vol. 3099, pp. 484–493. Springer, Berlin Heidelberg New York (Jun 2004). https://doi.org/10.1007/978-3-540-27793-4_29

  14. Lilienthal, C.: Komplexität von Softwarearchitekturen, Stile und Strategien. Ph.D. thesis, Staats-und Universitätsbibliothek Hamburg Carl von Ossietzky (2008)

    Google Scholar 

  15. Moldt, D.: Petrinetze als Denkzeug. In: Farwer, B., Moldt, D. (eds.) Object Petri Nets, Processes, and Object Calculi, pp. 51–70. No. FBI-HH-B-265/05 in Report of the Department of Informatics, University of Hamburg, Department of Computer Science, Vogt-Kölln Str. 30, D-22527 Hamburg (Aug 2005)

    Google Scholar 

  16. Moldt, D.: PAOSE: A way to develop distributed software systems based on Petri nets and agents. In: Barjis, J., Ultes-Nitsche, U., Augusto, J.C. (eds.) Proceedings of The Fourth International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS’06), May 23–24, 2006 - Paphos, Cyprus 2006, pp. 1–2 (2006)

    Google Scholar 

  17. Moldt, D., et al.: Enriching heraklit modules by agent interaction diagrams. In: Gomes, L., Lorenz, R. (eds.) Application and Theory of Petri Nets and Concurrency - 44th International Conference, PETRI NETS 2023, Lisboa, Portugal, June 26–30, 2023, Proceedings. Lecture Notes in Computer Science, vol. this volume. Springer (2023)

    Google Scholar 

  18. Parnas, D.L., Clements, P.C., Weiss, D.M.: The modular structure of complex systems. IEEE Trans. Softw. Eng. 3, 259–266 (1985)

    Article  Google Scholar 

  19. 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=

  20. Valk, R.: Petri nets as token objects - an introduction to elementary object nets. In: Desel, J., Silva, M. (eds.) 19th International Conference on Application and Theory of Petri nets, Lisbon, Portugal. pp. 1–25. No. 1420 in Lecture Notes in Computer Science, Springer-Verlag, Berlin Heidelberg New York (1998). https://doi.org/10.1007/3-540-69108-1_1

  21. Voß, L., Willrodt, S., Moldt, D., Haustermann, M.: Between expressiveness and verifiability: P/T-nets with synchronous channels and modular structure. In: Köhler-Bußmeier, M., Moldt, D., Rölke, H. (eds.) Proceedings of the International Workshop on Petri Nets and Software Engineering 2022 co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2022), Bergen, Norway, June 20th, 2022. CEUR Workshop Proceedings, vol. 3170, pp. 40–59. CEUR-WS.org (2022). https://ceur-ws.org/Vol-3170

  22. Willrodt, S., Moldt, D., Simon, M.: Modular model checking of reference nets: MoMoC. In: Köhler-Bußmeier, M., Kindler, E., Rölke, H. (eds.) Proceedings of the International Workshop on Petri Nets and Software Engineering co-locatd with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), Paris, France, June 24, 2020 (dueto COVID-19: virtual conference). CEUR Workshop Proceedings, vol. 2651, pp. 181–193. CEUR-WS.org (2020). http://ceur-ws.org/Vol-2651/paper12.pdf

Download references

Author information

Authors and Affiliations

  1. University of Hamburg, Faculty of Mathematics, Informatics and Natural Sciences, Department of Informatics, Hamburg, Germany

    Daniel Moldt, Jonte Johnsen, Relana Streckenbach, Laif-Oke Clasen, Michael Haustermann, Alexander Heinze, Marcel Hansson, Matthias Feldmann & Karl Ihlenfeldt

Authors
  1. Daniel Moldt
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jonte Johnsen
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Relana Streckenbach
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Laif-Oke Clasen
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Michael Haustermann
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Alexander Heinze
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Marcel Hansson
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. Matthias Feldmann
    View author publications

    You can also search for this author in PubMed Google Scholar

  9. Karl Ihlenfeldt
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Laif-Oke Clasen .

Editor information

Editors and Affiliations

  1. NOVA University Lisbon, Caparica, Portugal

    Luis Gomes

  2. University of Augsburg, Augsburg, Germany

    Robert Lorenz

Rights and permissions

Reprints and permissions

Copyright information

© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Moldt, D. et al. (2023). RENEW: Modularized Architecture and New Features. In: Gomes, L., Lorenz, R. (eds) Application and Theory of Petri Nets and Concurrency. PETRI NETS 2023. Lecture Notes in Computer Science, vol 13929. Springer, Cham. https://doi.org/10.1007/978-3-031-33620-1_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-33620-1_12

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-33619-5

  • Online ISBN: 978-3-031-33620-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation