Projekt : Nebenläufige Systeme, Petrinetze und verteilte Algorithmen

Laufzeit: seit 1994

Schlagworte: Nebenläufigkeit, Petrinetze, Netze-in-Netzen, Objektnetze, Verfikation, Strukturelle Analyse, RENEW

Ziele: Heutige Informatiksysteme erbringen Dienste vorwiegend durch kooperierende und kommunizierende Prozesse oder Rechner. Bei der Modellierung und Analyse der dabei auftretenden Erscheinungen und Probleme werden seit vielen Jahren Petrinetze eingesetzt. Durch die Analyse ihrer Struktur und der Entwicklung von Analyseverfahren hat sich der Arbeitsbereich TGI einen internationalen Ruf erworben.

Das Projekt widmet sich der Theorie der Nebenläufigkeit im allgemeinen und den Petrinetzen im speziellen. Der Forschungsgegenstand reicht dabei von axiomatischen Concurrency-Theorie bis hin zur Unterstützung durch das Werkzeug RENEW. Daneben betreut der Arbeitsbereich die internationale Petrinetzbibliographie und das offizielle Web-Portal der Petrinetz-Forschungsgemeinschaft.

Schwerpunktmäßig erforscht TGI in diesem Projekt die formalen Eigenschaften der Objektnetze. Objektnetze sind Petrinetze mit Petrinetzen als Marken. Ihre Eigenschaften sind daher komplexer als die elementarer Netze. Objektnetze liefern fundamentale Aussagen zu geschachtelten oder mobilen Systemen.

Die theoretischen Ergebnisse werden genutzt, um die strukturelle Analyse komponenten- und agentenorientierter Petrinetze zu unterstützen. Von großen praktischen Nutzen ist auch die Analyse von Objektnetzen durch die Exploration ihrer Zustandsräume (engl. model checking).

Die Forschungsergebnisse fließen in die kontinuierliche Weiterentwicklung der Java-basierten Entwicklungs- und Ausführungsumgebung RENEW ein, so dass RENEW mittlerweile einen festen Platz unter den Petrinetzwerkzeugen einnimmt. RENEW wird außerdem seit Jahren in der universitären Ausbildung in Vorlesungen und Projekten genutzt.

Teilprojekte

Publikationen:

