The Renew Logo

Renew Bibliography

This page contains the most important publications on the reference nets formalism and the Renew tool.

Applications

Lawrence Cabac , Michael Duvigneau, Daniel Moldt, and Heiko Rölke.
Modeling dynamic architectures using nets-within-nets.
In Gianfranco Ciardo and Philippe Darondeau, editors, Applications and Theory of Petri Nets 2005. 26th International Conference, ICATPN 2005, Miami, USA, June 2005. Proceedings, volume 3536 of Lecture Notes in Computer Science, pages 148-167, 2005.  [link]

Lawrence Cabac , Till Dörges , Michael Duvigneau, Christine Reese, and Matthias Wester-Ebbinghaus.
Application development with Mulan.
In Moldt et al. (Hrsg.), Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'07), pages 145-159.

Lawrence Cabac .
Modeling Petri Net-Based Multi-Agent Applications.
Dissertation, Universität Hamburg, Department Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, April 2010.  [link]

Michael Duvigneau, Daniel Moldt, and Heiko Rölke.
Concurrent architecture for a multi-agent platform.
In Fausto Giunchiglia, James Odell, and Gerhard Weiß, editors, Agent-Oriented Software Engineering III. Third International Workshop, Agent-oriented Software Engineering (AOSE) 2002, Bologna, Italy, July 2002. Revised Papers and Invited Contributions, volume 2585 of Lecture Notes in Computer Science, pages 59-72, Berlin, Heidelberg, New York, 2003. Springer-Verlag.  [link]

The Renew tool and plugins

Lawrence Cabac , Michael Haustermann , and David Mosteller .
Renew 2.5 - towards a comprehensive integrated development environment for Petri net-based applications.
In Kordon and Moldt (Hrsg.), 37th International Conference on Application and Theory of Petri Nets, ToruĊ„, Poland. [link]

Max Friedrich and Daniel Moldt.
Introducing Refactoring for Reference Nets.
In Petri Nets and Software Engineering. International Workshop, PNSE'16, Torun, Poland, June 20-21, 2016. Proceedings (Hrsg.), Petri Nets and Software Engineering. International Workshop, PNSE'16, Torun, Poland, June 20-21, 2016. Proceedings.
Unpublished, actual page number is not available yet.

Jan Hicken, Michael Haustermann , and Daniel Moldt.
Refining the quick fix for the Petri net modeling tool RENEW.
In Petri Nets and Software Engineering. International Workshop, PNSE'16, Torun, Poland, June 20-21, 2016. Proceedings (Hrsg.), Petri Nets and Software Engineering. International Workshop, PNSE'16, Torun, Poland, June 20-21, 2016. Proceedings.

Lawrence Cabac , Michael Duvigneau, Daniel Moldt, and Matthias Wester-Ebbinghaus.
Towards unit testing for Java reference nets.
In Bergenthum and Desel (Hrsg.), Algorithmen und Werkzeuge für Petrinetze. 18. Workshop AWPN 2011, Hagen, September 2011. Tagungsband, pages 1-6.

Olaf Kummer.
Introduction to Petri nets and reference nets.
Sozionik Aktuell, 1:1-9, 2001.
ISSN 1617-2477.

Olaf Kummer, Frank Wienberg, Michael Duvigneau, Michael Köhler, Daniel Moldt, and Heiko Rölke.
Renew - the Reference Net Workshop.
In Eric Veerbeek, editor, Tool Demonstrations. 24th International Conference on Application and Theory of Petri Nets (ATPN 2003). International Conference on Business Process Management (BPM 2003)., pages 99-102. Department of Technology Management, Technische Universiteit Eindhoven, Beta Research School for Operations Management and Logistics, June 2003.

Olaf Kummer, Frank Wienberg, Michael Duvigneau, Jörn Schumacher, Michael Köhler, Daniel Moldt, Heiko Rölke, and Rüdiger Valk.
An extensible editor and simulation engine for Petri nets: Renew.
In Jordi Cortadella and Wolfgang Reisig, editors, Applications and Theory of Petri Nets 2004. 25th International Conference, ICATPN 2004, Bologna, Italy, June 2004. Proceedings, volume 3099 of Lecture Notes in Computer Science, pages 484-493, Berlin, Heidelberg, New York, June 2004. Springer.  [link]

