×
Author ID: reisig.wolfgang Recent zbMATH articles by "Reisig, Wolfgang"
Published as: Reisig, Wolfgang; Reisig, W.
Homepage: https://www.informatik.hu-berlin.de/de/Members/wolfgang-reisig/wolfgang_reisig
External Links: MGP · Google Scholar · ResearchGate · dblp · GND
Documents Indexed: 65 Publications since 1975, including 8 Books
10 Contributions as Editor
Reviewing Activity: 2 Reviews
Co-Authors: 38 Co-Authors with 32 Joint Publications
676 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

48 Publications have been cited 762 times in 597 Documents Cited by Year
Petri nets. An introduction. Transl. from the German. Zbl 0555.68033
Reisig, Wolfgang
234
1985
The non-sequential behaviour of Petri nets. Zbl 0551.68050
Goltz, U.; Reisig, W.
74
1983
Understanding Petri nets. Modeling techniques, analysis methods, case studies. Translated from the German by the author. Zbl 1278.68222
Reisig, Wolfgang
61
2013
Lectures on Petri nets. 1: Basic models. Advances in Petri nets. Zbl 0903.00072
52
1998
Petri nets with individual tokens. Zbl 0521.68057
Reisig, W.
51
1983
Petri nets and algebraic specifications. Zbl 0727.68080
Reisig, Wolfgang
29
1991
Place/transition Petri nets. Zbl 0926.68083
Desel, Jörg; Reisig, Wolfgang
27
1998
The synthesis problem of Petri nets. Zbl 0849.68085
Desel, Jörg; Reisig, Wolfgang
23
1996
Petri nets with individual tokens. Zbl 0604.68068
Reisig, Wolfgang
23
1985
Elements of distributed algorithms. Modeling and analysis with Petri nets. Zbl 0907.68130
Reisig, Wolfgang
22
1998
Partial order semantics versus interleaving semantics for CSP-like languages and its impact on fairness. Zbl 0597.68019
Reisig, Wolfgang
17
1984
Petri nets: central models and their properties. Advances in Petri nets 1986, Part I. Proceedings of an advanced course, Bad Honnef, September 8–19, 1986. Zbl 0619.00023
17
1987
Modeling in systems biology. The Petri net approach. With a foreword of Jens Georg Reich. Zbl 1297.92002
10
2011
Processes of place/transition-nets. Zbl 0523.68046
Goltz, U.; Reisig, W.
9
1983
Deterministic buffer synchronization of sequential processes. Zbl 0478.68023
Reisig, Wolfgang
9
1982
Lectures on concurrency and Petri nets. Advances in Petri nets. Zbl 1052.68003
9
2004
The semantics of a net is a net - An exercise in general net theory. Zbl 0635.68055
Smith, Einar; Reisig, Wolfgang
9
1987
Petri nets: applications and relationships to other models of concurrency. Advances in Petri nets 1986, Part II. Proceedings of an advanced course, Bad Honnef, September 8–19, 1986. Zbl 0619.00024
6
1987
Temporal logic and causality in concurrent systems. Zbl 0663.68039
Reisig, Wolfgang
6
1988
Petri nets: Fundamentals, essentials, consequences. Zbl 1023.68641
Reisig, W.
6
1993
A primer in Petri net design. Zbl 0760.68057
Reisig, Wolfgang
5
1992
On the semantics of Petri nets. Zbl 0603.68063
Reisig, Wolfgang
5
1986
CSP-programs as nets with individual tokens. Zbl 0571.68044
Goltz, Ursula; Reisig, Wolfgang
4
1985
On Gurevich’s theorem on sequential algorithms. Zbl 1060.68045
Reisig, W.
4
2003
Petri net based verification of distributed algorithms: An example. Zbl 0889.68071
Kindler, Ekkart; Reisig, Wolfgang; Völzer, Hagen; Walter, Rolf
4
1997
Petri nets in software engineering. Zbl 0626.68030
Reisig, Wolfgang
4
1987
Petrinetze. Eine Einführung. Zbl 0482.68054
Reisig, Wolfgang
4
1982
A graph grammar representation of nonsequential processes. Zbl 0454.68054
Reisig, Wolfgang
3
1981
On solving conflicts in Petri nets. Zbl 0457.68052
Reisig, Wolfgang
3
1980
The synthesis problem. Zbl 1382.68153
Reisig, Wolfgang
3
2013
Application and theory of Petri nets. Selected papers from the First and the Second European Workshop on Application and Theory of Petri Nets, Strasbourg, 23. - 26. September 1980; Bad Honnef, 28. - 30. September 1981. Zbl 0474.68075
3
1982
The expressive power of abstract-state machines. Zbl 1104.68507
Reisig, Wolfgang
3
2003
The computable kernel of abstract state machines. Zbl 1158.68009
Reisig, W.
3
2008
The synthesis problem of Petri nets. Zbl 0799.68142
Desel, Jörg; Reisig, Wolfgang
2
1993
Interleaved progress concurrent progress and local progress. Zbl 0883.68058
Reisig, W.
2
1997
Verification of distributed algorithms with algebraic Petri nets. Zbl 0899.68058
Kindler, Ekkart; Reisig, Wolfgang
2
1997
A strong part of concurrency. Zbl 0635.68057
Reisig, Wolfgang
2
1987
Fields of logic and computation. Essays dedicated to Yuri Gurevich on the occasion of his 70th birthday. Zbl 1194.03003
2
2010
Systementwurf mit Netzen. Zbl 0566.68053
Reisig, Wolfgang
1
1985
A note on the representation of finite tree automata. Zbl 0407.68067
Reisig, Wolfgang
1
1979
System design using Petri nets. Zbl 0549.68056
Reisig, Wolfgang
1
1983
Towards a temporal logic for causality and choice in distributed systems. (Technical contribution). Zbl 0683.68072
Reisig, W.
1
1989
Concurrency is more fundamental than interleaving. Zbl 0678.68083
Reisig, Wolfgang
1
1988
Petri nets. Modeling technique, analysis methods, case studies. (Petrinetze. Modellierungstechnik, Analysemethoden, Fallstudien.) Zbl 1215.68158
Reisig, Wolfgang
1
2010
Compensation in workflow nets. Zbl 1234.68281
Acu, Baver; Reisig, Wolfgang
1
2006
Associative composition of components with double-sided interfaces. Zbl 1431.68081
Reisig, Wolfgang
1
2019
Simple composition of nets. Zbl 1242.68184
Reisig, Wolfgang
1
2009
An ASM-characterization of a class of distributed algorithms. Zbl 1274.68682
Glausch, Andreas; Reisig, Wolfgang
1
2009
Associative composition of components with double-sided interfaces. Zbl 1431.68081
Reisig, Wolfgang
1
2019
Understanding Petri nets. Modeling techniques, analysis methods, case studies. Translated from the German by the author. Zbl 1278.68222
Reisig, Wolfgang
61
2013
The synthesis problem. Zbl 1382.68153
Reisig, Wolfgang
3
2013
Modeling in systems biology. The Petri net approach. With a foreword of Jens Georg Reich. Zbl 1297.92002
10
2011
Fields of logic and computation. Essays dedicated to Yuri Gurevich on the occasion of his 70th birthday. Zbl 1194.03003
2
2010
Petri nets. Modeling technique, analysis methods, case studies. (Petrinetze. Modellierungstechnik, Analysemethoden, Fallstudien.) Zbl 1215.68158
Reisig, Wolfgang
1
2010
Simple composition of nets. Zbl 1242.68184
Reisig, Wolfgang
1
2009
An ASM-characterization of a class of distributed algorithms. Zbl 1274.68682
Glausch, Andreas; Reisig, Wolfgang
1
2009
The computable kernel of abstract state machines. Zbl 1158.68009
Reisig, W.
3
2008
Compensation in workflow nets. Zbl 1234.68281
Acu, Baver; Reisig, Wolfgang
1
2006
Lectures on concurrency and Petri nets. Advances in Petri nets. Zbl 1052.68003
9
2004
On Gurevich’s theorem on sequential algorithms. Zbl 1060.68045
Reisig, W.
4
2003
The expressive power of abstract-state machines. Zbl 1104.68507
Reisig, Wolfgang
3
2003
Lectures on Petri nets. 1: Basic models. Advances in Petri nets. Zbl 0903.00072
52
1998
Place/transition Petri nets. Zbl 0926.68083
Desel, Jörg; Reisig, Wolfgang
27
1998
Elements of distributed algorithms. Modeling and analysis with Petri nets. Zbl 0907.68130
Reisig, Wolfgang
22
1998
Petri net based verification of distributed algorithms: An example. Zbl 0889.68071
Kindler, Ekkart; Reisig, Wolfgang; Völzer, Hagen; Walter, Rolf
4
1997
Interleaved progress concurrent progress and local progress. Zbl 0883.68058
Reisig, W.
2
1997
Verification of distributed algorithms with algebraic Petri nets. Zbl 0899.68058
Kindler, Ekkart; Reisig, Wolfgang
2
1997
The synthesis problem of Petri nets. Zbl 0849.68085
Desel, Jörg; Reisig, Wolfgang
23
1996
Petri nets: Fundamentals, essentials, consequences. Zbl 1023.68641
Reisig, W.
6
1993
The synthesis problem of Petri nets. Zbl 0799.68142
Desel, Jörg; Reisig, Wolfgang
2
1993
A primer in Petri net design. Zbl 0760.68057
Reisig, Wolfgang
5
1992
Petri nets and algebraic specifications. Zbl 0727.68080
Reisig, Wolfgang
29
1991
Towards a temporal logic for causality and choice in distributed systems. (Technical contribution). Zbl 0683.68072
Reisig, W.
1
1989
Temporal logic and causality in concurrent systems. Zbl 0663.68039
Reisig, Wolfgang
6
1988
Concurrency is more fundamental than interleaving. Zbl 0678.68083
Reisig, Wolfgang
1
1988
Petri nets: central models and their properties. Advances in Petri nets 1986, Part I. Proceedings of an advanced course, Bad Honnef, September 8–19, 1986. Zbl 0619.00023
17
1987
The semantics of a net is a net - An exercise in general net theory. Zbl 0635.68055
Smith, Einar; Reisig, Wolfgang
9
1987
Petri nets: applications and relationships to other models of concurrency. Advances in Petri nets 1986, Part II. Proceedings of an advanced course, Bad Honnef, September 8–19, 1986. Zbl 0619.00024
6
1987
Petri nets in software engineering. Zbl 0626.68030
Reisig, Wolfgang
4
1987
A strong part of concurrency. Zbl 0635.68057
Reisig, Wolfgang
2
1987
On the semantics of Petri nets. Zbl 0603.68063
Reisig, Wolfgang
5
1986
Petri nets. An introduction. Transl. from the German. Zbl 0555.68033
Reisig, Wolfgang
234
1985
Petri nets with individual tokens. Zbl 0604.68068
Reisig, Wolfgang
23
1985
CSP-programs as nets with individual tokens. Zbl 0571.68044
Goltz, Ursula; Reisig, Wolfgang
4
1985
Systementwurf mit Netzen. Zbl 0566.68053
Reisig, Wolfgang
1
1985
Partial order semantics versus interleaving semantics for CSP-like languages and its impact on fairness. Zbl 0597.68019
Reisig, Wolfgang
17
1984
The non-sequential behaviour of Petri nets. Zbl 0551.68050
Goltz, U.; Reisig, W.
74
1983
Petri nets with individual tokens. Zbl 0521.68057
Reisig, W.
51
1983
Processes of place/transition-nets. Zbl 0523.68046
Goltz, U.; Reisig, W.
9
1983
System design using Petri nets. Zbl 0549.68056
Reisig, Wolfgang
1
1983
Deterministic buffer synchronization of sequential processes. Zbl 0478.68023
Reisig, Wolfgang
9
1982
Petrinetze. Eine Einführung. Zbl 0482.68054
Reisig, Wolfgang
4
1982
Application and theory of Petri nets. Selected papers from the First and the Second European Workshop on Application and Theory of Petri Nets, Strasbourg, 23. - 26. September 1980; Bad Honnef, 28. - 30. September 1981. Zbl 0474.68075
3
1982
A graph grammar representation of nonsequential processes. Zbl 0454.68054
Reisig, Wolfgang
3
1981
On solving conflicts in Petri nets. Zbl 0457.68052
Reisig, Wolfgang
3
1980
A note on the representation of finite tree automata. Zbl 0407.68067
Reisig, Wolfgang
1
1979
all top 5

