Wolfgang Reisig Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig: Simple Composition of Nets. Petri Nets 2009: 23-42
2008
84no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Kühne, Wolfgang Reisig, Friedrich Steimann: Modellierung 2008, 12.-14. März 2008, Berlin GI 2008
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig: The Scholten/Dijkstra Pebble Game Played Straightly, Distributedly, Online and Reversed. Pillars of Computer Science 2008: 589-595
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig: Towards a Theory of Services. UNISCON 2008: 271-281
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarl Adam Petri, Wolfgang Reisig: Petri net. Scholarpedia 3(4): 6477 (2008)
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig: The computable kernel of Abstract State Machines. Theor. Comput. Sci. 409(1): 126-136 (2008)
2007
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Glausch, Wolfgang Reisig: A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines. CALCO 2007: 242-256
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig, Jan Bretschneider, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl: Services as a Paradigm of Computation. Formal Methods and Hybrid Real-Time Systems 2007: 521-538
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiels Lohmann, Oliver Kopp, Frank Leymann, Wolfgang Reisig: Analyzing BPEL4Chor: Verification and Participant Synthesis. WS-FM 2007: 46-60
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig: The Decent Philosophers: An Exercise in Concurrent Behaviour. Fundam. Inform. 80(1-3): 273-281 (2007)
2006
75no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Leymann, Wolfgang Reisig, Satish R. Thatte, Wil M. P. van der Aalst: The Role of Business Processes in Service Oriented Architectures, 16.07. - 21.07.2006 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Glausch, Wolfgang Reisig: How Expressive Are Petri Net Schemata?. ICATPN 2006: 201-220
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBaver Acu, Wolfgang Reisig: Compensation in Workflow Nets. ICATPN 2006: 65-83
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, Kathrin Kaschner: Analysis Techniques for Service Models. ISoLA 2006: 11-17
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Leymann, Wolfgang Reisig, Satish R. Thatte, Wil M. P. van der Aalst: 06291 Abstracts Collection -- The Role of Business Processes in Service-Oriented Architectures. The Role of Business Processes in Service Oriented Architectures 2006
2005
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Stahl, Wolfgang Reisig, Milos Krstic: Hazard Detection in a GALS Wrapper: A Case Study. ACSD 2005: 234-243
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Fahland, Wolfgang Reisig: ASM-based Semantics for BPEL: The Negative Control Flow. Abstract State Machines 2005: 131-152
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig: Modeling- and Analysis Techniques for Web Services and Business Processes. FMOODS 2005: 243-258
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig: On the Expressive Power of Petri Net Schemata. ICATPN 2005: 349-364
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig, Karsten Schmidt, Christian Stahl: Kommunizierende Workflow-Services modellieren und analysieren. Inform., Forsch. Entwickl. 20(1-2): 90-101 (2005)
2004
65no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Desel, Wolfgang Reisig, Grzegorz Rozenberg: Lectures on Concurrency and Petri Nets, Advances in Petri Nets [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] Springer 2004
64no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJordi Cortadella, Wolfgang Reisig: Applications and Theory of Petri Nets 2004, 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings Springer 2004
63no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig, Axel Martens: Verteilte Geschäftsprozesse und Web Services. Modellierung 2004: 275
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdrianna Alexander, Wolfgang Reisig: Compositional Temporal Logic Based on Partial Order. TIME 2004: 125-132
2003
61no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber: Petri Net Technology for Communication-Based Systems - Advances in Petri Nets Springer 2003
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdrianna Alexander, Wolfgang Reisig: Logic of Involved Variables - System Specification with Temporal Logic of Distributed Actions. ACSD 2003: 167-176
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig: The Computable Kernel of ASM. Abstract State Machines 2003: 421-422
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJayadev Misra, Wolfgang Reisig, Michael Schoettner, Laurent Lefèvre: Topic Introduction. Euro-Par 2003: 623
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHerbert Weber, Hartmut Ehrig, Wolfgang Reisig, Alexander Borusan, Sabine Lembke, Juliane Dehnert, Michael Weber, Axel Martens, Julia Padberg, Claudia Ermel, Anilda Qemali: The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY. Petri Net Technology for Communication-Based Systems 2003: 1-21
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig: On Gurevich's theorem on sequential algorithms. Acta Inf. 39(4): 273-305 (2003)
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig: The Expressive Power of Abstract-State Machines. Computers and Artificial Intelligence 22(3): (2003)
2002
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig: Teleteaching-Vorlesung "Verteilte Systeme: Formale Methoden - Anwendungen - Werkzeuge". GI Jahrestagung 2002: 263-269
2000
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig: Towards an ASM Thesis for Unconventional Algorithms. Abstract State Machines 2000: 112-130
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEkkart Kindler, Axel Martens, Wolfgang Reisig: Inter-operability of Workflow Applications: Local Criteria for Global Soundness. Business Process Management 2000: 235-253
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig: The Linear Theory of Multiset Based Dynamic Systems. WMP 2000: 287-298
1998
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig: Elements of distributed algorithms: modeling and analysis with Petri nets Springer 1998
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig, Grzegorz Rozenberg: Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996 Springer 1998
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig, Grzegorz Rozenberg: Lectures on Petri Nets II: Applications, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996 Springer 1998
1997
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEkkart Kindler, Wolfgang Reisig: Verification of Distributed Algorithms with Algebraic Petri Nets. Foundations of Computer Science: Potential - Theory - Cognition 1997: 261-270
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHartmut Ehrig, Wolfgang Reisig: An Algebraic View on Petri Nets. Bulletin of the EATCS 61: (1997)
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEkkart Kindler, Wolfgang Reisig, Hagen Völzer, Rolf Walter: Petri Net Based Verification of Distributed Algorithms: An Example. Formal Asp. Comput. 9(4): 409-424 (1997)
1996
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonathan Billington, Wolfgang Reisig: Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings Springer 1996
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig: Modelling and Verification of Distributed Algorithms. CONCUR 1996: 579-595
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig, Grzegorz Rozenberg: Informal Introduction to Petri Nets. Petri Nets 1996: 1-11
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Desel, Wolfgang Reisig: Place or Transition Petri Nets. Petri Nets 1996: 122-173
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig, Ekkart Kindler, Tobias Vesper, Hagen Völzer, Rolf Walter: Distributed Algorithms for Networks of Agents. Petri Nets (2) 1996: 331-385
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Desel, Wolfgang Reisig: The Synthesis Problem of Petri Nets. Acta Inf. 33(4): 297-315 (1996)
1995
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig: Petri Net Models of Distributed Algorithms. Computer Science Today 1995: 441-454
1994
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig: Correctness Proofs of Distributed Algorithms. Dagstuhl Seminar on Distributed Systems 1994: 164-177
1993
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Desel, Wolfgang Reisig: The Synthesis Problem of Petri Nets. STACS 1993: 120-129
1992
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig: Combining Petri Nets and Other Formal Methods. Application and Theory of Petri Nets 1992: 24-44
1991
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig: Petri Nets and Algebraic Specifications. Theor. Comput. Sci. 80(1): 1-34 (1991)
1990
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHelmut Plünnecke, Wolfgang Reisig: Bibliography on Petri nets 1990. Applications and Theory of Petri Nets 1990: 317-572
1988
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig: Temporal Logic and Causality in Concurrent Systems. Concurrency 1988: 121-139
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig: Towards a temporal logic of causality and choice in distributed systems. REX Workshop 1988: 603-627
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig: Concurrency is more fundamental than interleaving. Bulletin of the EATCS 35: 181-184 (1988)
1987
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilfried Brauer, Wolfgang Reisig, Grzegorz Rozenberg: Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986 Springer 1987
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilfried Brauer, Wolfgang Reisig, Grzegorz Rozenberg: Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986 Springer 1987
1986
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig: Petrinetze, Eine Einführung, 2. Auflage Springer 1986
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig: Place/Transition Systems. Advances in Petri Nets 1986: 117-141
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig: Petri Nets in Software Engineering. Advances in Petri Nets 1986: 63-96
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig: Embedded System Description Using Petri Nets. Embedded Systems 1986: 18-62
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig: A strong part of concurrency. European Workshop on Applications and Theory of Petri Nets 1986: 238-272
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Drees, Dominik Gomm, Helmut Plünnecke, Wolfgang Reisig, Rolf Walter: Bibliography of Petri nets. European Workshop on Applications and Theory of Petri Nets 1986: 309-451
1985
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig: Petri Nets: An Introduction Springer 1985
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig: Systementwurf mit Netzen Springer 1985
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig: Petri Nets with Individual Tokens. Theor. Comput. Sci. 41: 185-213 (1985)
1984
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUrsula Goltz, Wolfgang Reisig: CSP-programs with individual tokens. European Workshop on Applications and Theory in Petri Nets 1984: 169-196
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig: Partial Order Semantics versus Interleaving Semantics for CSP-like Languages and its Impact on Fairness. ICALP 1984: 403-413
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOtthein Herzog, Wolfgang Reisig, Rüdiger Valk: Petri-Netze: ein Abriß ihrer Grundlagen und Anwendungen. Informatik Spektrum 7(1): 20-27 (1984)
1983
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUrsula Goltz, Wolfgang Reisig: Processes of Place/Transition-Nets. ICALP 1983: 264-277
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig: System Design Using Petri Nets. Requirements Engineering 1983: 29-41
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUrsula Goltz, Wolfgang Reisig: The Non-sequential Behavior of Petri Nets Information and Control 57(2/3): 125-147 (1983)
1982
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaude Girault, Wolfgang Reisig: Application and Theory of Petri Nets, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, Stasbourg 23.-26. September 1980, Bad Honnef 28.-30. September 1981 Springer 1982
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig: Petrinetze, Eine Einführung Springer 1982
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig: Petri Nets with Individual Tokens. European Workshop on Applications and Theory of Petri Nets 1982: 229-249
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig: Deterministic Buffer Synchronization of Sequential Processes. Acta Inf. 18: 117-134 (1982)
1981
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig: Overview. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 109-110
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig: Recursive Nets. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 125-130
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUrsula Goltz, Wolfgang Reisig: Weighted Synchronic Distances. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 289-300
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUrsula Goltz, Wolfgang Reisig, P. S. Thiagarajan: Two Alterative Definitions of Synchronic Distance. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 96-103
1980
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig: Schemes for Nonsequential Processing Systems. MFCS 1980: 515-527
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig: A Graph Grammar Representation of Non-Sequential Processes. WG 1980: 318-325
1979
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig: Zur Verwendung von Petrinetz-Morphismen bei der System-Konstruktion. Formale Modelle für Informationssysteme 1979: 220-235
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Reisig: A Note on the Representation of Finite Tree Automata. Inf. Process. Lett. 8(5): 239-240 (1979)

