An extensible editor and simulation engine for petri nets: renew

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3099, Issue , 2004, Pages 484-493

  Kummer, Olaf ^a   Wienberg, Prank ^a   Duvigneau, Michael ^a   Schumacher, Jörn ^a   Köhler, Michael ^a   Moldt, Daniel ^a   Rölke, Heiko ^a   Valk, Rüdiger ^a  

^a UNIVERSITY OF HAMBURG   (Germany)

Author keywords

Architecture; High level petri nets; Integrated development environment; Nets within nets; Reference nets; Renew, plug in; Tool

Indexed keywords

ARCHITECTURE; PETRI NETS; TOOLS; WEB SERVICES;

HIGH-LEVEL PETRI NETS; INTEGRATED DEVELOPMENT ENVIRONMENT; NETS-WITHIN-NETS; PLUG-INS; REFERENCE NETS; RENEW;

JAVA PROGRAMMING LANGUAGE;

EID: 35048846690     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27793-4_29     Document Type: Article

References (17)

1. L. Cabac, D. Moldt, and H. Röke. A Proposal for Structuring Petri Net-Based Agent Interaction Protocols. In W. v.d. Aalst and E. Best, editors, Applications and Theory of Petri Nets. ICATPN 2003, Eindhoven. Proceedings, number 2679 in LNCS, pages 102-120. Springer, 2003.
2. S. Christensen and N. Damgaard Hansen. Coloured Petri Nets Extended with Channels for Synchronous Communication. Report DAIMI PB-390, Aarhus University, 1992.
3. M. Duvigneau, M. Köhler, D. Moldt, C. Reese, and H. Rölke. Agent-based Settler Game. In Agentcities Agent Technology Competition, Barcelona, Spain. Proceedings, February 2003.
4. M. Duvigneau, D. Moldt, and H. Rölke. Concurrent Architecture for a Multiagent Platform. In F. Giunchiglia, J. Odell, and G. Weiss, editors, Agent-Oriented Software Engineering III. Workshop, AOSE 2002, Bologna., number 1420 in LNCS, pages 59-72. Springer, 2003.
5. Foundation for Intelligent Physical Agents (FIPA). http://www.fipa.org.
6. T. Jacob, O. Kummer, D. Moldt, and U. Ultes-Nitsche. Implementation of Workflow Systems using Reference Nets - Security and Operability Aspects. In K. Jensen, editor, 4th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools. University of Aarhus, 2002. Report DAIMI PB-560.
7. T. Jacob, O. Kummer, and D. Moldt. Persistent Petri Net Execution. Petri Net Newsletter, 61:18-26, October 2001.
8. J. Billington et. al. The Petri Net Markup Language: Concepts, Technology, and Tools. In W. v.d. Aalst and E. Best, editors, Applications and Theory of Petri Nets. ICATPN 2003, Eindhoven. Proceedings, number 2679 in LNCS, pages 483505. Springer, 2003.
9. M. Köhler, D. Moldt, and H. Rölke. Modelling the Structure and Behaviour of Petri Net Agents. In J.-M. Colom and M. Koutny, editors, Application and Theory of Petri Nets. ICATPN 2001, Newcastle upon Tyne. Proceedings, number 2075 in LNCS, pages 224-241. Springer, 2001.
10. O. Kummer. Referenznetze. Logos-Verlag, Berlin, 2002.
11. D. Moldt and H. Rölke. Pattern Based Workflow Design Using Reference Nets. In W. v.d. Aalst, A. ter Hofstede, and M. Weske, editors, Business Process Management. BPM 2003, Eindhoven. Proceedings, number 2678 in LNCS, pages 246-260. Springer, 2003.
12. th National Conference on Artificial Intelligence (AAAI), AOIS 2000, Austin. Proceedings, pages 3-17, Austin, TX, 2000.
13. Renew - The Reference Net Workshop. WWW page at http://renew.de/. Contains the documentation for Renew and an introduction to reference nets.
14. J. Schumacher. Eine Plugin-Architektur fur Renew. Konzepte, Methoden, Umsetzung. Diplomarbeit, Universität Hamburg, October 2003.
15. C. Sibertin-Blanc. Cooperative Nets. In R. Valette, editor, Application and Theory of Petri Nets. ICATPN '94, Zaragoza. Proceedings, volume 815 of LNCS, pages 471-490. Springer, 1994.
16. R. Valk. Petri nets as token objects: An introduction to elementary object nets. In J. Desel and M. Suva, editors, Application and Theory of Petri Nets. ICATPN '98, Lisbon. Proceedings, number 1420 in LNCS, pages 1-25. Springer, June 1998.
17. Workflow Management Coalition Homepage. URL: http://www.wfmc.org/, 2003.