Publikationen des Jahres 2004

Bücher und Konferenzbände

• Jordi Cortadella and Wolfgang Reisig, editors. Applications and Theory of Petri Nets 2004, 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings, volume 3099 of Lecture Notes in Computer Science, 2004. Springer-Verlag.

• Jörg Desel, Wolfgang Reisig, and Grzegorz Rozenberg, editors. Lectures on Concurrency and Petri Nets, Advances in Petri Nets 2003, volume 3098 of Lecture Notes in Computer Science, 2004. Springer-Verlag. Note: This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned.

Publikationen in Zeitschriften und Büchern

• Jose M. Vidal, Paul Buhler, and Christian Stahl. Multiagent Systems with Workflows. IEEE Internet Computing, 8(1): 76-82, February 2004.

• Farn Wang, Karsten Schmidt, Fang Yu, Geng-Dian Huang, and Bow-Yaw Wang. BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction. IEEE Transactions on Software Engineering (TSE), 30(6): 403-417, June 2004.

Konferenzbeiträge und Beiträge auf Workshops

• Adrianna Alexander. Composition of Temporal Logic Specifications. In Jordi Cortadella and Wolfgang Reisig, editors, Applications and Theory of Petri Nets 2004, 25th International Conference (ICATPN 2004), number 3099 of Lecture Notes in Computer Science, pages 98-116, 2004. Springer-Verlag.

• Adrianna Alexander and Wolfgang Reisig. Compositional Temporal Logic Based on Partial Order. In 11th International Symposium on Temporal Representation and Reasoning (TIME'04), pages 125-132, 2004. IEEE Computer Society.

• Axel Martens. Analysis and re-engineering of Web Services. In Proceedings of 6th International Conference on Enterprise Information Systems (ICEIS'04), 2004. Porto, Portugal.

• Karsten Schmidt. Automated Generation of a Progress Measure for the Sweep-Line Method. In Proc. 10th Conf. Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 2988 of Lecture Notes in Computer Science, pages 192-204, 2004. Springer-Verlag.

• Karsten Schmidt. Distributed Usability of Web Services. In Proceedings of the 11th Workshop on Algorithms and Tools for Petri Nets (AWPN 04), pages 19-24, 2004. Bericht tr-ri-04-251, Universität Paderborn.

• Karsten Schmidt and Christian Stahl. A Petri net semantic for BPEL4WS - validation and application. In Ekkart Kindler, editor, Proceedings of the 11th Workshop on Algorithms and Tools for Petri Nets (AWPN'04), pages 1-6, October 2004. Universität Paderborn.

Technische Berichte

• Adrianna Alexander and Wolfgang Reisig. Compositional Temporal Logic Based on Partial Order. Informatik-Berichte 185, Humboldt-Universität zu Berlin, December 2004.

• Axel Martens, Christian Stahl, Daniela Weinberg, Dirk Fahland, and Thomas Heidinger. Business Process Execution Language for Web services - Semantik, Analyse und Visualisierung. Informatik-Berichte 169, Humboldt-Universität zu Berlin, July 2004.

• Wolfgang Reisig. The computable kernel of Sequential Abstract State Machines. Informatik-Berichte 177, Humboldt-Universität zu Berlin, 2004. Note: To appear:.

• Wolfgang Reisig and A. Brade. ASM Models for Web Services. Informatik-Berichte 181, Humboldt-Universität zu Berlin, 2004.

Studien- und Diplomarbeiten

• Dirk Fahland. Ein Ansatz einer formalen Semantik der Business Process Execution Language for Web Services mit Abstract State Machines. Studienarbeit, Humboldt-Universität zu Berlin, August 2004.

• Carsten Frenkler. BPEL-Boxen. Ein Modell zur Integration von Transaktionskonzepten in Geschäftsprozesse mit Petrinetzen. Studienarbeit, Humboldt-Universität zu Berlin, February 2004.

• Yvonne Gabriel. Anbindung externer Werkzeuge an den Petrinetz-Kern am Beispiel des Integrated Net Analyser. Studienarbeit, Humboldt-Universität zu Berlin, April 2004.

• Lars Kuhtz. TLDA und Petrinetze. Studienarbeit, Humboldt-Universität zu Berlin, April 2004.

• Peter Massuthe. Verfeinerungstechniken der Temporal Logic of Distributed Actions TLDA. Diplomarbeit, Humboldt-Universität zu Berlin, March 2004.

• Christian Stahl. Transformation von BPEL4WS in Petrinetze. Diplomarbeit, Humboldt-Universität zu Berlin, April 2004.

• Daniela Weinberg. Analyse der Bedienbarkeit. Diplomarbeit, Humboldt-Universität zu Berlin, October 2004.

• Stephan Weißleder. Semantische Fundierung der Web-Service-Beschreibungssprache WSCI. Diplomarbeit, Humboldt-Universität zu Berlin, November 2004.

zurück zur Übersicht