Konferenzbeitr�ge und Beitr�ge auf Workshops

2011

Richard M�ller and Andreas Rogge-Solti. BPMN for Healthcare Processes. In Daniel Eichhorn, Agnes Koschmider, and Huayu Zhang, editors, Proceedings of the 3rd Central-European Workshop on Services and their Composition, ZEUS 2011, Karlsruhe, Germany, February 21--22, 2011, volume 705 of CEUR Workshop Proceedings, pages 65-72, 2011. CEUR-WS.org.
Jarungjit Parnjai. Filtering Undesirable Service Substitution Behaviors using Filtering Guidelines. In Daniel Eichhorn, Agnes Koschmider, and Huayu Zhang, editors, Proceedings of the 3rd Central-European Workshop on Services and their Composition, ZEUS 2011, Karlsruhe, Germany, February 21--22, 2011, volume 705 of CEUR Workshop Proceedings, pages 50-57, 2011. CEUR-WS.org.
Dieter Schuller and Jan S�rmeli. Dienstg�te-basierte Service-Selektion f�r Zustandsbehaftete Services. In Daniel Eichhorn, Agnes Koschmider, and Huayu Zhang, editors, Proceedings of the 3rd Central-European Workshop on Services and their Composition, ZEUS 2011, Karlsruhe, Germany, February 21--22, 2011, volume 705 of CEUR Workshop Proceedings, pages 42-49, 2011. CEUR-WS.org.
Jan S�rmeli. Towards deciding policy violation during service discovery. In Daniel Eichhorn, Agnes Koschmider, and Huayu Zhang, editors, Proceedings of the 3rd Central-European Workshop on Services and their Composition, ZEUS 2011, Karlsruhe, Germany, February 21--22, 2011, volume 705 of CEUR Workshop Proceedings, pages 34-41, 2011. CEUR-WS.org.
Christoph Wagner. A Data-Centric Approach to Deadlock Elimination in Business Processes. In Daniel Eichhorn, Agnes Koschmider, and Huayu Zhang, editors, Proceedings of the 3rd Central-European Workshop on Services and their Composition, ZEUS 2011, Karlsruhe, Germany, February 21--22, 2011, volume 705 of CEUR Workshop Proceedings, pages 104-111, 2011. CEUR-WS.org.

2010

Andreas Blass, Nachum Dershowitz, and Wolfgang Reisig. Yuri, Logic, and Computer Science. In Andreas Blass, Nachum Dershowitz, and Wolfgang Reisig, editors, Fields of Logic and Computation, volume 6300 of Lecture Notes in Computer Science, pages 1-48, 2010. Springer.
Dirk Fahland and Matthias Weidlich. Scenario-based process modeling with Greta. In Marcello La Rosa, editor, Proc. of BPM Demonstration Track 2010, Hoboken, USA, September 14-16, 2010, volume 615 of CEUR-WS.org, Hoboken, USA, September 2010.
Christian Gierds and Niels Lohmann. A Graphical User Interface for Service Adaptation. In Martin Schwarick and Monika Heiner, editors, Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2010, Cottbus, Germany, October 07-08, 2010, volume 643 of CEUR Workshop Proceedings, pages 136-141, October 2010. CEUR-WS.org.
Christian Gierds and Jan S�rmeli. Estimating costs of a service. In Christian Gierds and Jan S�rmeli, editors, Proceedings of the 2nd Central-European Workshop on Services and their Composition, ZEUS 2010, Berlin, Germany, February 25--26, 2010, volume 563 of CEUR Workshop Proceedings, pages 121-128, 2010. CEUR-WS.org.
Richard M�ller. On the Notion of Deadlocks in Open Nets. In Martin Schwarick and Monika Heiner, editors, Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2010, Cottbus, Germany, October 07-08, 2010, volume 643 of CEUR Workshop Proceedings, pages 130-135, October 2010. CEUR-WS.org.
Olivia Oanea, Jan S�rmeli, and Karsten Wolf. Service Discovery Using Communication Fingerprints. In Paul Maglio, Mathias Weske, Jian Yang, and Marcelo Fantinato, editors, 8th International Conference on Service Oriented Computing, ICSOC 2010, December 7-10, 2010, San Francisco, California, USA, Proceedings, volume 6470 of Lecture Notes in Computer Science, pages 612-618, December 2010. Springer-Verlag.
Jakob Pinggera, Stefan Zugal, Barbara Weber, Dirk Fahland, Matthias Weidlich, Jan Mendling, and Hajo Reijers. How the Structuring of Domain Knowledge Can Help Casual Process Modelers. In ER 2010, 2010. Note: Accepted.
Robert Pr�fer. On Optimizing the Sweep-Line Method. In Martin Schwarick and Monika Heiner, editors, Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2010, Cottbus, Germany, October 07-08, 2010, volume 643 of CEUR Workshop Proceedings, pages 16-21, October 2010. CEUR-WS.org.
Wolfgang Reisig. 50 Jahre Verhaltensmodellierung: Vom Modellieren mit Programmen zum Programmieren mit Modellen. In Modellierung, pages 13, 2010.
Christoph Wagner. Partner datenverarbeitender Services. In Martin Schwarick and Monika Heiner, editors, Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2010, Cottbus, Germany, October 07-08, 2010, volume 643 of CEUR Workshop Proceedings, pages 154-159, October 2010. CEUR-WS.org.
Matthias Weidlich, Stefan Zugal, Jakob Pinggera, Dirk Fahland, Barbara Weber, Hajo Reijers, and Jan Mendling. The Impact of Sequential and Circumstantial Changes on Process Models. In Bela Mutschler, Jan Recker, and Roel Wieringa, editors, Proc. ER-POIS 2010, held in conjunction with CAiSE 2010, volume 603 of CEUR-WS, pages 43-54, 2010.

2009

