Publications of Year 2006

Books and Conference Proceedings

• Wolfgang Reisig and Johann-Christoph Freytag, editors. Informatik - Aktuelle Themen im historischen Kontext. Springer, May 2006.

Journal and Book Articles

• Wilfried Brauer and Wolfgang Reisig. Carl Adam Petri und die ``Petrinetze''. Informatik-Spektrum, 29(5): 369--381, October 2006.

• Milos Krstic, Eckhard Grass, Christian Stahl, and Maxim Piz. System Integration by Request-driven GALS Design. IEE Proc. Computers & Digital Techniques, 153(5): 362--372, September 2006.

• Peter Massuthe and Karsten Wolf. Operating Guidelines for Services. Petri Net Newsletter, 70: 9-14, April 2006.

Workshop and Conference Papers

• Wil M. P. van der Aalst, Michael Beisiegel, Kees M. van Hee, Dieter König, and Christian Stahl. A SOA-Based Architecture Framework. In Frank Leymann, Wolfgang Reisig, Satish R. Thatte, and Wil M. P. van der Aalst, editors, The Role of Business Processes in Service Oriented Architectures, number 06291 of Dagstuhl Seminar Proceedings, November 2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany.

• Baver Acu and Wolfgang Reisig. Compensation in Workflow Nets. In Susanna Donatelli and P. S. Thiagarajan, editors, Petri Nets and Other Models of Concurrency - ICATPN 2006, 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings, volume 4024 of Lecture Notes in Computer Science, pages 65-83, 2006. Springer.

• Andreas Glausch. Distributed Abstract State Machines - Status Report of a Doctoral Thesis. In Jörg Desel, editor, Proceedings of the Doctoral Consortium ACSD & PetriNets 2006, Turku, Finland, June 2006. Åbo Akademi.

• Andreas Glausch and Wolfgang Reisig. How Expressive are Petri Net Schemata?. In Susanna Donatelli and P. S. Thiagarajan, editors, Petri Nets and Other Models of Concurrency - ICATPN 2006, 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings, volume 4024 of Lecture Notes in Computer Science, pages 201-220, 2006. Springer.

• Kathrin Kaschner, Peter Massuthe, and Karsten Wolf. Symbolische Repräsentation von Bedienungsanleitungen für Services. In Daniel Moldt, editor, 13. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN 2006), Proceedings, pages 54-61, September 2006. Universität Hamburg. Note: In German.

• Oliver Kopp, Carsten Frenkler, and Niels Lohmann. Korrektheit und Zuverlässigkeit zusammengesetzter Web Services am Beispiel der Geschäftsprozess-Modellierungssprache BPEL. In Forschungsoffensive ''Software Engineering 2006'', Statuskonferenz, 26.-28. Juni 2006, July 2006. Bundesministerium für Bildung und Forschung (BMBF).

• Niels Lohmann. A Local Cut-off Criterion for Unfoldings of Safe Petri Nets. In Jörg Desel, editor, Proceedings of the Doctoral Consortium ACSD & Petri Nets 2006, Turku, Finland, June 2006. Åbo Akademi.

• Niels Lohmann, Peter Massuthe, Christian Stahl, and Daniela Weinberg. Analyzing Interacting BPEL Processes. In Schahram Dustdar, José Luiz Fiadeiro, and Amit Sheth, editors, Business Process Management, 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings, volume 4102 of Lecture Notes in Computer Science, pages 17-32, September 2006. Springer-Verlag.

• Peter Massuthe and Karsten Wolf. An Algorithm for Matching Nondeterministic Services with Operating Guidelines. In Frank Leymann, Wolfgang Reisig, Satish R. Thatte, and Wil M. P. van der Aalst, editors, The Role of Business Processes in Service Oriented Architectures, number 06291 of Dagstuhl Seminar Proceedings, 2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany.

• Wolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, and Kathrin Kaschner. Analysis Techniques for Service Models. In Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2006 (ISoLA 2006), 15-19 November 2006, Paphos, Cyprus, pages 11-17, November 2006. IEEE Computer Society.

• Stephan Roch and Karsten Schmidt. On the step explosion problem. In Susanna Donatelli and P. S. Thiagarajan, editors, Petri Nets and Other Models of Concurrency - ICATPN 2006, 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings, volume 4024 of Lecture Notes in Computer Science, pages 342-361, 2006. Springer.

Technical Reports

• Andreas Glausch and Wolfgang Reisig. Distributed Abstract State Machines and Their Expressive Power. Informatik-Berichte 196, Humboldt-Universität zu Berlin, January 2006.

• Andreas Glausch and Wolfgang Reisig. On the Expressive Power of Unbounded-Nondeterministic Abstract State Machines. Informatik-Berichte 211, Humboldt-Universität zu Berlin, December 2006.

• Niels Lohmann, Peter Massuthe, and Karsten Wolf. Operating Guidelines for Finite-State Services. Informatik-Berichte 210, Humboldt-Universität zu Berlin, December 2006.

• Peter Massuthe and Karsten Wolf. An Algorithm for Matching Nondeterministic Services with Operating Guidelines. Informatik-Berichte 202, Humboldt-Universität zu Berlin, 2006.

• Daniela Weinberg. Reduction Rules for Interaction Graphs. Informatik-Berichte 198, Humboldt-Universität zu Berlin, February 2006.

Research Paper and Master Thesis

• Jan Bretschneider. Modellierung und Synthese eines geschwindigkeitsinvarianten GALS-Wrappers. Studienarbeit, Humboldt-Universität zu Berlin, February 2006.

• Dirk Fahland. Unfoldings for Timed Automata. Diplomarbeit, Humboldt-Universität zu Berlin, July 2006.

• Kathrin Kaschner. BDD-basiertes Matching von Services. Diplomarbeit, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, March 2006.

• Kathrin Kaschner. Repräsentation von Bedienungsanleitungen durch BDDs. Studienarbeit, Humboldt-Universität zu Berlin, January 2006.

• Jens Kleine. Abstrakte Petrinetzmuster für BPEL unter Bewahrung von Verklemmungen. Studienarbeit, Humboldt-Universität zu Berlin, October 2006.

• Peter Laufer. Grundlagen für die Anpassung der Petrinetz-Semantik an WS-BPEL 2.0. Studienarbeit, Humboldt-Universität zu Berlin, May 2006.

back to overview