Advertisement

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
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3099)

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.

References

  1. 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)CrossRefGoogle Scholar
  2. 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. 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. 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)CrossRefGoogle Scholar
  5. 5.
    Foundation for Intelligent Physical Agents (FIPA), http://www.fipa.org
  6. 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-560Google Scholar
  7. 7.
    Jacob, T., Kummer, O., Moldt, D.: Persistent Petri Net Execution. Petri Net Newsletter 61, 18–26 (2001)Google Scholar
  8. 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)CrossRefGoogle Scholar
  9. 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)CrossRefGoogle Scholar
  10. 10.
    Kummer, O.: Referenznetze. Logos-Verlag, Berlin (2002)Google Scholar
  11. 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)CrossRefGoogle Scholar
  12. 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. 13.
    Renew – The Reference Net Workshop. Contains the documentation for Renew and an introduction to reference nets, WWW page at http://renew.de/
  14. 14.
    Schumacher, J.: Eine Plugin-Architektur für Renew. Konzepte, Methoden, Umsetzung, Diplomarbeit, Universität Hamburg (October 2003)Google Scholar
  15. 15.
    Sibertin-Blanc, C.: Cooperative Nets. In: Valette, R. (ed.) ICATPN 1994. LNCS, vol. 815, pp. 471–490. Springer, Heidelberg (1994)Google Scholar
  16. 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)CrossRefGoogle Scholar
  17. 17.
    Workflow Management Coalition Homepage (2003), http://www.wfmc.org/

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