Skip to main content

An Extensible Editor and Simulation Engine for Petri Nets: Renew

  • Conference paper
Applications and Theory of Petri Nets 2004 (ICATPN 2004)

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).

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Cabac, L., Moldt, D., Rölke, H.: A Proposal for Structuring Petri Net-Based Agent Interaction Protocols. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 102–120. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  2. Christensen, S., Damgaard Hansen, N.: Coloured Petri Nets Extended with Channels for Synchronous Communication. Report DAIMI PB–390, Aarhus University (1992)

    Google Scholar 

  3. Duvigneau, M., Köhler, M., Moldt, D., Reese, C., Rölke, H.: Agent-based Settler Game. In: Proceedings Agentcities Agent Technology Competition, Barcelona, Spain (February 2003)

    Google Scholar 

  4. Duvigneau, M., Moldt, D., Rölke, H.: Concurrent Architecture for a Multiagent Platform. In: Giunchiglia, F., Odell, J.J., Weiss, G. (eds.) AOSE 2002. LNCS, vol. 2585, pp. 59–72. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  5. Foundation for Intelligent Physical Agents (FIPA), http://www.fipa.org

  6. Jacob, T., Kummer, O., Moldt, D., Ultes-Nitsche, U.: Implementation of Workflow Systems using Reference Nets – Security and Operability Aspects. In: Jensen, K. (ed.) 4th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools. University of Aarhus, Aarhus (2002); Report DAIMI PB-560

    Google Scholar 

  7. Jacob, T., Kummer, O., Moldt, D.: Persistent Petri Net Execution. Petri Net Newsletter 61, 18–26 (2001)

    Google Scholar 

  8. Billington, J., et al.: The Petri Net Markup Language: Concepts, Technology, and Tools. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 483–505. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  9. Köhler, M., Moldt, D., Rölke, H.: Modelling the Structure and Behaviour of Petri Net Agents. In: Colom, J.-M., Koutny, M. (eds.) ICATPN 2001. LNCS, vol. 2075, pp. 224–241. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  10. Kummer, O.: Referenznetze. Logos-Verlag, Berlin (2002)

    Google Scholar 

  11. Moldt, D., Rölke, H.: Pattern Based Workflow Design Using Reference Nets. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol. 2678, pp. 246–260. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  12. Odell, J., Van Dyke Parunak, H., Bauer, B.: Extending UML for Agents. In: Wagner, G., Lesperance, Y., Yu, E. (eds.) Proceedings Agent-Oriented Information Systems, Workshop at the 17th National Conference on Artificial Intelligence (AAAI), AOIS 2000, Austin, TX, pp. 3–17 (2000)

    Google Scholar 

  13. Renew – The Reference Net Workshop. Contains the documentation for Renew and an introduction to reference nets, WWW page at http://renew.de/

  14. Schumacher, J.: Eine Plugin-Architektur für Renew. Konzepte, Methoden, Umsetzung, Diplomarbeit, Universität Hamburg (October 2003)

    Google Scholar 

  15. Sibertin-Blanc, C.: Cooperative Nets. In: Valette, R. (ed.) ICATPN 1994. LNCS, vol. 815, pp. 471–490. Springer, Heidelberg (1994)

    Google Scholar 

  16. 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)

    Chapter  Google Scholar 

  17. Workflow Management Coalition Homepage (2003), http://www.wfmc.org/

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

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. https://doi.org/10.1007/978-3-540-27793-4_29

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-27793-4_29

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-22236-1

  • Online ISBN: 978-3-540-27793-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics