Edit Profile (opens in new tab) Reisig, Wolfgang Compute Distance To: Compute Author ID: 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: 63 Publications since 1975, including 8 Books 10 Contributions as Editor Reviewing Activity: 2 Reviews Co-Authors: 38 Co-Authors with 32 Joint Publications 663 Co-Co-Authors all top 5 Co-Authors 41 single-authored 6 Rozenberg, Grzegorz 4 Desel, Jörg 3 Ehrig, Hartmut 3 Glausch, Andreas 3 Goltz, Ursula 2 Blass, Andreas Raphael 2 Brauer, Wilfried 2 Dershowitz, Nachum 2 Kindler, Ekkart 2 Walter, Rolf 2 Weber, Herbert 1 Acu, Baver 1 Billington, Jonathan 1 Borusan, Alexander 1 Brandt, Jorgen 1 Bretschneider, Jan 1 Cortadella, Jordi 1 Drees, Stefan 1 Ermel, Claudia 1 Fahland, Dirk 1 Girault, Claude 1 Gomm, Dominik 1 Herzog, Otthein 1 Indermark, Klaus 1 Koch, Ina 1 Lembke, Sabine 1 Leser, Ulf 1 Lohmann, Niels 1 Massuthe, Peter 1 Padberg, Julia 1 Plünnecke, Helmut 1 Qemali, Anilda 1 Schreiber, Falk 1 Smith, Einar 1 Stahl, Christian 1 Thiagarajan, Pazhamaneri Subramaniam 1 Valk, Rüdiger 1 Völzer, Hagen all top 5 Serials 8 Lecture Notes in Computer Science 4 Acta Informatica 3 Theoretical Computer Science 3 Bulletin of the European Association for Theoretical Computer Science (EATCS) 1 Information Processing Letters 1 Information and Control 1 Formal Aspects of Computing 1 1 Journal of Functional Programming 1 Fundamenta Informaticae 1 Computing and Informatics 1 Informatik-Fachberichte 1 Computational Biology 1 EATCS Monographs on Theoretical Computer Science all top 5 Fields 71 Computer science (68-XX) 10 General and overarching topics; collections (00-XX) 6 Mathematical logic and foundations (03-XX) 2 History and biography (01-XX) 1 Combinatorics (05-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Operations research, mathematical programming (90-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 45 Publications have been cited 584 times in 465 Documents Cited by ▼ Year ▼ Petri nets. An introduction. Transl. from the German. Zbl 0555.68033Reisig, Wolfgang 175 1985 The non-sequential behaviour of Petri nets. Zbl 0551.68050Goltz, U.; Reisig, W. 67 1983 Petri nets with individual tokens. Zbl 0521.68057Reisig, W. 51 1983 Understanding Petri nets. Modeling techniques, analysis methods, case studies. Translated from the German by the author. Zbl 1278.68222Reisig, Wolfgang 45 2013 Petri nets and algebraic specifications. Zbl 0727.68080Reisig, Wolfgang 26 1991 Place/transition Petri nets. Zbl 0926.68083Desel, Jörg; Reisig, Wolfgang 25 1998 Lectures on Petri nets. 1: Basic models. Advances in Petri nets. Zbl 0903.00072 22 1998 The synthesis problem of Petri nets. Zbl 0849.68085Desel, Jörg; Reisig, Wolfgang 19 1996 Petri nets with individual tokens. Zbl 0604.68068Reisig, Wolfgang 19 1985 Elements of distributed algorithms. Modeling and analysis with Petri nets. Zbl 0907.68130Reisig, Wolfgang 18 1998 Partial order semantics versus interleaving semantics for CSP-like languages and its impact on fairness. Zbl 0597.68019Reisig, Wolfgang 11 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 11 1987 Processes of place/transition-nets. Zbl 0523.68046Goltz, U.; Reisig, W. 8 1983 Deterministic buffer synchronization of sequential processes. Zbl 0478.68023Reisig, Wolfgang 7 1982 Lectures on concurrency and Petri nets. Advances in Petri nets. Zbl 1052.68003 7 2004 The semantics of a net is a net - An exercise in general net theory. Zbl 0635.68055Smith, Einar; Reisig, Wolfgang 6 1987 Petri nets: Fundamentals, essentials, consequences. Zbl 1023.68641Reisig, W. 6 1993 Modeling in systems biology. The Petri net approach. With a foreword of Jens Georg Reich. Zbl 1297.92002 6 2011 A primer in Petri net design. Zbl 0760.68057Reisig, Wolfgang 4 1992 On Gurevich’s theorem on sequential algorithms. Zbl 1060.68045Reisig, W. 4 2003 The expressive power of abstract-state machines. Zbl 1104.68507Reisig, Wolfgang 3 2003 The computable kernel of abstract state machines. Zbl 1158.68009Reisig, W. 3 2008 Temporal logic and causality in concurrent systems. Zbl 0663.68039Reisig, Wolfgang 3 1988 Petrinetze. Eine Einführung. Zbl 0482.68054Reisig, Wolfgang 3 1982 Petri nets in software engineering. Zbl 0626.68030Reisig, Wolfgang 3 1987 The synthesis problem. Zbl 1382.68153Reisig, Wolfgang 3 2013 Petri net based verification of distributed algorithms: An example. Zbl 0889.68071Kindler, Ekkart; Reisig, Wolfgang; Völzer, Hagen; Walter, Rolf 3 1997 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 3 1987 CSP-programs as nets with individual tokens. Zbl 0571.68044Goltz, Ursula; Reisig, Wolfgang 3 1985 Interleaved progress concurrent progress and local progress. Zbl 0883.68058Reisig, W. 2 1997 A graph grammar representation of nonsequential processes. Zbl 0454.68054Reisig, Wolfgang 2 1981 On solving conflicts in Petri nets. Zbl 0457.68052Reisig, Wolfgang 2 1980 Verification of distributed algorithms with algebraic Petri nets. Zbl 0899.68058Kindler, Ekkart; Reisig, Wolfgang 2 1997 Fields of logic and computation. Essays dedicated to Yuri Gurevich on the occasion of his 70th birthday. Zbl 1194.03003 1 2010 An ASM-characterization of a class of distributed algorithms. Zbl 1274.68682Glausch, Andreas; Reisig, Wolfgang 1 2009 A note on the representation of finite tree automata. Zbl 0407.68067Reisig, Wolfgang 1 1979 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 1 1982 The synthesis problem of Petri nets. Zbl 0799.68142Desel, Jörg; Reisig, Wolfgang 1 1993 Associative composition of components with double-sided interfaces. Zbl 1431.68081Reisig, Wolfgang 1 2019 A strong part of concurrency. Zbl 0635.68057Reisig, Wolfgang 1 1987 Concurrency is more fundamental than interleaving. Zbl 0678.68083Reisig, Wolfgang 1 1988 Towards a temporal logic for causality and choice in distributed systems. (Technical contribution). Zbl 0683.68072Reisig, W. 1 1989 System design using Petri nets. Zbl 0549.68056Reisig, Wolfgang 1 1983 Simple composition of nets. Zbl 1242.68184Reisig, Wolfgang 1 2009 On the semantics of Petri nets. Zbl 0603.68063Reisig, Wolfgang 1 1986 Associative composition of components with double-sided interfaces. Zbl 1431.68081Reisig, Wolfgang 1 2019 Understanding Petri nets. Modeling techniques, analysis methods, case studies. Translated from the German by the author. Zbl 1278.68222Reisig, Wolfgang 45 2013 The synthesis problem. Zbl 1382.68153Reisig, Wolfgang 3 2013 Modeling in systems biology. The Petri net approach. With a foreword of Jens Georg Reich. Zbl 1297.92002 6 2011 Fields of logic and computation. Essays dedicated to Yuri Gurevich on the occasion of his 70th birthday. Zbl 1194.03003 1 2010 An ASM-characterization of a class of distributed algorithms. Zbl 1274.68682Glausch, Andreas; Reisig, Wolfgang 1 2009 Simple composition of nets. Zbl 1242.68184Reisig, Wolfgang 1 2009 The computable kernel of abstract state machines. Zbl 1158.68009Reisig, W. 3 2008 Lectures on concurrency and Petri nets. Advances in Petri nets. Zbl 1052.68003 7 2004 On Gurevich’s theorem on sequential algorithms. Zbl 1060.68045Reisig, W. 4 2003 The expressive power of abstract-state machines. Zbl 1104.68507Reisig, Wolfgang 3 2003 Place/transition Petri nets. Zbl 0926.68083Desel, Jörg; Reisig, Wolfgang 25 1998 Lectures on Petri nets. 1: Basic models. Advances in Petri nets. Zbl 0903.00072 22 1998 Elements of distributed algorithms. Modeling and analysis with Petri nets. Zbl 0907.68130Reisig, Wolfgang 18 1998 Petri net based verification of distributed algorithms: An example. Zbl 0889.68071Kindler, Ekkart; Reisig, Wolfgang; Völzer, Hagen; Walter, Rolf 3 1997 Interleaved progress concurrent progress and local progress. Zbl 0883.68058Reisig, W. 2 1997 Verification of distributed algorithms with algebraic Petri nets. Zbl 0899.68058Kindler, Ekkart; Reisig, Wolfgang 2 1997 The synthesis problem of Petri nets. Zbl 0849.68085Desel, Jörg; Reisig, Wolfgang 19 1996 Petri nets: Fundamentals, essentials, consequences. Zbl 1023.68641Reisig, W. 6 1993 The synthesis problem of Petri nets. Zbl 0799.68142Desel, Jörg; Reisig, Wolfgang 1 1993 A primer in Petri net design. Zbl 0760.68057Reisig, Wolfgang 4 1992 Petri nets and algebraic specifications. Zbl 0727.68080Reisig, Wolfgang 26 1991 Towards a temporal logic for causality and choice in distributed systems. (Technical contribution). Zbl 0683.68072Reisig, W. 1 1989 Temporal logic and causality in concurrent systems. Zbl 0663.68039Reisig, Wolfgang 3 1988 Concurrency is more fundamental than interleaving. Zbl 0678.68083Reisig, 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 11 1987 The semantics of a net is a net - An exercise in general net theory. Zbl 0635.68055Smith, Einar; Reisig, Wolfgang 6 1987 Petri nets in software engineering. Zbl 0626.68030Reisig, Wolfgang 3 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 3 1987 A strong part of concurrency. Zbl 0635.68057Reisig, Wolfgang 1 1987 On the semantics of Petri nets. Zbl 0603.68063Reisig, Wolfgang 1 1986 Petri nets. An introduction. Transl. from the German. Zbl 0555.68033Reisig, Wolfgang 175 1985 Petri nets with individual tokens. Zbl 0604.68068Reisig, Wolfgang 19 1985 CSP-programs as nets with individual tokens. Zbl 0571.68044Goltz, Ursula; Reisig, Wolfgang 3 1985 Partial order semantics versus interleaving semantics for CSP-like languages and its impact on fairness. Zbl 0597.68019Reisig, Wolfgang 11 1984 The non-sequential behaviour of Petri nets. Zbl 0551.68050Goltz, U.; Reisig, W. 67 1983 Petri nets with individual tokens. Zbl 0521.68057Reisig, W. 51 1983 Processes of place/transition-nets. Zbl 0523.68046Goltz, U.; Reisig, W. 8 1983 System design using Petri nets. Zbl 0549.68056Reisig, Wolfgang 1 1983 Deterministic buffer synchronization of sequential processes. Zbl 0478.68023Reisig, Wolfgang 7 1982 Petrinetze. Eine Einführung. Zbl 0482.68054Reisig, Wolfgang 3 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 1 1982 A graph grammar representation of nonsequential processes. Zbl 0454.68054Reisig, Wolfgang 2 1981 On solving conflicts in Petri nets. Zbl 0457.68052Reisig, Wolfgang 2 1980 A note on the representation of finite tree automata. Zbl 0407.68067Reisig, Wolfgang 1 1979 all cited Publications top 5 cited Publications all top 5 Cited by 617 Authors 23 Montanari, Ugo G. 20 Best, Eike 20 Koutny, Maciej 15 Kleijn, Jetty 13 Devillers, Raymond 11 Gorrieri, Roberto 11 van Glabbeek, Robert Jan 10 Corradini, Andrea 9 Desel, Jörg 9 Pinna, G. Michele 9 Rozenberg, Grzegorz 8 Degano, Pierpaolo 8 van der Aalst, Wil M. P. 7 Kindler, Ekkart 7 Vogler, Walter 6 Baldan, Paolo 6 Bruni, Roberto 6 Dershowitz, Nachum 6 Janicki, Ryszard 6 Pietkiewicz-Koutny, Marta 6 Polyvyanyy, Artem 5 Ehrig, Hartmut 5 Erofeev, Evgeny 5 Esparza, Javier 5 Goltz, Ursula 5 Klaudel, Hanna 5 Meseguer Guaita, José 5 Rossi, Francesca 5 Sassone, Vladimiro 5 Yen, Hsuchun 4 Aalbersberg, Ijsbrand Jan 4 Abbes, Samy 4 Barylska, Kamila 4 Busi, Nadia 4 Gadducci, Fabio 4 Jančar, Petr 4 La Rosa, Marcello 4 Mikulski, Łukasz 4 Olderog, Ernst-Rüdiger 4 Reisig, Wolfgang 4 Silva, Manuel 4 Teruel, Enrique 4 Thiagarajan, Pazhamaneri Subramaniam 4 Tredup, Ronny 3 Basten, Twan 3 Bernardinello, Luca 3 Carmona, Josep 3 Cheng, Allan 3 Czaja, Ludwik 3 de Frutos-Escrig, David 3 De Nicola, Rocco 3 de Vink, Erik P. 3 Engelfriet, Joost 3 Fabre, Eric 3 Finkbeiner, Bernd 3 Finkel, Olivier 3 Gieseking, Manuel 3 Gold, Robert 3 Hecking-Harbusch, Jesko 3 Heiner, Monika 3 Howell, Rodney R. 3 Juhás, Gabriel 3 Katz, Shmuel 3 Kucera, Antonin 3 Liu, GuanJun 3 Lorenz, Robert G. 3 Melgratti, Hernán 3 Ochmański, Edward 3 Peled, Doron A. 3 Pelz, Elisabeth 3 Penczek, Wojciech 3 Petrucci, Laure 3 Piątkowski, Marcin 3 Pomello, Lucia 3 Priami, Corrado 3 Rosa-Velardo, Fernando 3 Schicke, Jens-Wolfhard 3 Schlachter, Uli 3 Sobociński, Paweł 3 Sreenivas, Ramavarapu S. 3 Stehr, Mark-Oliver 3 Țiplea, Ferucio Laurențiu 3 Van Begin, Laurent 3 van Hee, Kees Max 3 Wimmel, Harro 3 Yankelevich, Daniel N. 2 Akshay, S. 2 Aura, Tuomas 2 Badouel, Eric 2 Barbosa, Luís Soares 2 Barkaoui, Kamel 2 Bartoletti, Massimo 2 Bergenthum, Robin 2 Björner, Anders 2 Błażewicz, Jacek 2 Boker, Udi 2 Bonchi, Filippo 2 Boudol, Gérard 2 Brown, Carolyn 2 Capra, Lorenzo ...and 517 more Authors all top 5 Cited in 76 Serials 96 Theoretical Computer Science 28 Information and Computation 27 Acta Informatica 19 Information Processing Letters 12 Formal Aspects of Computing 10 Journal of Logical and Algebraic Methods in Programming 9 Fundamenta Informaticae 8 Journal of Computer and System Sciences 8 Discrete Event Dynamic Systems 6 Distributed Computing 5 RAIRO. Informatique Théorique et Applications 5 Logical Methods in Computer Science 4 Discrete Applied Mathematics 4 Natural Computing 3 Information Sciences 3 Journal of Computer Science and Technology 3 MSCS. Mathematical Structures in Computer Science 3 Formal Methods in System Design 3 Journal of Membrane Computing 2 Computers & Mathematics with Applications 2 Automatica 2 Mathematical Systems Theory 2 Programming and Computer Software 2 Science of Computer Programming 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 The Journal of Logic and Algebraic Programming 2 Theory and Practice of Logic Programming 2 Nonlinear Analysis. Hybrid Systems 1 Discrete Mathematics 1 International Journal of General Systems 1 Fortschritte der Physik 1 Computing 1 Mathematics and Computers in Simulation 1 Semigroup Forum 1 European Journal of Combinatorics 1 OR Spektrum 1 Systems & Control Letters 1 Annals of Pure and Applied Logic 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 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 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 RAIRO. Operations Research 1 Journal of Applied Mathematics 1 Sādhanā 1 Computational Biology and Chemistry 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 Philosophical Transactions A. Royal Society of London all top 5 Cited in 19 Fields 437 Computer science (68-XX) 40 Mathematical logic and foundations (03-XX) 22 Systems theory; control (93-XX) 21 Biology and other natural sciences (92-XX) 17 Operations research, mathematical programming (90-XX) 12 Combinatorics (05-XX) 11 Category theory; homological algebra (18-XX) 8 Order, lattices, ordered algebraic structures (06-XX) 8 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 Probability theory and stochastic processes (60-XX) 4 Information and communication theory, circuits (94-XX) 3 Group theory and generalizations (20-XX) 2 Partial differential equations (35-XX) 2 Mathematics education (97-XX) 1 Field theory and polynomials (12-XX) 1 Algebraic geometry (14-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Relativity and gravitational theory (83-XX) Citations by Year