Heiko Rölke.
Modeling with net references and synchronous channels.
In Moldt (Hrsg.), Petri Nets and Software Engineering, International Workshop, PNSE'09. Proceedings, pages 157-171.

Feature Structure Nets

Michael Duvigneau, Heiko Rölke, and Frank Wienberg.
Informal introduction to the feature structure nets tool - a tool for process and information modeling.
In Moldt (Hrsg.), Proceedings of the 13th Workshop Application and Tools for Petri Nets. AWPN'06, pages 85-91.

ImageNetDiff

Lawrence Cabac and Jan Schlüter.
ImageNetDiff: A visual aid to support the discovery of differences in Petri nets.
In 15. Workshop Algorithmen und Werkzeuge für Petrinetze, AWPN'08, volume 380 of CEUR Workshop Proceedings, pages 93-98. Universität Rostock, September 2008.  [link]

Lawrence Cabac , Kolja Markwardt, and Jan Schlüter.
ImageNetDiff: Finding differences in models.
In Moldt et al. (Hrsg.), Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS 2009, In conjunction with ICEIS 2009, Milan, Italy, May 2009, pages 156-161.

Net Components

Lawrence Cabac .
Net components: Concepts, tool, praxis.
In Moldt (Hrsg.), Petri Nets and Software Engineering, International Workshop, PNSE'09. Proceedings, pages 17-33.

Theoretical aspects of reference nets

Rüdiger Valk.
Object Petri Nets - Using the Nets-within-Nets Paradigm.
In Jörg Desel, Wolfgang Reisig, and Grzegorz Rozenberg, editors, Advances in Petri Nets: Lectures on Concurrency and Petri Nets, volume 3098 of Lecture Notes in Computer Science, pages 819-848. Springer-Verlag, Berlin, Heidelberg, New York, 2004.  [link]

Rüdiger Valk.
Concurrency in communicating object petri nets.
In Gul Agha, Fiorella De Cindio, and Grzegorz Rozenberg, editors, Advances in Petri Nets: Concurrent Object-Oriented Programming and Petri Nets, volume 2001 of Lecture Notes in Computer Science, pages 164-195. Springer-Verlag, Berlin, Heidelberg, New York, 2001.  [link]

Olaf Kummer.
Undecidability in object-oriented Petri nets.
Petri Net Newsletter, 59:18-23, 2000.

Berndt Farwer and I. Lomazova.
A systematic approach towards object-based Petri net formalisms.
In D. Bjorner and A. Zamulin, editors, Perspectives of System Informatics, Proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, volume 2244 of Lecture Notes in Computer Science, pages 255-267. Springer-Verlag, 2001.

Roxana Dietze.
Unentscheidbarkeit des Beschränktheitsproblems für allgemeine Referenznetze.
In Schmidt and Stahl (Hrsg.), Proceedings of the 12th Workshop on Algorithms and Tools for Petri Nets (AWPN 05), pages 48-53.

Roxana Dietze, Manfred Kudlek, and Olaf Kummer.
On decidability problems of a basic class of object nets.
Technical Report FBI-HH-B-270/06, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, March 2006.

German publications

Olaf Kummer.
Referenznetze.
Logos Verlag, Berlin, 2002.  [link]

Michael Duvigneau.
Referenznetze bei der Erstellung der verteilten Anwendung des Börsenspiels.
Studienarbeit, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, 2001.

Jörn Schumacher.
Eine Plugin-Architektur für Renew - Konzepte, Methoden, Umsetzung.
Diplomarbeit, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, October 2003.

Michael Duvigneau.
Konzeptionelle Modellierung von Plugin-Systemen mit Petrinetzen.
Dissertation, Universität Hamburg, Department Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, October 2009.
http://www.sub.uni-hamburg.de/opus/volltexte/2010/4662/.  [link]

Uni HH, CS
Impressum
 

Back to the Renew homepage

Last modified: Tuesday, 7 May 2013 at 15:26 UTC. by webmaster@renew.de