Coauthor Index

1Wil M. P. van der Aalst [71] [75]
2Baver Acu [73]
3Adrianna Alexander [60] [62]
4Jonathan Billington [44]
5Alexander Borusan [57]
6Wilfried Brauer [28] [29]
7Jan Bretschneider [78]
8Jordi Cortadella [64]
9Juliane Dehnert [57]
10Jörg Desel [36] [39] [41] [65]
11Stefan Drees [22]
12Hartmut Ehrig [46] [57] [61]
13Claudia Ermel [57]
14Dirk Fahland [69] [72] [78]
15Claude Girault [12]
16Andreas Glausch [74] [79]
17Ursula Goltz [5] [6] [13] [15] [18]
18Dominik Gomm [22]
19Otthein Herzog [16]
20Kathrin Kaschner [72]
21Ekkart Kindler [40] [45] [47] [52]
22Oliver Kopp [77]
23Milos Krstic [70]
24Thomas Kühne [84]
25Laurent Lefèvre [58]
26Sabine Lembke [57]
27Frank Leymann [71] [75] [77]
28Niels Lohmann [72] [77] [78]
29Axel Martens [52] [57] [63]
30Peter Massuthe [72] [78]
31Jayadev Misra [58]
32Julia Padberg [57]
33Carl Adam Petri (C. A. Petri) [81]
34Helmut Plünnecke [22] [33]
35Anilda Qemali [57]
36Grzegorz Rozenberg [28] [29] [42] [48] [49] [61] [65]
37Michael Schöttner (Michael Schoettner) [58]
38Christian Stahl [66] [70] [72] [78]
39Friedrich Steimann [84]
40Satish R. Thatte [71] [75]
41P. S. Thiagarajan [5]
42Rüdiger Valk [16]
43Tobias Vesper [40]
44Hagen Völzer [40] [45]
45Rolf Walter [22] [40] [45]
46Herbert Weber [57] [61]
47Michael Weber [57]
48Daniela Weinberg [72]
49Karsten Wolf (Karsten Schmidt) [66] [72]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)