Cited by 747 Authors

25 Koutny, Maciej
25 Montanari, Ugo G.
24 Best, Eike
17 Kleijn, Jetty
15 Corradini, Andrea
14 Devillers, Raymond
14 van der Aalst, Wil M. P.
13 van Glabbeek, Robert Jan
12 Gorrieri, Roberto
11 Baldan, Paolo
11 Desel, Jörg
11 Rozenberg, Grzegorz
10 Pinna, G. Michele
10 Vogler, Walter
9 Degano, Pierpaolo
9 Janicki, Ryszard
8 Ehrig, Hartmut
8 Pietkiewicz-Koutny, Marta
7 Busi, Nadia
7 Dershowitz, Nachum
7 Esparza, Javier
7 Gadducci, Fabio
7 Goltz, Ursula
7 Kindler, Ekkart
7 Mikulski, Łukasz
7 Polyvyanyy, Artem
6 Bruni, Roberto
6 Erofeev, Evgeny
6 König, Barbara
6 Meseguer Guaita, José
6 Peled, Doron A.
6 Thiagarajan, Pazhamaneri Subramaniam
6 Yen, Hsuchun
5 Darondeau, Philippe
5 Klaudel, Hanna
5 Olderog, Ernst-Rüdiger
5 Reisig, Wolfgang
5 Rossi, Francesca
5 Sassone, Vladimiro
4 Aalbersberg, Ijsbrand Jan
4 Abbes, Samy
4 Barylska, Kamila
4 Basten, Twan
4 Bernardinello, Luca
4 Carmona, Josep
4 Czaja, Ludwik
4 de Frutos-Escrig, David
4 Delzanno, Giorgio
4 Finkel, Alain
4 Frisco, Pierluigi
4 Gieseking, Manuel
4 Jančar, Petr
4 Katz, Shmuel
4 La Rosa, Marcello
4 Li, Zhiwu
4 Liu, GuanJun
4 Nielsen, Mogens
4 Pomello, Lucia
4 Schicke, Jens-Wolfhard
4 Silva, Manuel
4 Teruel, Enrique
4 Tredup, Ronny
4 Van Begin, Laurent
4 van der Werf, Jan Martijn E. M.
4 Wimmel, Harro
4 Zavattaro, Gianluigi
3 Barkaoui, Kamel
3 Boker, Udi
3 Bonchi, Filippo
3 Boudol, Gérard
3 Brijder, Robert
3 Capra, Lorenzo
3 Cheng, Allan
3 De Nicola, Rocco
3 De Oliveira Oliveira, Mateus
3 de Vink, Erik P.
3 Engelfriet, Joost
3 Fabre, Eric
3 Fahland, Dirk
3 Finkbeiner, Bernd
3 Finkel, Olivier
3 Formanowicz, Dorota
3 Formanowicz, Piotr
3 Gastin, Paul
3 Gheorghe, Marian
3 Gold, Robert
3 Hecking-Harbusch, Jesko
3 Heiner, Monika
3 Howell, Rodney R.
3 Juhás, Gabriel
3 Köhler-Bußmeier, Michael
3 Kozioura, Vitali
3 Kucera, Antonin
3 Lorenz, Robert G.
3 Martí-Oliet, Narciso
3 Melgratti, Hernán
3 Montali, Marco
3 Ochmański, Edward
3 Pelz, Elisabeth
3 Penczek, Wojciech
...and 647 more Authors
all top 5