Albert Atserias, Johannes Klaus Fichte, and Marc Thurley. Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution. In SAT, pages 114-127, 2009.
Dirk Fahland. A scenario is a behavioral view - Orchestrating services by scenario integration. In Oliver Kopp and Niels Lohmann, editors, Services and their Composition, 1st Central-European Workshop on, ZEUS 2009, Stuttgart, Germany, March 2--3, 2009, volume 438 of CEUR Workshop Proceedings, pages 8-14, March 2009. CEUR-WS.org.
Dirk Fahland. Oclets - scenario-based modeling with Petri nets. In Giuliana Franceschinis and Karsten Wolf, editors, Proceedings of the 30th International Conference on Petri Nets and Other Models Of Concurrency, 22-26 May 2009, volume 5606 of Lecture Notes in Computer Science, Paris, France, pages 223-242, June 2009. Springer-Verlag. Note: (revised version).
Dirk Fahland, C�dric Favre, Barbara Jobstmann, Jana Koehler, Niels Lohmann, Hagen V�lzer, and Karsten Wolf. Instantaneous Soundness Checking of Industrial Business Process Models. In Umeshwar Dayal, Johann Eder, Jana Koehler, and Hajo Reijers, editors, Business Process Management, 7th International Conference, BPM 2009, Ulm, Germany, September 8-10, 2009, Proceedings, volume 5701 of Lecture Notes in Computer Science, September 2009. Springer-Verlag.
Dirk Fahland, Daniel L�bke, Jan Mendling, Hajo Reijers, Barbara Weber, Matthias Weidlich, and Stefan Zugal. Declarative versus Imperative Process Modeling Languages: The Issue of Understandability. In John Krogstie, Terry Halpin, and Erik Proper, editors, Proceedings of the 14th International Conference on Exploring Modeling Methods in Systems Analysis and Design (EMMSAD'09), volume 29 of Lecture Notes in Business Information Processing, Amsterdam, The Netherlands, pages 353-366, June 2009. Springer-Verlag.
Dirk Fahland, Jan Mendling, Hajo Reijers, Barbara Weber, Matthias Weidlich, and Stefan Zugal. Declarative vs. Imperative Process Modeling Languages: The Issue of Maintainability. In Stefanie Rinderle-Ma, Shazia Wasim Sadiq, and Frank Leymann, editors, Business Process Management Workshops, BPM 2009 International Workshops, Ulm, Germany, September 7, 2009. Revised Papers, volume 43 of Lecture Notes in Business Information Processing, Ulm, Germany, pages 477-488, September 2009. Springer.
Nannette Liske, Niels Lohmann, Christian Stahl, and Karsten Wolf. Another Approach to Service Instance Migration. In Luciano Baresi, Chi-Hung Chi, and Jun Suzuki, editors, Service-Oriented Computing - ICSOC 2009, 7th International Conference, Stockholm, Sweden, November 24-27, 2009. Proceedings, Lecture Notes in Computer Science, pages 607-621, November 2009. Springer-Verlag.
Jarungjit Parnji, Christian Stahl, and Karsten Wolf. A finite representation of all substitutable services and its applications. In Oliver Kopp and Niels Lohmann, editors, Services and their Composition, 1st Central-European Workshop on, ZEUS 2009, Stuttgart, Germany, March 2--3, 2009, volume 438 of CEUR Workshop Proceedings, pages 8-14, March 2009. CEUR-WS.org.
Wolfgang Reisig. Simple Composition of Nets. In Giuliana Franceschinis and Karsten Wolf, editors, Proceedings of the 30th International Conference on Petri Nets and Other Models Of Concurrency, volume 5606 of Lecture Notes in Computer Science, Paris, France, pages 23-42, June 2009. Springer-Verlag.
Jan S�rmeli. Profiling Services with Static Analysis. In AWPN, volume 501 of CEUR Workshop Proceedings, pages 35-40, 2009. CEUR-WS.org.
Jan S�rmeli and Daniela Weinberg. Creating Message Profiles of Open Nets. In Oliver Kopp and Niels Lohmann, editors, Proceedings of the 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2--3, 2009, volume 438 of CEUR Workshop Proceedings, pages 74-80, 2009. CEUR-WS.org.
Karsten Wolf, Christian Stahl, Janine Ott, and Robert Danitz. Verifying Livelock Freedom in an SOA Scenario. In Stephen Edwards and Walter Vogler, editors, Proceedings of the Ninth International Conference on Application of Concurrency to System Design (ACSD'09), Augsburg, Germany, pages 168-177, July 2009. IEEE Computer Society.
Wil M. P. van der Aalst, Arjan J. Mooij, Christian Stahl, and Karsten Wolf. Service Interaction: Patterns, Formalization, and Analysis. In Marco Bernardo, Luca Padovani, and Gianluigi Zavattaro, editors, Formal Methods for Web Services (SFM 2009), volume 5569, pages 42--88, April 2009. Springer-Verlag.

2008

Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, and Karsten Wolf. From Public Views to Private Views -- Correctness-by-Design for Services. In Marlon Dumas and Reiko Heckel, editors, Web Services and Formal Methods, Forth International Workshop, WS-FM 2007 Brisbane, Australia, September 28-29, 2007, Proceedings, volume 4937 of Lecture Notes in Computer Science, pages 139-153, 2008. Springer-Verlag.
Dirk Fahland. Adaptive und Selbststabilisierende Workflows. In Malte Diehl, Henrik Lipskoch, Roland Meyer, and Christian Storm, editors, Proceedings des gemeinsamen Workshops der Graduiertenkollegs, Trustworthy Software Systems, Berlin, pages 55--56, 2008. Gito-Verlag.
Dirk Fahland. Oclets -- Scenario-Based Modeling with Petri Nets. In Niels Lohmann and Karsten Wolf, editors, Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2008, Rostock, Germany, September 26--27, 2008, volume 380 of CEUR Workshop Proceedings, pages 1-6, September 2008. CEUR-WS.org.
Dirk Fahland and Heiko Woith. Towards Process Models for Disaster Response. In Business Process Management Workshops, International Workshop on Process Management for Highly Dynamic and Pervasive Scenarios (PM4HDPS), co-located with 6th International Conference on Business Process Management (BPM'08), volume 17 of Lecture Notes in Business Information Processing, Milan, Italy, pages 254-265, September 2008. Springer.
Christian Gierds. Finding Cost-Efficient Adapters. In Niels Lohmann and Karsten Wolf, editors, Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2008, Rostock, Germany, September 26--27, 2008, volume 380 of CEUR Workshop Proceedings, pages 37-42, September 2008. CEUR-WS.org.
Dieter K�nig, Niels Lohmann, Simon Moser, Christian Stahl, and Karsten Wolf. Extending the Compatibility Notion for Abstract WS-BPEL Processes. In Wei-Ying Ma, Andrew Tomkins, and Xiaodong Zhang, editors, Proceedings of the 17th International Conference on World Wide Web, WWW 2008, Beijing, China, April 21--25, 2008, pages 785-794, April 2008. ACM.
Niels Lohmann. A Feature-Complete Petri Net Semantics for WS-BPEL 2.0. In Marlon Dumas and Reiko Heckel, editors, Web Services and Formal Methods, Forth International Workshop, WS-FM 2007 Brisbane, Australia, September 28-29, 2007, Proceedings, volume 4937 of Lecture Notes in Computer Science, pages 77-91, 2008. Springer-Verlag.
Niels Lohmann. Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance. In Marlon Dumas and Manfred Reichert, editors, Business Process Management, 6th International Conference, BPM 2008, Milan, Italy, September 1--4, 2008, Proceedings, volume 5240 of Lecture Notes in Computer Science, pages 132-147, September 2008. Springer-Verlag.
Niels Lohmann. Decompositional Calculation of Operating Guidelines Using Free Choice Conflicts. In Niels Lohmann and Karsten Wolf, editors, Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2008, Rostock, Germany, September 26--27, 2008, volume 380 of CEUR Workshop Proceedings, pages 63-68, September 2008. CEUR-WS.org.
Niels Lohmann. Why does my service have no partners?. In Roberto Bruni and Karsten Wolf, editors, Web Services and Formal Methods, Fifth International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings, Lecture Notes in Computer Science, September 2008. Springer-Verlag.
Niels Lohmann and Jens Kleine. Fully-automatic Translation of Open Workflow Net Models into Human-readable Abstract BPEL Processes. In Thomas K�hne, Wolfgang Reisig, and Friedrich Steimann, editors, Modellierung 2008, 12.-14. M�rz 2008, Berlin, Proceedings, volume P-127 of Lecture Notes in Informatics (LNI), pages 57-72, March 2008. GI.
Niels Lohmann, Oliver Kopp, Frank Leymann, and Wolfgang Reisig. Analyzing BPEL4Chor: Verification and Participant Synthesis. In Marlon Dumas and Reiko Heckel, editors, Web Services and Formal Methods, Forth International Workshop, WS-FM 2007 Brisbane, Australia, September 28-29, 2007, Proceedings, volume 4937 of Lecture Notes in Computer Science, pages 46-60, 2008. Springer-Verlag.
Peter Massuthe and Daniela Weinberg. Fiona: A Tool to Analyze Interacting Open Nets. In Niels Lohmann and Karsten Wolf, editors, Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2008, Rostock, Germany, September 26--27, 2008, volume 380 of CEUR Workshop Proceedings, pages 99-104, September 2008. CEUR-WS.org.
Wolfgang Reisig. Towards a Theory of Services. In Guenther Fliedl (Eds.) Roland Kaschek, Christian Kop, Claudia Steinberger, editor, Information Systems and e-Business Technologies, 2nd International United Information Systems Conference, UNISCON 2008, Klagenfurt, Austria, pages 22-25, April 2008. Springer-Verlag.
Chistian Stahl and Karsten Wolf. An Approach to Tackle Livelock-Freedom in SOA. In Niels Lohmann and Karsten Wolf, editors, Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2008, Rostock, Germany, September 26--27, 2008, volume 380 of CEUR Workshop Proceedings, pages 69-74, September 2008. CEUR-WS.org.
Christian Stahl and Karsten Wolf. Covering Places and Transitions in Open Nets. In Marlon Dumas and Manfred Reichert, editors, Business Process Management, 6th International Conference, BPM 2008, Milan, Italy, September 1-4, 2008, Proceedings, volume 5240 of Lecture Notes in Computer Science, pages 116-131, September 2008. Springer-Verlag.
Daniela Weinberg. Efficient Controllability Analysis of Open Nets. In Roberto Bruni and Karsten Wolf, editors, Web Services and Formal Methods, Fifth International Workshop, WS-FM 2008, Milan, Italy, September 4--5, 2008, Proceedings, Lecture Notes in Computer Science, September 2008. Springer-Verlag.

2007

Dirk Fahland. A Formal Approach to Adaptive Processes using Scenario-based Concepts.. In Kees van Hee, Wolfgang Reisig, and Karsten Wolf, editors, Proceedings of the Workshop on Formal Approaches to Business Processes and Web Services (FABPWS'07), Siedlce, Poland, pages 71--85, June 2007. University of Podlasie.
Dirk Fahland. Modeling and Verifying Declarative Workflows. In Dagstuhl ''zehn plus eins'', Aachen, pages 135, 2007. Verlagshaus Mainz.
Dirk Fahland. Synthesizing Petri nets from LTL specifications - An engineering approach. In Stephan Philippi and Alexander Pinl, editors, Proceedings 14.Workshop Algorithmen und Werkzeuge f�r Petrinetze (AWPN), Arbeitsbericht aus dem Fach Informatik, Nr. 25/2007, Universit�t Koblenz-Landau, D, pages 69--74, September 2007.
Dirk Fahland. Towards Analyzing Declarative Workflows. In Jana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, and Martin Wirsing, editors, Autonomous and Adaptive Web Services, number 07061 of Dagstuhl Seminar Proceedings, 2007. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany.
Dirk Fahland, Timo M. Gl��er, Bastian Quilitz, Stephan Wei�leder, and Ulf Leser. HUODINI - Flexible Information Integration for Disaster Management. In 4th International Conference on Information Systems for Crisis Response and Management (ISCRAM), Delft, NL, 2007. Note: Revised version submitted to a special issue of IEEE DSonline.
Andreas Glausch. A Semantic Characterization of Elementary Wide-Step ASMs. In Proceedings of the 14th International ASM Workshop, June 2007.
Andreas Glausch and Wolfgang Reisig. A Semantic Characterization of Unbounded-Nondeterministic ASMs. In Proceedings of the 2nd Conference on Algebra and Coalgebra in Computer Science, volume 4624 of Lecture Notes in Computer Science, August 2007.
Andreas Glausch and Wolfgang Reisig. An ASM-Characterization of a Class of Distributed Algorithms. In Proceedings of the Dagstuhl Seminar on Rigorous Methods for Software Construction and Analysis, Festschrift volume of Lecture Notes in Computer Science, 2007. Springer. Note: To appear.
Niels Lohmann. A Feature-Complete Petri Net Semantics for WS-BPEL 2.0. In Kees van Hee, Wolfgang Reisig, and Karsten Wolf, editors, Proceedings of the Workshop on Formal Approaches to Business Processes and Web Services (FABPWS'07), pages 21-35, June 2007. University of Podlasie.
Niels Lohmann, Peter Massuthe, and Karsten Wolf. Behavioral Constraints for Services. In Gustavo Alonso, Peter Dadam, and Michael Rosemann, editors, Business Process Management, 5th International Conference, BPM 2007, Brisbane, Australia, September 24-28, 2007, Proceedings, volume 4714 of Lecture Notes in Computer Science, pages 271-287, September 2007. Springer-Verlag.
Niels Lohmann, Peter Massuthe, and Karsten Wolf. Operating Guidelines for Finite-State Services. In Jetty Kleijn and Alex Yakovlev, editors, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings, volume 4546 of Lecture Notes in Computer Science, pages 321-341, 2007. Springer-Verlag.
Simon Moser, Axel Martens, Katharina G�rlach, Wolfram Amme, and Artur Godlinski. Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis. In IEEE International Conference on Services Computing (SCC 2007), pages 98-105, 2007.
Wolfgang Reisig, Jan Bretschneider, Dirk Fahland, Niels Lohmann, Peter Massuthe, and Christian Stahl. Services as a Paradigm of Computation. In Cliff B. Jones, Zhiming Liu, and Jim Woodcock, editors, Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjorner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007, volume 4700 of Lecture Notes in Computer Science, pages 521-538, September 2007. Springer-Verlag.

2006

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.

2005

Dirk Fahland and Wolfgang Reisig. ASM-based semantics for BPEL: The negative Control Flow. In Dani�le Beauquier, Egon B�rger, and Anatol Slissenko, editors, Proceedings of the 12th International Workshop on Abstract State Machines (ASM'05), pages 131-151, March 2005. Paris XII.
Carsten Frenkler and Karsten Schmidt. Modellierung und Analyse transaktionaler Gesch�ftsprozesse. In Karsten Schmidt and Christian Stahl, editors, 12. Workshop Algorithmen und Werkzeuge f�r Petrinetze (AWPN 2005), Proceedings, pages 72-77, September 2005. Humboldt-Universit�t zu Berlin.
Andreas Glausch. Eine Charakterisierung einfacher Petrinetz-Schemata. In Karsten Schmidt and Christian Stahl, editors, 12. Workshop Algorithmen und Werkzeuge f�r Petrinetze (AWPN 2005), Proceedings, pages 1-6, September 2005. Humboldt-Universit�t zu Berlin.
Eckhard Grass, Frank Winkler, Milos Krstic, Alexandra Julius, Christian Stahl, and Maxim Piz. Enhanced GALS Techniques for Datapath Applications. In Vassilis Paliouras, Johan Vounckx, and Diederik Verkest, editors, Integrated Circuit and System Design: 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 20-23, 2005, volume 3728 of Lecture Notes in Computer Science, pages 581-590, August 2005. Springer-Verlag.
Sebastian Hinz, Karsten Schmidt, and Christian Stahl. Transforming BPEL to Petri Nets. In Wil M. P. van der Aalst, B. Benatallah, F. Casati, and F. Curbera, editors, Proceedings of the Third International Conference on Business Process Management (BPM 2005), volume 3649 of Lecture Notes in Computer Science, Nancy, France, pages 220-235, September 2005. Springer-Verlag.
Milos Krstic, Eckhard Grass, and Christian Stahl. Request-Driven GALS Technique for Wireless Communication System. In Proceedings of the 11th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2005), New York, NY, USA, pages 76-85, March 2005. IEEE Computer Society.
Axel Martens. Analyzing Web Service based Business Processes. In Maura Cerioli, editor, Proceedings of Intl. Conference on Fundamental Approaches to Software Engineering (FASE'05), Part of the 2005 European Joint Conferences on Theory and Practice of Software (ETAPS'05), volume 3442 of Lecture Notes in Computer Science, Edinburgh, Scotland, April 2005. Springer-Verlag.
Axel Martens. Consistency between Executable and Abstract Processes. In Proceedings of Intl. IEEE Conference on e-Technology, e-Commerce, and e-Services (EEE'05), Hong Kong, March 2005. IEEE Computer Society Press.
Axel Martens. Process Oriented Discovery of Business Partners. In Proceedings of 7th Intl. Conference on Enterprise Information Systems (ICEIS'05), Vol 3, Miami, Florida, May 2005. INSTICC.
Axel Martens. Simulation and Equivalence between BPEL Process Models. In Proceedings of the Design, Analysis, and Simulation of Distributed Systems Symposium (DASD'05), Part of the 2005 Spring Simulation Multiconference (SpringSim'05), San Diego, California, April 2005.
Peter Massuthe, Wolfgang Reisig, and Karsten Schmidt. An Operating Guideline Approach to the SOA. In 2nd South-East European Workshop on Formal Methods 2005 (SEEFM05), Ohrid, Republic of Macedonia, 2005.
Peter Massuthe and Karsten Schmidt. Operating Guidelines - an Automata-Theoretic Foundation for the Service-Oriented Architecture. In Kai-Yuan Cai, Atsushi Ohnishi, and M.F. Lau, editors, Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), Melbourne, Australia, pages 452-457, September 2005. IEEE Computer Society.
Peter Massuthe and Karsten Schmidt. Operating Guidelines for Services. In Karsten Schmidt and Christian Stahl, editors, 12. Workshop Algorithmen und Werkzeuge f�r Petrinetze (AWPN 2005), Proceedings, pages 78-83, September 2005. Humboldt-Universit�t zu Berlin.
Wolfgang Reisig. Modeling- and Analysis Techniques for Web Services and Business Processes. In Martin Steffen and Gianluigi Zavattaro, editors, Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings, volume 3535 of Lecture Notes in Computer Science, pages 243-258, May 2005. Springer Verlag.
Wolfgang Reisig. On the Expressive Power of Petri Net Schemata. In Gianfranco Ciardo and Philippe Darondeau, editors, Applications and Theory of Petri Nets 2005: 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings, volume 3536 of Lecture Notes in Computer Science, pages 349-364, May 2005. Springer Verlag.
Karsten Schmidt. Controllability of Open Workflow Nets. In J�rg Desel and Ulrich Frank, editors, Enterprise Modelling and Information Systems Architectures, volume P-75 of Lecture Notes in Informatics (LNI), Bonn, pages 236-249, 2005. Entwicklungsmethoden f�r Informationssysteme und deren Anwendung (EMISA, RWTH Aachen), K�llen Druck+Verlag GmbH.
Christian Stahl, Wolfgang Reisig, and Milos Krstic. Hazard Detection in a GALS Wrapper: A Case Study. In J�rg Desel and Y. Watanabe, editors, Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD'05), St. Malo, France, pages 234-243, June 2005. IEEE Computer Society.
Ingo St�rmer, Daniela Weinberg, and Mirko Conrad. Overview of Existing Safeguarding Techniques for Automatically Generated Code. In SEAS '05: Proceedings of the Second International Workshop on Software Engineering for Automotive Systems, New York, NY, USA, pages 1-6, 2005. ACM Press.
Daniela Weinberg and Karsten Schmidt. Reduction Rules for Interaction Graphs. In Karsten Schmidt and Christian Stahl, editors, 12. Workshop Algorithmen und Werkzeuge f�r Petrinetze (AWPN 2005), Proceedings, pages 60-65, September 2005. Humboldt-Universit�t zu Berlin.

2004

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.

2003

Adrianna Alexander and Wolfgang Reisig. Logic of Involved Variables - System Specification with Temporal Logic of Distributed Actions. In Proc. of the 3rd International Conference on Application of Concurrency to System Design (ACSD'03), Guimaraes, Portugal, pages 167-176, June 2003. IEEE Computer Society.
Axel Martens. Compatibility of Web Services. In 10th Workshop on Algorithms and Tools for Petri Nets (AWPN 2003), Eichst�tt, Germany, pages 26.-27, September 2003.
Axel Martens. On Usability of Web Services. In Coral Calero, Oscar D�az, and Mario Piattini, editors, Proceedings of 1st Web Services Quality Workshop (WQW 2003), Rome, Italy, 2003.
Wolfgang Reisig. The Computable Kernel of ASM. In Egon B�rger, Angelo Gargantini, and Elvinia Riccobene, editors, Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, volume 2589 of Lecture Notes in Computer Science, pages 421-422, 2003.
Karsten Schmidt. Using Petri Net Invariants in State Space Construction. In Hubert Garavel and John Hatcliff, editors, Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2003), 9th International Conference, Part of ETAPS 2003, volume 2619 of Lecture Notes in Computer Science, Warsaw, Poland, 2003.
Herbert Weber, Hartmut Ehrig, Wolfgang Reisig, Alexander Borusan, Sabine Lembke, Juliane Dehnert, Michael Weber, Axel Martens, Julia Padberg, Claudia Ermel, and A. Qemali. The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY. In Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, and Herbert Weber, editors, Petri Net Technology for Communication-Based Systems, volume 2472 of Lecture Notes in Computer Science, pages 1-21, 2003. Springer-Verlag.
Michael Weber and Ekkart Kindler. The Petri Net Kernel. In Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, and Herbert Weber, editors, Petri Net Technology for Communication-Based Systems, volume 2472 of Lecture Notes in Computer Science, pages 109-124, 2003. Springer-Verlag.
Michael Weber and Ekkart Kindler. The Petri Net Markup Language. In Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, and Herbert Weber, editors, Petri Net Technology for Communication-Based Systems, volume 2472 of Lecture Notes in Computer Science, pages 124-144, 2003. Springer-Verlag.

2002

Wolfgang Reisig. Teleteaching-Vorlesung 'Verteilte Systeme: Formale Methoden - Anwendungen - Werkzeuge'. In Sigrid E. Schubert, Bernd Reusch, and Norbert Jesse, editors, Informatik bewegt: Informatik 2002 - 32. Jahrestagung der Gesellschaft f�r Informatik e.v. (GI), volume 19 of LNI, pages 263-269, 2002. GI.
Farn Wang and Karsten Schmidt. Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures. In Doron Peled and Moshe Y. Vardi, editors, Proc. Int. Conf. Formal Techniques for Networked and Distributed Systems (FORTE 2002), volume 2529 of Lecture Notes in Computer Science, pages 50-64, 2002. Springer-Verlag.

2001

Claudia Ermel and Michael Weber. Implementation of Parameterized Net Classes with the Petri Net Kernel of the Petri Net Baukasten. In Hartmut Ehrig, Gabriel Juhas, Julia Padberg, and Grzegorz Rozenberg, editors, Unifying Petri Nets, Advances in Petri Nets, volume 2128 of Lecture Notes in Computer Science, pages 79-102, 2001. Springer-Verlag.
Ekkart Kindler and Michael Weber. A universal module Concept for Petri nets. In Gabriel Juhas und Robert Lorenz, editor, Proceedings des 8. Workshops AWPN, pages 7-12, October 2001. Katholische Universit�t Eichst�tt.
Axel Martens. Modeling Workflow in Virtual Enterprises. In Herbert Weber, Hartmut Ehrig, and Wolfgang Reisig, editors, Proc. of 2nd Int. Coll. on Petri Net Technologies for Modelling Communication Based Systems, pages 157-162, 2001. DFG Research Group Petri Net Technology.
Sibylle Peuker. Property Preserving Transition Refinement with Concurrent Runs: An Example. In 2nd International Conference on Application of Concurrency to System Design (ACSD 2001), pages 77-86, 2001. IEEE Computer Society.
Wolfgang Reisig. Modelling of learning process, using methodology of System Petri Nets. In Tagungsband der International Scientific Conference MANAGEMENT INFORMATION SYSTEMS, Tibilisi, June 2001.
Karsten Schmidt. Using invariants for state space reduction. In Workshop on Concurrency, Specification and Programming, Warsaw, 2001.
Michael Weber. Die Petrinetz-Schaltregel in 4 Phasen - Zusammenfassung. In Gabriel Juh�s and Robert Lorenz, editors, 8. Workshop Algorithmen und Werkzeuge f�r Petrinetze, October 2001. Katholische Universit�t Eichst�tt.
Michael Weber. The new Petri Net Kernel. In Tool Demonstrations, 22nd ICATPN, Newcastle upon Tyne, U.K., June 2001.
Michael Weber. Tool Support for Various Types of Petri Nets. In Herberg Weber, Hartmut Ehrig, and Wolfgang Reisig, editors, Proc. of 2nd Int. Coll. on Petri Net Technologies for Modelling Communication Based Systems, pages 171-178, September 2001. DFG Research Group Petri Net Technology.

2000

Matthias J�ngel, Ekkard Kindler, and Michael Weber. The Petri Net Markup Language. In S. Philippi, editor, 7. Workshop Algorithmen und Werkzeuge f�r Petrinetze, Fachberichte Informatik 7/2000, pages 47-52, June 2000. Universit�t Koblenz-Landau. Note: Also in: Petri Net Newsletter 59, pages 24-29, October 2000.
Matthias J�ngel, Ekkard Kindler, and Michael Weber. Towards a Generic Interchange Format for Petri Nets. In Remi Bastide, Jonathan Billington, Ekkard Kindler, Fabrice Kordon, and Kjeld H. Mortensen, editors, Meeting on XML/SGML based Interchange Formats for Petri Nets, 21. ICATPN, �rhus, D�nemark, pages 1-5, June 2000.
Ekkard Kindler. Consistency, Causality, Petri Nets, and Automata. In Hans-Dieter Burkhard, Ludwik Czaja, Andrzej Skowron, and Peter H. Starke, editors, Workshop Concurrency, Specification & Programming (CS&P 2000), pages 93-104, October 2000.
Ekkard Kindler. Serializability, concurrency control and replication control. In G. Saake, K. Schwarz, and C. T�rker, editors, Transactions and Database Dynamics, Proceedings of the 8th International Workshop on Foundations of Models and Languages for Data and Objects, Selected Papers, volume 1773 of Lecture Notes in Computer Science, pages 26-44, 2000. Springer-Verlag.
Ekkard Kindler, Axel Martens, and Wolfgang Reisig. Inter-operability of Workshop Applications - Local Criteria for Global Soundness. In Wil M. P. van der Aalst, J�rg Desel, and Andreas Oberweis, editors, Business Process Management, volume 1806 of Lecture Notes in Computer Science, pages 235-253, 2000. Springer-Verlag.
Ekkard Kindler and Michael Weber. The Petri Net Kernel. In Kjeld H�yer Mortensen, editor, Tool Demonstrations, 21. ICATPN, �rhus, Denmark, pages 71-75, June 2000.
Wolfgang Reisig. The Linear Theory of Multiset Based Dynamic Systems. In Cristian Calude, Gheorghe Paun, Grzegorz Rozenberg, and Arto Salomaa, editors, Workshop on Multiset Processing (WMP 2000), volume 2235 of Lecture Notes in Computer Science, pages 287-298, 2000. Springer-Verlag.
Wolfgang Reisig. Towards an ASM Thesis for Unconventional Algorithms. In Yuri Gurevich, Philipp W. Kutter, Martin Odersky, and Lothar Thiele, editors, Abstract State Machines, volume 1912 of Lecture Notes in Computer Science, pages 112-130, 2000. Springer-Verlag.
Karsten Schmidt. Integrating Low Level Symmetries into Reachability Analysis. In Susanne Graf and Michael I. Schwartzbach, editors, Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, volume 1785 of Lecture Notes in Computer Science, pages 315-330, 2000. Springer-Verlag.
Karsten Schmidt. LoLA: A Low Level Analyser. In Mogens Nielsen and Dan Simpson, editors, Application and Theory of Petri Nets, 21st International Conference (ICATPN 2000), volume 1825 of Lecture Notes in Computer Science, pages 465-474, June 2000. Springer-Verlag.
Karsten Schmidt. Narrowing the state space of Petri nets using the state equation. In Workshop on Concurrency, Specification and Programming, Berlin, 2000.

1999

Thomas Baar, Ekkart Kindler, and Hagen V�lzer. Verifying Intuition - ILF Checks DAWN Proofs. In Application and Theory of Petri Nets, 20th International Conference, ICATPN '99, Proceedings, volume 1639 of Lecture Notes in Computer Science, pages 404-424, 1999. Springer-Verlag. Note: Also in: Informatik-Bericht der Humboldt-Universit�t zu Berlin, Nr. 119, March 1999.
Ekkart Kindler. Serializability, concurrency control and replication control. In G. Saake, K. Schwarz, and C. T�rker, editors, Transactions and Database Dynamics, Proceedings of the Eighth International Workshop on Foundations of Models and Languages for Data and Objects, pages 98-114, September 1999.
Ekkart Kindler, Tobias Vesper, and Michael Weber. Application-oriented verification scenarios. In Hartmut Ehrig, Wolfgang Reisig, and Herbert Weber, editors, Colloquium on Petri Net Technologies for Modelling Communication Based Systems, pages 279-297, October 1999. Fraunhofer Gesellschaft ISST.
Ekkart Kindler and Michael Weber. Der Petrinetz-Kern: Ein �berblick. In E. Schnieder, editor, Entwicklung und Betrieb komplexer Automatisierungssysteme, 6. Fachtagung, Band II, pages 641-642, May 1999.
Ekkart Kindler and Michael Weber. The Petri Net Kernel - An Infrastructure for Building Petri Net Tools. In 20th International Conference on Application and Theory of Petri Nets - Petri Net Tool Presentations, pages 10-19, June 1999. College of William and Mary, Williamsburg, Virginia, USA.
Axel Martens and Ekkart Kindler. Szenarios - Lokale Kriterien f�r globale Korrektheit. In K. Spies and B. Sch�tz, editors, Formale Beschreibungstechniken f�r verteilte Systeme, 9. GI/ITG Fachgespr�chs, June 1999. Utz Verlag, M�nchen.
Karsten Schmidt. LoLA wird Pfadfinder. In Workshop Algorithmen und Werkzeuge f�r Petrinetze, Frankfurt, pages 48-53, 1999.
Karsten Schmidt. Stubborn Sets for Modelchecking the EF/AG-Fragment of CTL. In Workshop on Concurrency, Specification and Programming, Warsaw, pages 204-213, 1999.
Karsten Schmidt. Stubborn Sets for Standard Properties. In Application and Theory of Petri Nets, 20th International Conference, ICATPN '99, Proceedings, volume 1639 of Lecture Notes in Computer Science, pages 46-65, 1999. Springer-Verlag.
Tobias Vesper and Michael Weber. Automatisches Verteiltes R�cksetzen. In K. Spies and B. Sch�tz, editors, Formale Beschreibungstechniken f�r verteilte Systeme, 9. GI/ITG Fachgespr�chs, June 1999. Utz Verlag, M�nchen.
Michael Weber. Der Petrinetz-W�rfel im Petrinetz-Kern. In A. Oberweis J. Desel, editor, 6. Workshop Algorithmen und Werkzeuge f�r Petrinetze, pages 69-74, October 1999. J. W. Goethe-Universit�t Frankfurt/Main, Institut f�r Wirtschaftsinformatik.
Michael Weber. The Tool Developer View of the 'Petri Net Baukasten'. In Hartmut Ehrig, Wolfgang Reisig, and Herbert Weber, editors, Colloquium on Petri Net Technologies for Modelling Communication Based Systems, pages 267-277, October 1999. Fraunhofer Gesellschaft ISST.

1998

J�rg Desel and Ekkart Kindler. Proving Correctness of Distributed Algorithms Using High-Level Petri Nets - A Case Study. In First International Conference on Application of Concurrency to System Design (ACSD'98), Fukushima, Japan, pages 177-186, March 1998. IEEE Computer Society Press.
J�rg Desel and Wolfgang Reisig. Place/Transition Petri Nets.. In Wolfgang Reisig and Grzegorz Rozenberg, editors, Petri Nets, volume 1491 of Lecture Notes in Computer Science, pages 122-173, November 1998. Springer.
Ekkart Kindler. The interplay of transaction models and memory models. In M. Tamer �zsu, Asuman Dogac, and �zg�r Ulusoy, editors, Proceedings of the Third International Conference on Integrated Design and Process Technology, volume 2 of IDPT, pages 39-46, July 1998. Society for Design and Process Science.
Ekkart Kindler and Tobias Vesper. ESTL: A Temporal Logic for Events and States. In J�rg Desel and Manuel Silva, editors, Application and Theory of Petri Nets, 19th International Conference, ICATPN '98, Proceedings, volume 1420 of Lecture Notes in Computer Science, pages 365-384, June 1998. Springer-Verlag.
Ekkart Kindler and Hagen V�lzer. Flexibility in Algebraic Nets. In J�rg Desel and Manuel Silva, editors, Application and Theory of Petri Nets, 19th International Conference, ICATPN '98, Proceedings, volume 1420 of Lecture Notes in Computer Science, pages 345-364, June 1998. Springer-Verlag.
Klaus-Peter Neuendorf, Karsten Schmidt, Dimitris Kiritsis, and Paul Xirouchakis. Workflow Modelling and Analysis with Chameleon Nets. In H.-D. Burkhard, L. Czaja, and P. Starke, editors, Workshop On Concurrency, Specification and Programming, pages 156-161, September 1998. Humboldt-Universit�t zu Berlin. Note: Appeared as Informatik-Berichte Nr. 110.
Wolfgang Reisig. Distributed Algorithms: Modeling and Analysis with Petri Nets. In Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on, volume 1, pages 38-43, October 1998.
Karsten Schmidt. Goal Oriented Stubborn Sets. In H.-D. Burkhard, L. Czaja, and P. Starke, editors, Workshop On Concurrency, Specification and Programming, pages 204-213, September 1998. Humboldt-Universit�t zu Berlin. Note: Appeared as Informatik-Berichte Nr. 110.
Karsten Schmidt. Symmetrien in der Erreichbarkeitsanalyse. In J. Desel, P. Kemper, E. Kindler, and A. Oberweis, editors, Forschungsbericht, No. 694: 5. Workshop Algorithmen und Werkzeuge f�r Petrinetze, pages 101-106, 1998. Universit�t Dortmund, Fachbereich Informatik.

1997

Claudia Ermel, Magdalena Gajewski, Tobias Vesper, and Michael Weber. Verifikation strukturierter Netze. In Hartmut Ehrig, Wolfgang Reisig, and Herbert Weber, editors, Move-On-Workshop der DFG-Forschergruppe 'Petri Net Technology', number 97-21 of Forschungsberichte des Fachbereichs Informatik, April 1997. Technische Universit�t Berlin.
Olaf Fricke, Alexander Borusan, Tobias Vesper, and Ekkard Kindler. Verifikation im Vorgehensmodell anhand eines Beispiels. In Hartmut Ehrig, Wolfgang Reisig, and Herbert Weber, editors, Move-On-Workshop der DFG-Forschergruppe 'Petri Net Technology', number 97-21 of Forschungsberichte des Fachbereichs Informatik, April 1997. Technische Universit�t Berlin.
Ekkard Kindler. A compositional partial order semantics for Petri net components. In Pierre Az�ma and Gianfranco Balbo, editors, Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN '97, Proceedings, volume 1248 of Lecture Notes in Computer Science, pages 235-252, June 1997. Springer-Verlag.
Ekkard Kindler. Der Petrinetz-Kern: Ein Traum wird wahr. In Hartmut Ehrig, Wolfgang Reisig, and Herbert Weber, editors, Move-On-Workshop der DFG-Forschergruppe 'Petri Net Technology', number 97-21 of Forschungsberichte des Fachbereichs Informatik, April 1997. Technische Universit�t Berlin.
Ekkard Kindler and Wolfgang Reisig. Verification of Distributed Algorithms with Algebraic Petri Nets. In Christian Freksa, Matthias Jantzen, and R�diger Valk, editors, Foundations of Computer Science: Potential - Theory - Cognition, volume 1337 of Lecture Notes in Computer Science, pages 261-270, 1997. Springer-Verlag.
Ekkart Kindler and Tobias Vesper. A temporal logic for events and states in Petri nets. In B. Farwer, D. Moldt, and M.-O. Stehr, editors, Petri Nets in System Engineering (PNSE'97) Modelling, Verification, and Validation, number FBI-HH-B-205/97 of Fachberichte, pages 101-110, September 1997. Universit�t Hamburg, Fachbereich Informatik.
Sibylle Peuker. Invariant property preserving extensions of elementary Petri nets. In Hartmut Ehrig, Wolfgang Reisig, and Herbert Weber, editors, Move-On-Workshop der DFG-Forschergruppe 'Petri Net Technology', number 97-21 of Forschungsberichte des Fachbereichs Informatik, April 1997. Technische Universit�t Berlin.
Wolfgang Reisig. Interleaved progress, concurrent progress, and local progress. In D. A. Peled, V. R. Pratt, and G. J. Holzmann, editors, Proceedings of the DIMACS workshop on Partial order methods in verification (POMIV '96), volume 29, New York, NY, USA, pages 99-115, 1997. AMS Press, Inc..
Wolfgang Reisig. Verteilte Algorithmen: Nutzen sie der Forschergruppe?. In Hartmut Ehrig, Wolfgang Reisig, and Herbert Weber, editors, Move-On-Workshop der DFG-Forschergruppe 'Petri Net Technology', number 97-21 of Forschungsberichte des Fachbereichs Informatik, April 1997. Technische Universit�t Berlin.
Karsten Schmidt. Modelchecking on Symbolic Reachability Graphs of Petri nets. In Workshop Algorithmen und Werkzeuge f�r Petrinetze, Berlin, pages 43-48, 1997.
Karsten Schmidt. Modelchecking with Coverability Graphs. In Workshop on Concurrency, Specification and Programming, Warsaw, Poland, pages 112-123, 1997.
Karsten Schmidt. Siphons, Traps, and High-Level nets with Infinite Color Domains. In Pierre Az�ma and Gianfranco Balbo, editors, Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN '97, Proceedings, volume 1248 of Lecture Notes in Computer Science, pages 271-289, June 1997. Springer-Verlag.
Karsten Schmidt. Verification of Siphons and Traps for Algebraic Petri nets. In Pierre Az�ma and Gianfranco Balbo, editors, Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN '97, Proceedings, volume 1248 of Lecture Notes in Computer Science, pages 427-446, June 1997. Springer-Verlag.

1996

Ekkard Kindler. A Specification and Verification Method for Caching Protocols. In J�rg Desel and Horst Reichel, editors, Formal Methods for Concurrency, GI-Kolloquium, number TUD/FI 96/16 of Fachberichte der TU Dresden, pages 11-16, July 1996. Technische Universit�t Dresden.
Ekkard Kindler and J�rg Desel. Der Traum von einem universellen Petrinetz-Werkzeug - Der Petrinetz-Kern. In J�rg Desel, Ekkard Kindler, and Andreas Oberweis, editors, 3. Workshop Algorithmen und Werkzeuge f�r Petrinetze, pages 27-32, October 1996. Institut AIFB, Universit�t Karlsruhe.
Ekkard Kindler and Tobias Vesper. Automatisch �berpr�fbare Beweistechniken f�r algebraische Petrinetze. In J�rg Desel, Ekkard Kindler, and Andreas Oberweis, editors, 3. Workshop Algorithmen und Werkzeuge f�r Petrinetze, pages 33-38, October 1996. Institut AIFB, Universit�t Karlsruhe.
Ekkard Kindler and Rolf Walter. Arc-Typed Petri Nets. In J. Billington and Wolfgang Reisig, editors, Application and Theory of Petri Nets 1996, volume 1091 of Lecture Notes in Computer Science, June 1996. Springer-Verlag.
Wolfgang Reisig. Modelling and Verification of Distributed Algorithms. In CONCUR 96, volume 1119 of Lecture Notes in Computer Science, pages 79-95, 1996. Springer-Verlag.
Wolfgang Reisig. Temporallogische Verifikation verteilter Algortihmen: Mehr als nur eine Variante. In J�rg Desel and Horst Reichel, editors, Formal Methods for Concurrency, GI-Kolloquium, number TUD/FI 96/16 of Fachberichte der TU Dresden, pages 29-32, July 1996. Technische Universit�t Dresden.
Wolfgang Reisig, Ekkart Kindler, Tobias Vesper, Hagen V�lzer, and Rolf Walter. Distributed Algorithms for Networks of Agents.. In Wolfgang Reisig and Grzegorz Rozenberg, editors, Petri Nets (2), volume 1492 of Lecture Notes in Computer Science, pages 331-385, 1996. Springer.
Wolfgang Reisig and Grzegorz Rozenberg. Informal Introduction to Petri Nets. In Wolfgang Reisig and Grzegorz Rozenberg, editors, Petri Nets, volume 1491 of Lecture Notes in Computer Science, pages 1-11, 1996. Springer.
Karsten Schmidt. Ein Verfahren zur Verifikation von 'Immer m�glich' und 'M�glich, da� immer'-Eigenschaften. In Workshop Algorithmen und Werkzeuge f�r Petrinetze, October 1996. Universit�t Karlsruhe.
Karsten Schmidt. Siphons and Traps for Algebraic Petri nets. In Workshop on Concurrency, Specification and Programming (CS&P'96), Proceedings, Berlin, pages 157-168, October 1996.

1994

Wolfgang Reisig. Correctness Proofs of Distributed Algorithms.. In Kenneth P. Birman, Friedemann Mattern, and Andr� Schiper, editors, Dagstuhl Seminar on Distributed Systems, volume 938 of Lecture Notes in Computer Science, pages 164-177, 1994. Springer.
Wolfgang Reisig. Petri-Netze und ihre Anwendungen. In Integrierte Informationsverarbeitung in B�ro, Produktion und Logistik, number 305 of VDI Reihe 10: Informatik / Kommunikationstechnik, D�sseldorf, 1994. FET Zentralstelle f�r Forschungs- und Entwicklungstransfer der Universit�t-GH Essen, VDI-Verlag.

1993

J�rg Desel and Wolfgang Reisig. The Synthesis Problem of Petri Nets.. In Patrice Enjalbert, Alain Finkel, and Klaus W. Wagner, editors, STACS, volume 665 of SFB-Bericht, pages 120-129, 1993. Springer.
Wolfgang Reisig. Formal methods for concurrent systems design: a survey. In W.K. Giloi, S. J�hnichen, and B.D. Shriver, editors, Programming Models for Massively Parallel Computers, 1993. Proceedings, pages 12-21, September 1993. IEEE.

1992

Wolfgang Reisig. Combining Petri Nets and Other Formal Methods. In Kurt Jensen, editor, Application and Theory of Petri Nets, volume 616 of Lecture Notes in Computer Science, pages 24-44, 1992. Springer.

1990

Helmut Pl�nnecke and Wolfgang Reisig. Bibliography on Petri nets 1990.. In Grzegorz Rozenberg, editor, Applications and Theory of Petri Nets, volume 524 of Lecture Notes in Computer Science, pages 317-572, 1990. Springer.

1988

Wolfgang Reisig. Temporal Logic and Causality in Concurrent Systems.. In Friedrich H. Vogt, editor, Concurrency, volume 335 of Lecture Notes in Computer Science, pages 121-139, 1988. Springer.
Wolfgang Reisig. Towards a temporal logic of causality and choice in distributed systems. In J. W. de Bakker, Willem P. de Roever, and Grzegorz Rozenberg, editors, REX Workshop, volume 354 of Lecture Notes in Computer Science, pages 603-627, 1988. Springer.

1987

Wolfgang Reisig and J. Vautherin. An Algebraic Approach to High Level Petri Nets. In Proceedings of the Eighth European Workshop on Application and Theory of Petri Nets, Spain, pages 51--72, 1987. Universidad de Zaragoza.

1986

Stefan Drees, Dominik Gomm, Helmut Pl�nnecke, Wolfgang Reisig, and Rolf Walter. Bibliography of Petri nets. In Grzegorz Rozenberg, editor, European Workshop on Applications and Theory of Petri Nets, volume 266 of Lecture Notes in Computer Science, pages 309-451, 1986. Springer.
Wolfgang Reisig. A strong part of concurrency.. In Grzegorz Rozenberg, editor, European Workshop on Applications and Theory of Petri Nets, volume 266 of Lecture Notes in Computer Science, pages 238-272, 1986. Springer.
Wolfgang Reisig. Embedded System Description Using Petri Nets. In Albert T. K�ndig, Richard E. B�hrer, and Jacques D�hler, editors, Embedded Systems, volume 284 of Lecture Notes in Computer Science, pages 18-62, 1986. Springer.
Wolfgang Reisig. Petri Nets in Software Engineering. In Wilfried Brauer, Wolfgang Reisig, and Grzegorz Rozenberg, editors, Advances in Petri Nets, volume 255 of Lecture Notes in Computer Science, pages 63-96, 1986. Springer.
Wolfgang Reisig. Place/Transition Systems. In Wilfried Brauer, Wolfgang Reisig, and Grzegorz Rozenberg, editors, Advances in Petri Nets, volume 254 of Lecture Notes in Computer Science, pages 117-141, 1986. Springer.

1984

Ursula Goltz and Wolfgang Reisig. CSP-programs with individual tokens.. In Grzegorz Rozenberg, Hartmann J. Genrich, and G�rard Roucairol, editors, European Workshop on Applications and Theory in Petri Nets, volume 188 of Lecture Notes in Computer Science, pages 169-196, 1984. Springer.
Wolfgang Reisig. Partial Order Semantics versus Interleaving Semantics for CSP-like Languages and its Impact on Fairness.. In Jan Paredaens, editor, ICALP, volume 172 of Lecture Notes in Computer Science, pages 403-413, 1984. Springer.

1983

G. Berthelot, G. Memmi, and Wolfgang Reisig. A Control Structure for Sequential Processes Synchronized by Buffers. In 4th Workshop on Theory and Applications of Petri Nets, Toulouse, September 1983, pages 43--58, 1983.
Ursula Goltz and Wolfgang Reisig. Processes of Place/Transition-Nets. In Josep D�az, editor, ICALP, volume 154 of Lecture Notes in Computer Science, pages 264-277, 1983. Springer.
Wolfgang Reisig. System Design Using Petri Nets. In G�nter Hommel and Dirk Kr�nig, editors, Requirements Engineering, volume 74 of Informatik-Fachberichte, pages 29-41, 1983. Springer.

1982

Wolfgang Reisig. Petri Nets with Individual Tokens. In Anastasia Pagnoni and Grzegorz Rozenberg, editors, European Workshop on Applications and Theory of Petri Nets, volume 66 of Informatik-Fachberichte, pages 229-249, 1982. Springer.

1981

Ursula Goltz and Wolfgang Reisig. Weighted Synchronic Distances.. In Claude Girault and Wolfgang Reisig, editors, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, volume 52 of Informatik-Fachberichte, pages 289-300, 1981. Springer.
Ursula Goltz, Wolfgang Reisig, and P. S. Thiagarajan. Two Alterative Definitions of Synchronic Distance. In Claude Girault and Wolfgang Reisig, editors, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, volume 52 of Informatik-Fachberichte, pages 96-103, 1981. Springer.
Wolfgang Reisig. Recursive Nets. In Claude Girault and Wolfgang Reisig, editors, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, volume 52 of Informatik-Fachberichte, pages 125-130, 1981. Springer.

1980

Wolfgang Reisig. A Graph Grammar Representation of Non-Sequential Processes. In Hartmut Noltemeier, editor, WG, volume 100 of Lecture Notes in Computer Science, pages 318-325, 1980. Springer.
Wolfgang Reisig. Schemes for Nonsequential Processing Systems.. In Piotr Dembinski, editor, MFCS, volume 88 of Lecture Notes in Computer Science, pages 515-527, 1980. Springer.

1979

Wolfgang Reisig. On a Class of Co-Operating Sequential Processors.. In J.C. Syre, editor, Proc. of the 1st European Conference on Parallel and Distributed Processing, Toulouse, pages 242--250, 1979. Cepadues Editions.

1977

Wolfgang Reisig. Interactive Schemes. In M. Feilmeier, editor, Parallel Computers - Parallel Mathematics, Proc. of the IMACS-GI-Symp., March 14--16, 1977, Munich, Amsterdam, pages 225--230, 1977. North-Holland Publishing Company.

1974

K. Indermark and Wolfgang Reisig. On Recursively Definable Relations. In Report on the 14th Lattice Theory Conference, Szeged, Hungary, 1974, 1974.

zur�ck zur �bersicht

Theorie der Programmierung | Kontakt | XHTML 1.0 | Thu Mar 31 15:30:02 2011