2014
2013
2012
2011: Michael Köhler-Bußmeier and Frank Heitmann.
Liveness of safe object nets.
Fundamenta Informaticae, 112(1):73-87, 2011.; Frank Heitmann and Michael Köhler-Bußmeier.
On defining conflict-freedom for object nets.
In B. Muller and M. Köhler-Bußmeier, editors, Proceedings of the International Workshop on Logic, Agents, and Mobility (LAM 2011), 2011.; Michael Köhler-Bußmeier.
A survey of elementary object systems: Decidability results.
Technical report, Universität Hamburg, Fachbereich Informatik, 2011. [link]; Michael Köhler-Bußmeier and Frank Heitmann.
Liveness and reachability for elementary object systems.
In Marcin Szczuka, Ludwik Czaja, Andrzej Skowron, and Magdalena Kacprzak, editors, Proceedings of the Internationa Workshop on Concurrency, Specification, and Programming (CS&P 2011). Biaystok University of Technology, 2011.
2010: Michael Köhler-Bußmeier and Frank Heitmann.
Complexity of LTL model-checking for safe object nets.
In B. Farwer, editor, Proceedings of the International Workshop on Logic, Agents, and Mobilitty (LAM 2010), 2010.; Michael Köhler-Bußmeier and Frank Heitmann.
Safeness for object nets.
Fundamenta Informaticae, 101(1-2):29-43, 2010. [link]; Michael Köhler-Bußmeier.
A survey of elementary object systems: Decidability results.
Technical report, Universität Hamburg, Fachbereich Informatik, 2011. [link]; Michael Köhler-Bußmeier.
A survey of decidability results for elementary object systems.
In B. Farwer, editor, Proceedings of the International Workshop on Logic, Agents, and Mobilitty (LAM 2010), 2010.
2009: Michael Köhler-Bußmeier.
Hornets: Nets within nets combined with net algebra.
In Karsten Wolf and Giuliana Franceschinis, editors, International Conference on Application and Theory of Petri Nets (ICATPN'2009), volume 5606 of Lecture Notes in Computer Science, pages 243-262. Springer-Verlag, 2009.; Michael Köhler-Bußmeier and Frank Heitmann.
On the expressiveness of communication channels for object nets.
Fundamenta Informaticae, 93(1-3):205-219, 2009.; Michael Köhler-Bußmeier and Daniel Moldt.
Analysis of mobile agents using invariants of object nets.
Electronic Communications of the EASST: Special Issue on Formal Modeling of Adaptive and Mobile Processes, 12, 2009.
http://www.easst.org/eceasst/.; Michael Köhler-Bußmeier and Frank Heitmann.
On defining safeness for object nets.
In L. Czaja and M. Szczuka, editors, Proceedings of the International Workshop on Concurrency, Specification, and Programming, CS&P'2009 (Volume 1), pages 265-276. Warsaw University, 2009. [link]; Olaf Kummer, Frank Wienberg, Michael Duvigneau, and Lawrence Cabac .
Renew - the Reference Net Workshop.
Available at: http://www.renew.de/, August 2009.
Release 2.2. [link]; Olaf Kummer, Frank Wienberg, Michael Duvigneau, and Lawrence Cabac .
Renew - User Guide (Release 2.2).
University of Hamburg, Faculty of Informatics, Theoretical Foundations Group, Hamburg, August 2009.
Available at: http://www.renew.de/. [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.; Matthias Wester-Ebbinghaus and Daniel Moldt.
Modelling an open and controlled system unit as a modular component of systems of systems.
In Köhler-Bußmeier et al. (Hrsg.), Organizational Modelling, International Workshop, OrgMod'09. Proceedings, pages 81-100.
Preproceedings available online at http://www2.informatik.uni-hamburg.de/tgi/events/orgmod09/#proceedings.
2008: Lawrence Cabac and Nicolas Denz.
Net components for the integration of process mining into agent-oriented software engineering.
Transactions on Petri Nets and Other Models of Concurrency I (ToPNoC), 5100:86-103, November 2008.; Lawrence Cabac , Till Dörges , and Heiko Rölke.
A monitoring toolset for Petri net-based agent-oriented software engineering.
In Rüdiger Valk and Kees M. van Hee, editors, 29th International Conference on Application and Theory of Petri Nets, Xi'an, China, volume 5062 of Lecture Notes in Computer Science, pages 399-408. Springer-Verlag, June 2008. [pdf]; Lawrence Cabac , Till Dörges , Michael Duvigneau, Daniel Moldt, Christine Reese, and Matthias Wester-Ebbinghaus.
Agent models for concurrent software systems.
In Ralph Bergmann and Gabriela Lindemann, editors, Proceedings of the Sixth German Conference on Multiagent System Technologies, MATES'08, volume 5244 of Lecture Notes in Artificial Intelligence, pages 37-48, Berlin, Heidelberg, New York, 2008. Springer-Verlag. [pdf]; 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 , Daniel Moldt, and Jan Schlüter.
Adding runtime net manipulation features to MulanViewer.
In 15. Workshop Algorithmen und Werkzeuge für Petrinetze, AWPN'08, volume 380 of CEUR Workshop Proceedings, pages 87-92. Universität Rostock, September 2008. [link]; Lawrence Cabac , Ragna Dirkner, and Daniel Moldt.
Modeling with service dependency diagrams.
In Moldt et al. (Hrsg.), Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2008, In conjunction with ICEIS 2008, Barcelona, Spain, June 2008, pages 109-118.; Michael Köhler-Bußmeier and Manfred Kudlek.
Linear properties of zero-safe nets with debit tokens.
Fundamenta Informaticae, 85(1-4):329-342, 2008.; Michael Köhler-Bußmeier and Matthias Wester-Ebbinghaus.
Automatic generation of distributed team formation algorithms from organizational models.
In Jomi Hübner and Olivier Boissier, editors, Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems, COIN'08, 2008. [link]; Michael Köhler-Bußmeier and Frank Heitmann.
On the expressiveness of communication channels for object nets.
In G. Lindemann, H.-D. Burkhard, L. Czaja, W. Penczek, A. Salwicki, H. Schlingloff, A. Skowron, and Z. Suraj, editors, Proceedings of the International Workshop on Concurrency, Specification, and Programming CS&P 2008 (Volume 2), pages 253-264. Humboldt-Universität zu Berlin, Informatik-Berichte 225, 2008. [link]; Klaus Mitreiter.
Einbetten der grafischen Benutzungsschnittstelle von Renew in Eclipse.
Diplomarbeit, Universität Hamburg, Department Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, January 2008.
2007: Lawrence Cabac , Michael Duvigneau, Daniel Moldt, and Benjamin Schleinzer .
Plugin-agents as conceptual basis for flexible software structures.
In Multi-Agent Systems and Applications V. Fifth International Central and East European Conference, CEEMAS'07, Leipzig. Proceedings, volume 4696 of Lecture Notes in Computer Science, pages 340-342, Berlin, Heidelberg, New York, 2007. Springer-Verlag. [pdf]; Michael Köhler and Berndt Farwer.
Object nets for mobility.
In J. Kleijn and A. Yakovlev, editors, International Conference on Application and Theory of Petri Nets 2007, volume 4546 of Lecture Notes in Computer Science, pages 244-262. Springer-Verlag, 2007.; Michael Köhler and Heiko Rölke.
Web service orchestration with super-dual object nets.
In J. Kleijn and A. Yakovlev, editors, International Conference on Application and Theory of Petri Nets 2007, volume 4546 of Lecture Notes in Computer Science, pages 263-280. Springer-Verlag, 2007.; Michael Köhler.
Reachable markings of object Petri nets.
Fundamenta Informaticae, 79(3-4):401 - 413, 2007.; Michael Köhler and Heiko Rölke.
Dynamic transition refinement.
Electronic Notes in Theoretical Computer Science, 175:119-134, June 2007. [link]; Michael Köhler and Manfred Kudlek.
Zero-safe nets with debit tokens.
In Proceedings of the International Workshop on Concurrency, Specification, and Programming (CS&P 2007), 2007.; Felix Simmendinger, Lawrence Cabac , Michael Duvigneau, and Nicolas Knaak.
Controlling OSGi bundles with Petri nets.
In Moldt et al. (Hrsg.), Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'07), pages 220-225.; Felix Simmendinger.
Referenznetze zur Modellierung von wissenschaftlichen Workflows am Beispiel der Steuerung von Simulationsexperimenten.
Diplomarbeit, Universität Hamburg, Department Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, August 2007.
2006: Lawrence Cabac , Michael Duvigneau, Daniel Moldt, and Heiko Rölke.
Applying multi-agent concepts to dynamic plug-in architectures.
In Jörg Mueller and Franco Zambonelli, editors, Agent-Oriented Software Engineering VI: 6th International Workshop, AOSE 2005, Utrecht, Netherlands, July 21, 2005. Revised Selected Papers, volume 3950 of Lecture Notes in Computer Science, pages 190-204, Berlin, Heidelberg, New York, June 2006. Springer-Verlag. [pdf] [link]; 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. [pdf]; Michael Köhler, Daniel Moldt, and Jan Ortmann.
Dynamic service composition: A Petri-net based approach.
In Y. Manolopoulos, J. Filipe, P. Constantopoulos, and J. Cordeiro, editors, Proceedings of the Eighth International Conference on Enterprise Information Systems (ICEIS 2006) - Software Agents and Internet Computing, pages 159-165, 2006.; Michael Köhler and Berndt Farwer.
Modelling global and local name spaces for mobile agents using object nets.
Fundamenta Informaticae, 72(1-3):109-122, 2006.; Michael Köhler and Heiko Rölke.
Dynamic transition refinement.
In Proceedings of the Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA), Technical Report ITI-06-07, Department of Computer Science, University of Málaga, pages 117-132, 2006.; Michael Köhler.
Reachable markings of object Petri nets.
In H.-D. Burkhard, L. Czaja, G. Lindemann, and A. Skowron, editors, Proceedings of the International Workshop on Concurrency, Specification, and Programming (CS&P 2006), 2006.; Michael Köhler, Daniel Moldt, and Jan Ortmann.
Dynamic service composition: A Petri-net based approach.
In Y. Manolopoulos, J. Filipe, P. Constantopoulos, and J. Cordeiro, editors, Proceedings of the Eighth International Conference on Enterprise Information Systems (ICEIS 2006) - Software Agents and Internet Computing, pages 159-165, 2006.; Michael Köhler.
The reachability problem for object nets.
In Moldt (Hrsg.), Proceedings of the Fourth International Workshop on Modelling of Objects, Components, and Agents. MOCA'06, pages 179-198.; Michael Köhler.
Algebraische Erweiterung von Objektnetzen.
In Moldt (Hrsg.), Proceedings of the 13th Workshop Application and Tools for Petri Nets. AWPN'06.; Michael Köhler and Heiko Rölke.
Properties of super-dual nets.
Fundamenta Informaticae, 72(1-3):245-254, 2006.; Olaf Kummer, Frank Wienberg, and Michael Duvigneau.
Renew - the Reference Net Workshop.
Available at: http://www.renew.de/, May 2006.
Release 2.1. [link]; Olaf Kummer, Frank Wienberg, and Michael Duvigneau.
Renew - User Guide.
University of Hamburg, Faculty of Informatics, Theoretical Foundations Group, Hamburg, release 2.1 edition, May 2006.
Available at: http://www.renew.de/. [link]
2005: 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. [pdf] [link]; Lawrence Cabac , Michael Duvigneau, Daniel Moldt, and Heiko Rölke.
Multi-agent concepts as basis for dynamic plug-in software architectures.
In Proceedings of the International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2005), pages 1157-1158, 2005.; Lawrence Cabac , Michael Duvigneau, Daniel Moldt, and Heiko Rölke.
Agent technologies for plug-in system architecture design.
In Proceedings of the Workshop on Agent-oriented Software Engineering (AOSE), Utrecht, Netherlands, 2005. [pdf]; Berndt Farwer and Daniel Moldt, editors.
Object Petri Nets, Processes, and Object Calculi, number FBI-HH-B-265/05 in Bericht des Fachbereichs Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, August 2005. Universität Hamburg, Fachbereich Informatik.; Michael Köhler and Berndt Farwer.
Petri net processes for zero-safe nets.
Fundamenta Informaticae, 67:1-11, 2005.; Michael Köhler and Berndt Farwer.
Modelling global and local name spaces for mobile agents using object nets.
In Proceedings of the International Workshop on Concurrency, Specification, and Programming (CS&P 2005). University of Warsaw, 2005.; Berndt Farwer and M. Varea.
Object-based control/data-flow analysis.
Technical Report DSSE-TR-2005-1, ECS, University of Southampton, 2005. [link]; Berndt Farwer and M. Varea.
Transforming dual flow nets into object petri nets.
In Proceedings of Concurrency, Specification, and Programming CS&P'2005, volume 1, pages 112-125. University of Warsaw, 2005.; Berndt Farwer and Simon Kohl.
Object systems with process markings.
In Farwer and Moldt (Hrsg.), Object Petri Nets, Processes, and Object Calculi, pages 1-11.; Michael Köhler and Heiko Rölke.
Reference and value semantics are equivalent for ordinary object Petri nets.
In Gianfranco Ciardo and Philippe Darondeau, editors, Proceedings of the 26th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, volume 3536 of Lecture Notes in Computer Science, pages 309-328. Springer-Verlag, June 2005. [link]; Michael Köhler and Heiko Rölke.
Super-dual nets.
In Proceedings of the International Workshop on Concurrency, Specification, and Programming (CS&P 2005), 2005.; Michael Köhler.
Objektnetze: Definition und Eigenschaften.
In D. Wagner, editor, Ausgezeichnete Informatikdissertationen 2004, volume D-5 of Lecture Notes in Informatics, pages 75-85, 2005.; Michael Köhler.
Objektnetze: Definition und Eigenschaften.
In Farwer and Moldt (Hrsg.), Object Petri Nets, Processes, and Object Calculi, pages 35-42.; Michael Köhler and Heiko Rölke.
Super-dual nets.
In Proceedings of the International Workshop on Concurrency, Specification, and Programming (CS&P 2005), 2005.; Michael Köhler and Jan Ortmann.
Service modelling based on high-level Petri nets.
In Algorithmen und Werkzeuge für Petrinetze (AWPN 2005), 2005.; Michael Köhler and Jan Ortmann.
Formal aspects for service modelling based on high-level Petri nets.
In International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2005), 2005.
2004: Unai Arronategui and Daniel Moldt.
A proposal for multi-agent system based modeling and validation of self-organization.
In Session: Agent-Based and Holonic Manufacturing Systems, 2nd IEEE International Conference on Industrial Informatics Fraunhofer IPK, Berlin, INDIN'04, 2004, 2004.; Lawrence Cabac and Michael Köhler.
Relating higher order reference nets and well-formed nets.
In Proceedings of the International Workshop on Coloured Petri Nets (CPN 2004). Computer Science Department, Aarhus University, 2004.; Berndt Farwer and Michael Köhler.
Mobile object-net systems and their processes.
Fundamenta Informaticae, 60(1-4):113-129, 2004.; Berndt Farwer and M. Leuschel.
Model checking object Petri nets in Prolog.
In Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming, pages 20-31. ACM Press, 2004.; Berndt Farwer and Daniel Schradick.
Execution and analysis of P/T nets and object Petri nets with B.
In G. Lindemann, H.-D. Burkhard, L. Czaja, A. Skowron, H. Schlingloff, and Z. Suraj, editors, Concurrency, Specification, and Programming CS&P'2004, volume 1, Informatik-Bericht Nr. 170, pages 28-39. Humboldt Universität, Berlin, 2004.; Berndt Farwer and M. Leuschel.
Model checking object Petri nets in Maude and Prolog.
Technical Report FBI-HH-B-258/04, Fachbereich Informatik, Universität Hamburg, 2004.; Michael Köhler.
Objektnetze: Definition und Eigenschaften, volume 1 of Agent Technology - Theory and Applications.
Logos Verlag, Berlin, 2004. [link]; Michael Köhler and Heiko Rölke.
Properties of Object Petri Nets.
In J. Cortadella and W. Reisig, editors, International Conference on Application and Theory of Petri Nets 2004, volume 3099 of Lecture Notes in Computer Science, pages 278-297. Springer-Verlag, 2004. [link]; 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. [pdf] [link]; Gabriela Lindemann, Daniel Moldt, and Mario Paolucci, editors.
Regulated Agent-Based Social Systems. First International Workshop, RASTA 2002, Bologna, Italy, July 16, 2002, Revised Selected and Invited Papers, volume 2934 of Lecture Notes in Computer Science, Berlin, Heidelberg, New York, 2004. Springer-Verlag.; Daniel Moldt and Jan Ortmann.
DaGen: A tool for automatic translation from DAML-S to high-level Petri nets.
In Michel Wermelinger and Tiziana Margaria-Steffen, editors, Fundamental Approaches to Software Engineering: 7th International Conference, FASE 2004. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings, volume 2984 of Lecture Notes in Computer Science, pages 209-213, Berlin, Heidelberg, New York, 2004. Springer-Verlag.; 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. [pdf] [link]
2003: Berndt Farwer and Michael Köhler.
Mobile object-net systems and their processes.
In L. Czaja, editor, Concurrency, Specification, and Programming CS&P'2003 (Volume 1), pages 134-149. Warsaw University, 2003.; Michael Köhler.
Mobile object net systems.
In 8. Workshop Algorithmen und Werkzeuge für Petrinetze. Universität Eichstätt, 2003.; Michael Köhler, Daniel Moldt, and Heiko Rölke.
Modelling mobility and mobile agents using nets within nets.
In Wil van der Aalst and Eike Best, editors, Proceedings of the 24th International Conference on Application and Theory of Petri Nets 2003 (ICATPN 2003), volume 2679 of Lecture Notes in Computer Science, pages 121-139. Springer-Verlag, 2003. [link]; Michael Köhler and Heiko Rölke.
Concurrency for mobile object net systems.
Fundamenta Informaticae, 54(2-3), 2003.; Michael Köhler.
Object Petri nets: Definitions, properties and related models.
Technical Report 329, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, 2003.; Michael Köhler.
Decidability problems for object Petri nets.
In Gesellschaft für Informatik, editor, Informatiktage 2003. Fachwissenschaftlicher Informatik-Kongreß. Konradin Verlag, 2003.; C. Girault and Rüdiger Valk, editors.
Petri Nets for Systems Engineering: A Guide to Modelling, Verification, and Applications, Berlin, Heidelberg, New York, 2003. Springer-Verlag.; Joaquín Ezpeleta and Rüdiger Valk.
A polynomial solution for deadlock avoidance in assembly systems modelled with Petri nets.
Technical Report FBI-HH-B-250, University of Hamburg, Department for Computer Science Report/03, 2003.
also: accepted paper for in the multiconference on Computational Engineering in Systems Applications (CESA) (Lille, France, July 9-11, 2003.
2002: Berndt Farwer.
Dynamic modification of object Petri nets. an application to modelling protocols with fork-join structures.
Fundamenta Informaticae, 51(1,2):91-101, 2002.; Berndt Farwer and K. Misra.
Hierarchical object systems.
In H.-D. Burkhard, L. Czaja, G. Lindemann, A. Skowron, and P.Starke, editors, Concurrency, Specification, and Programming CS&P'2002 (Volume 1), pages 143-163 (16 pages). Humboldt-Universität zu Berlin, Informatik-Berichte 161, 2002.; Berndt Farwer, Daniel Moldt, and F. García-Vallés.
An approach to modelling FMS with dynamic object Petri nets.
In Proceedings of the 2002 IEEE International Conference on Systems, Man and Cybernetics., pages 1-6, Hammamet, Tunisia, October 2002.; Berndt Farwer.
Dynamic modification of object Petri nets. an application to modelling protocols with fork-join structures.
Fundamenta Informaticae, 51(1,2):91-101, 2002.; Michael Köhler, Daniel Moldt, and Heiko Rölke.
Liveness preserving composition of behaviour protocols for Petri net agents.
Arbeitsberichte des Forschungsprogramms: Agieren in sozialen Kontexten FBI-HH-M-316/02, Universität Hamburg, Fachbereich Informatik, June 2002.; Michael Köhler and Heiko Rölke.
Modelling mobility and mobile agents using nets within nets.
In Moldt (Hrsg.), Proceedings of the Second Workshop on Modelling of Objects, Components, and Agents (MOCA'02), pages 141-157.
DAIMI PB: Aarhus, Denmark, August 26-27, number 561.; Michael Köhler and Heiko Rölke.
Mobile object net systems: Concurrency and mobility.
In H.-D. Burkhard, L. Czaja, G. Lindemann, A. Skowron, and P. Starke, editors, Proceedings of the International Workshop on Concurrency, Specification, and Programming (CS&P 2002), 2002.; Olaf Kummer.
Referenznetze.
Logos Verlag, Berlin, 2002. [link]; Gabriela Lindemann, Daniel Moldt, Mario Paolucci, and Bin Yu, editors.
Proceedings of the International Workshop on Regulated Agent-Based Social Systems: Theories and Applications (RASTA'02) as part of AAMAS 2002, number FBI-HH-M-318/02 in Arbeitsberichte des Forschungsprogramms: Agieren in sozialen Kontexten, Vogt-Kölln Str. 30, D-22527 Hamburg, 2002.
2001: Thomas Jacob, Olaf Kummer, and Daniel Moldt.
Persistent Petri net execution.
Petri Net Newsletter, 61:18-26, October 2001.; Thomas Jacob, Olaf Kummer, and Daniel Moldt.
Database backing for Petri net simulations.
In Gabriel Juhás and Robert Lorenz, editors, 8. Workshop Algorithmen und Werkzeuge für Petrinetze, pages 61-65. Lehrstuhl für angewandte Informatik, KU Eichstätt, 2001.; Thomas Jacob, Olaf Kummer, and Daniel Moldt.
Datenbank-Sicherung für Petrinetze.
In Gabriel Juhás and Robert Lorenz, editors, 8. Workshop Algorithmen und Werkzeuge für Petrinetze, pages 61-65. Lehrstuhl für angewandte Informatik, KU Eichstätt, 2001.; Berndt Farwer.
Modelling protocols by object-based Petri nets.
In L. Czaja, editor, Concurrency Specification and Programming (CSP'01), Proceedings, pages 87-96. University of Warsaw, 2001.; Berndt Farwer.
Comparing concepts of object Petri net formalisms.
Fundamenta Informaticae, 47(3-4):247-258, 2001.; 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.; Berndt Farwer and I. Lomazova.
A systematic approach towards object-based Petri net formalisms.
In Proceedings of Andrei Ershov Fourth International Conference Perspectives Of System Informatics, pages 141-146, July 2001.; Michael Köhler and Heiko Rölke.
A/C Petri nets - assumption based modelling and reasoning.
In Gabriel Juhas and Robert Lorenz, editors, Proceedings des 8. Workshop Algorithmen und Werkzeuge für Petrinetze, pages 43-48. Universität Eichstätt, 2001.; Olaf Kummer.
Introduction to Petri nets and reference nets.
Sozionik Aktuell, 1:1-9, 2001.
ISSN 1617-2477.; 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. [pdf] [link]
2000: Berndt Farwer.
A multi-region linear logic based calculus for dynamic Petri net structures.
Fundamenta Informaticae, 43(1-4):61-79, 2000.; Berndt Farwer.
Relating formalisms for non-object-oriented object Petri nets.
In P. Starke L. Czaja, editor, Concurrency, Specification, and Programming (CS&P'2000). Proceedings. Volume 1, pages 53-64. Humboldt-Universität, Berlin, 2000.; Berndt Farwer.
Linear Logic Based Calculi for Object Petri Nets.
Logos Verlag, ISBN 3-89722-539-5, Berlin, Vogt-Kölln Str. 30, D-22527 Hamburg, 2000.; Olaf Kummer.
Undecidability in object-oriented Petri nets.
Petri Net Newsletter, 59:18-23, 2000.; Olaf Kummer, Daniel Moldt, and Frank Wienberg.
XML and Petri nets - following the forces.
In Rémi Bastide, Jonathan Billington, Ekkart Kindler, Fabrice Kordon, and Kjeld H. Mortensen, editors, Meeting on XML/SGML based Interchange Formats for Petri Nets, Aarhus, Denmark, 21st International Conference on Application and Theory of Petri Nets at Aarhus, Denmark, June 26-30, pages 13-17. Aarhus University, 2000.
Verfügbar unter url http://www.daimi.au.dk/pn2000/Interchange/. [link]; Olaf Kummer and Frank Wienberg.
The XML file format of Renew.
In Meeting on XML/SGML based Interchange Formats for Petri Nets, Aarhus, Denmark, 2000.
Verfügbar unter urlhttp://www.daimi.au.dk/pn2000/Interchange/detailed.html.; Annette Laue, Matthias Liedtke, Daniel Moldt, and Ivana Trickovic.
Statecharts as protocols for objects.
In ROOM 2000, ROOM-Third Workshop on Rigorous Object-Oriented Methods, England, 2000. Department of Computer Science, University of York, UK.; Annette Laue, Matthias Liedtke, Daniel Moldt, and Ivana Trickovic.
Modelling intra- and inter-object control using reference nets.
In Jürgen Ebert and Ulrich Frank, editors, Modellierung 2000 St. Goar, 5.-7. April, volume 15 of Koblenzer Schriften zur Informatik, pages 89-102, Koblenz, 2000. Dietmar Fölbach.; Annette Laue, Matthias Liedtke, Daniel Moldt, and Ivana Trickovic.
Statecharts as protocols for objects.
Journal for electronic Workshops in Computing: ROOM-Third Workshop on Rigorous Object-Oriented Methods, July 2000. [link]; Daniel Moldt and Rüdiger Valk.
Object-oriented Petri nets in business process modeling.
In Wil van der Aalst, Jörg Desel, and Andreas Oberweis, editors, Business Process Management: Models, Techniques, and Empirical Studies, number 1806 in Lecture Notes in Computer Science, pages 254-273, Berlin, Heidelberg, New York, 2000. Springer-Verlag.; Rüdiger Valk.
Relating different semantics for object Petri nets, formal proofs and examples.
Technical Report FBI-HH-B-226, University of Hamburg, Department for Computer Science Report/00, 2000. [pdf]
1999: Olaf Kummer.
A Petri net view on synchronous channels.
Petri Net Newsletter, 56:7-11, 1999.; Olaf Kummer.
Tight integration of Java and Petri nets.
In Jörg Desel and Andreas Oberweis, editors, 6. Workshop Algorithmen und Werkzeuge für Petrinetze, pages 30-35. J.W. Goethe-Universität, Institut für Wirtschaftinformatik, Frankfurt am Main, 1999.; Olaf Kummer, Daniel Moldt, and Frank Wienberg.
Symmetric communication between coloured Petri net simulations and Java-processes.
In Susanna Donatelli and Jetty Kleijn, editors, Application and Theory of Petri Nets 1999, 20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, volume 1639 of Lecture Notes in Computer Science, pages 86-105. Springer-Verlag, June 1999.; Rüdiger Valk.
Reference and value semantics for object Petri nets.
In Proceedings of Colloquium on Petri Net Technologies for Modelling Communication Based Systems, October 21-22, 1999, pages 169-187. Fraunhofer Gesellschaft, ISST, 1999.
1998: Berndt Farwer.
A linear logic view of object systems.
In H.-D. Burkhard, L. Czaja, and P. Starke, editors, Concurrency Specification and Programming (CS&P'98), Proceedings, pages 76-87. Humboldt-Universität, Berlin, 1998.; Olaf Kummer.
Simulating synchronous channels and net instances.
In Jörg Desel, Peter Kemper, Ekkart Kindler, and Andreas Oberweis, editors, Forschungsbericht Nr. 694: 5. Workshop Algorithmen und Werkzeuge für Petrinetze, number Forschungsbericht Nr. 694, pages 73-78. Fachbereich Informatik, Universität Dortmund, 1998.; Rüdiger Valk.
Petri nets as token objects - an introduction to elementary object nets.
In Jörg Desel and Manuel Silva, editors, 19th International Conference on Application and Theory of Petri nets, Lisbon, Portugal, number 1420 in Lecture Notes in Computer Science, pages 1-25, Berlin, Heidelberg, New York, 1998. Springer-Verlag. [pdf] [link]
1996: Rüdiger Valk.
On processes of object Petri nets.
Bericht des Fachbereichs Informatik FBI-HH-B-185/96, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln Str. 30, D-22527 Hamburg, June 1996.
1995: Rüdiger Valk.
Petri nets as dynamical objects.
In Agha and Cindio (Hrsg.), Object-Oriented Programming and Models of Concurrency.
Workshop während der ,,16th International Conference on Application and Theory of Petri Nets``, Turin, Italien, 26.-30. Juni, 1995.

Impressum

Letzte Änderung: 10:57 23.06.2015