Cited in 85 Serials

124 Theoretical Computer Science
32 Information and Computation
27 Acta Informatica
19 Information Processing Letters
15 Fundamenta Informaticae
14 Formal Aspects of Computing
10 Journal of Computer and System Sciences
10 Journal of Logical and Algebraic Methods in Programming
8 Information Sciences
8 Discrete Event Dynamic Systems
8 Natural Computing
7 Distributed Computing
6 Logical Methods in Computer Science
5 RAIRO. Informatique Théorique et Applications
4 Discrete Applied Mathematics
3 Computers & Mathematics with Applications
3 Automatica
3 Journal of Computer Science and Technology
3 MSCS. Mathematical Structures in Computer Science
3 Formal Methods in System Design
3 The Journal of Logic and Algebraic Programming
3 Journal of Membrane Computing
2 Artificial Intelligence
2 Computing
2 Mathematical Systems Theory
2 Programming and Computer Software
2 Science of Computer Programming
2 Annals of Pure and Applied Logic
2 Mathematical and Computer Modelling
2 International Journal of Foundations of Computer Science
2 Communications in Nonlinear Science and Numerical Simulation
2 RAIRO. Theoretical Informatics and Applications
2 Theory and Practice of Logic Programming
2 Nonlinear Analysis. Hybrid Systems
1 Discrete Mathematics
1 International Journal of General Systems
1 Reviews in Mathematical Physics
1 Journal of Approximation Theory
1 Mathematics and Computers in Simulation
1 Semigroup Forum
1 European Journal of Combinatorics
1 OR Spektrum
1 Systems & Control Letters
1 International Journal of Production Research
1 Optimization
1 New Generation Computing
1 Algorithmica
1 International Journal of Parallel Programming
1 Real-Time Systems
1 Machine Learning
1 European Journal of Operational Research
1 Stochastic Processes and their Applications
1 Cybernetics and Systems Analysis
1 Archives of Control Sciences
1 Journal of Algebraic Combinatorics
1 Journal of Logic, Language and Information
1 Journal of Computer and Systems Sciences International
1 Applied Categorical Structures
1 Applied Mathematics. Series B (English Edition)
1 Journal of Mathematical Sciences (New York)
1 The Bulletin of Symbolic Logic
1 Constraints
1 Mathematical Problems in Engineering
1 Parallel Algorithms and Applications
1 European Journal of Control
1 Theory of Computing Systems
1 Mathematical Methods of Operations Research
1 Data Mining and Knowledge Discovery
1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
1 Higher-Order and Symbolic Computation
1 Foundations of Science
1 RAIRO. Operations Research
1 Journal of Applied Mathematics
1 Sādhanā
1 Computational Biology and Chemistry
1 Journal of Industrial and Management Optimization
1 Advances in Mathematical Physics
1 Advances in Fuzzy Systems
1 Central European Journal of Computer Science
1 Journal of Theoretical Biology
1 Journal of Mathematics
1 Journal of Applied Mathematics, Statistics and Informatics
1 International Journal of Systems Science. Principles and Applications of Systems and Integration
1 Modelirovanie i Analiz Informatsionnykh Sistem
1 Philosophical Transactions A. Royal Society of London

Citations by Year