default search action
Wolfgang Reisig
Person information
- affiliation: Humboldt University of Berlin, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [b9]Peter Fettke, Wolfgang Reisig:
Understanding the Digital World - Modeling with HERAKLIT. Springer 2024, ISBN 978-3-031-61897-0, pp. 1-186 - [c75]Peter Fettke, Wolfgang Reisig:
Once and for All: How to Compose Modules - The Composition Calculus. ISoLA (2) 2024: 173-190 - [c74]Marc Carwehl, Wolfgang Reisig:
Modeling Classes of Body Sensor Networks. Modellierung 2024: 65-82 - [i16]Peter Fettke, Wolfgang Reisig:
Towards a Theoretical Foundation of Process Science. CoRR abs/2404.00065 (2024) - [i15]Peter Fettke, Wolfgang Reisig:
Once and for all: how to compose modules - The composition calculus. CoRR abs/2408.15031 (2024) - [i14]Wolfgang Reisig, Peter Fettke:
Essentials of Petri nets. CoRR abs/2408.15042 (2024) - 2023
- [j34]Peter Fettke, Wolfgang Reisig:
A causal, time-independent synchronization pattern for collective adaptive systems. Int. J. Softw. Tools Technol. Transf. 25(5): 659-673 (2023) - 2022
- [c73]Peter Pfeiffer, Heike Sander, Peter Fettke, Wolfgang Reisig:
Towards a Standard Process enabling AI-support for Safety and Conformity of Medical Devices. HEDA@Petri Nets 2022 - [c72]Peter Fettke
, Wolfgang Reisig
Systems Mining with Heraklit: The Next Step. BPM (Forum) 2022: 89-104 - [c71]Peter Fettke, Wolfgang Reisig:
Breathing Life into Models: The Next Generation of Enterprise Modeling. ICSOFT 2022: 7-14 - [c70]Peter Fettke
Discrete Models of Continuous Behavior of Collective Adaptive Systems. ISoLA (3) 2022: 65-81 - [c69]Peter Fettke, Wolfgang Reisig:
Modellieren mit Heraklit. Modellierung 2022: 77-92 - [c68]Wolfgang Reisig:
Modellierung in der Informatik-Hochschullehre (ein Trauerspiel). Modellierung (Workshops) 2022: 176-182 - [i13]Peter Fettke, Wolfgang Reisig:
Systems Mining with Heraklit: The Next Step. CoRR abs/2202.01289 (2022) - [i12]Peter Fettke, Wolfgang Reisig:
Modularization, Composition, and Hierarchization of Petri Nets with Heraklit. CoRR abs/2202.01830 (2022) - [i11]Peter Fettke, Wolfgang Reisig:
Modellieren mit Heraklit. CoRR abs/2203.09493 (2022) - [i10]Peter Fettke, Wolfgang Reisig:
Towards Axiomatic Foundations for Conceptual Modeling: An Example. CoRR abs/2203.09602 (2022) - [i9]Peter Fettke, Wolfgang Reisig:
Discrete models of continuous behavior of collective adaptive systems. CoRR abs/2205.00828 (2022) - [i8]Peter Fettke, Wolfgang Reisig:
Breathing Life into Models: The Next Generation of Enterprise Modeling. CoRR abs/2205.09591 (2022) - 2020
- [j33]Wolfgang Reisig:
Informatics as a Science. Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. 15: 6:1-6:13 (2020) - [j32]Wolfgang Reisig:
Informatik - eine eigenständige Wissenschaft? Inform. Spektrum 43(4): 262-271 (2020) - [c67]Peter Fettke
Modelling Service-Oriented Systems and Cloud Services with Heraklit. ESOCC Workshops 2020: 77-89 - [c66]Wolfgang Reisig:
Composition of Component Models - A Key to Construct Big Systems. ISoLA (2) 2020: 171-188 - [c65]Wolfgang Reisig:
Komposition von Komponenten-Modellen: der Schlüssel zur Konstruktion großer Systeme. Modellierung 2020: 11 - [i7]Peter Fettke, Wolfgang Reisig:
Modelling service-oriented systems and cloud services with Heraklit. CoRR abs/2009.14040 (2020)
2010 – 2019
- 2019
- [j31]Wolfgang Reisig
Associative composition of components with double-sided interfaces. Acta Informatica 56(3): 229-253 (2019) - [c64]Wolfgang Reisig:
Conceptual Modeling of Event-Based Systems. DEBS 2019: 2 - [c63]Amel Bennaceur
Modelling and analysing resilient cyber-physical systems. SEAMS@ICSE 2019: 70-76 - [e14]Wolfgang Reisig, Grzegorz Rozenberg:
Carl Adam Petri: Ideas, Personality, Impact. Springer 2019, ISBN 978-3-319-96153-8 [contents] - 2018
- [j30]Wolfgang Reisig:
Towards a conceptual foundation of service composition. Comput. Sci. Res. Dev. 33(3-4): 281-289 (2018) - [c62]Wolfgang Reisig:
Composition: A Fresh Look at an Old Topic. Models, Mindsets, Meta 2018: 372-389 - [c61]Jörgen Brandt, Wolfgang Reisig:
Modeling Erlang processes as Petri nets. Erlang Workshop 2018: 61-66 - [i6]Heinrich C. Mayr, Sudha Ram, Wolfgang Reisig, Markus Stumptner:
Next Generation Domain Specific Conceptual Modeling: Principles and Methods (Dagstuhl Seminar 18471). Dagstuhl Reports 8(11): 63-90 (2018) - 2017
- [j29]Wolfgang Reisig:
The 9th advanced summer school on service-oriented computing, June 28-July 3, Hersonissos, Crete, Greece. Computing 99(2): 127 (2017) - [j28]Wolfgang Reisig:
The 10th advanced summer school on service-oriented computing. Comput. Sci. Res. Dev. 32(3-4): 255 (2017) - [j27]Jörgen Brandt, Wolfgang Reisig, Ulf Leser:
Computation semantics of the functional scientific workflow language Cuneiform. J. Funct. Program. 27: e22 (2017) - 2016
- [j26]GuanJun Liu
A Branching-Process-Based Method to Check Soundness of Workflow Systems. IEEE Access 4: 4104-4118 (2016) - [c60]Wolfgang Reisig:
Service Orientation as a Paradigm of Computing. ICTERI 2016: 2 - [p2]Wolfgang Reisig:
Petri Nets. Modeling in Systems Biology, The Petri Net Approach 2016: 37-56 - 2015
- [j25]Jörg Desel, Wolfgang Reisig:
The concepts of Petri nets. Softw. Syst. Model. 14(2): 669-683 (2015) - [c59]Kim Völlinger, Wolfgang Reisig:
Certification of Distributed Algorithms Solving Problems with Optimal Substructure. SEFM 2015: 190-195 - 2014
- [j24]Wolfgang Reisig:
Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies. Bull. EATCS 112 (2014) - [j23]Jörg Desel, Wolfgang Reisig:
Petrinetze. Inform. Spektrum 37(3): 165-167 (2014) - [j22]Wolfgang Reisig, Jörg Desel:
Konzepte der Petrinetze. Inform. Spektrum 37(3): 172-190 (2014) - [j21]Ina Koch
Petri Nets in the Biosciences. it Inf. Technol. 56(2): 43-45 (2014) - 2013
- [b8]Wolfgang Reisig:
Understanding Petri Nets - Modeling Techniques, Analysis Methods, Case Studies. Springer 2013, ISBN 978-3-642-33277-7, pp. I-XXVI, 1-230 - [j20]Wolfgang Reisig:
Remarks on Egon Börger: "Approaches to model business processes: a critical analysis of BPMN, workflow patterns and YAWL, SOSYM 11: 305-318". Softw. Syst. Model. 12(1): 5-9 (2013) - [j19]Wolfgang Reisig, Grzegorz Rozenberg, P. S. Thiagarajan:
In Memoriam: Carl Adam Petri. Trans. Petri Nets Other Model. Concurr. 7: 1-5 (2013) - [j18]Wolfgang Reisig:
The Synthesis Problem. Trans. Petri Nets Other Model. Concurr. 7: 300-313 (2013) - 2012
- [c58]Wolfgang Reisig:
What Should we Teach About Petri Nets? PNSE 2012: 11 - [c57]Wolfgang Reisig:
A Fresh Look at Petri Net Extensions. Software Service and Application Engineering 2012: 1-9 - 2011
- [e13]Ina Koch
Modeling in Systems Biology, The Petri Net Approach. Computational Biology 16, Springer 2011, ISBN 978-1-84996-473-9 [contents] - 2010
- [c56]Andreas Blass, Nachum Dershowitz, Wolfgang Reisig:
Yuri, Logic, and Computer Science. Fields of Logic and Computation 2010: 1-48 - [c55]Wolfgang Reisig:
50 Jahre Verhaltensmodellierung: Vom Modellieren mit Programmen zum Programmieren mit Modellen. Modellierung 2010: 13 - [e12]Andreas Blass, Nachum Dershowitz, Wolfgang Reisig:
Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday. Lecture Notes in Computer Science 6300, Springer 2010, ISBN 978-3-642-15024-1 [contents]
2000 – 2009
- 2009
- [c54]Wolfgang Reisig:
Simple Composition of Nets. Petri Nets 2009: 23-42 - [c53]Andreas Glausch, Wolfgang Reisig:
An ASM-Characterization of a Class of Distributed Algorithms. Rigorous Methods for Software Construction and Analysis 2009: 50-64 - 2008
- [j17]Carl Adam Petri, Wolfgang Reisig:
Petri net. Scholarpedia 3(4): 6477 (2008) - [j16]Wolfgang Reisig:
The computable kernel of Abstract State Machines. Theor. Comput. Sci. 409(1): 126-136 (2008) - [c52]Wolfgang Reisig:
The Scholten/Dijkstra Pebble Game Played Straightly, Distributedly, Online and Reversed. Pillars of Computer Science 2008: 589-595 - [c51]Wolfgang Reisig:
Towards a Theory of Services. UNISCON 2008: 271-281 - [e11]Thomas Kühne, Wolfgang Reisig, Friedrich Steimann:
Modellierung 2008, 12.-14. März 2008, Berlin. LNI P-127, GI 2008, ISBN 978-3-88579-221-5 [contents] - 2007
- [j15]Wolfgang Reisig:
The Decent Philosophers: An Exercise in Concurrent Behaviour. Fundam. Informaticae 80(1-3): 273-281 (2007) - [j14]Wil M. P. van der Aalst
The role of business processes in service oriented architectures (Editorial). Int. J. Bus. Process. Integr. Manag. 2(2): 75-80 (2007) - [c50]Wolfgang 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 - [c49]Andreas Glausch, Wolfgang Reisig:
A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines. CALCO 2007: 242-256 - [c48]Niels Lohmann, Oliver Kopp
Analyzing BPEL4Chor: Verification and Participant Synthesis. WS-FM 2007: 46-60 - [i5]Wolfgang Reisig, Karsten Wolf, Jan Bretschneider, Kathrin Kaschner, Niels Lohmann
Challenges in a Service-Oriented World. ERCIM News 2007(70) (2007) - 2006
- [c47]Baver Acu, Wolfgang Reisig:
Compensation in Workflow Nets. ICATPN 2006: 65-83 - [c46]Andreas Glausch, Wolfgang Reisig:
How Expressive Are Petri Net Schemata?. ICATPN 2006: 201-220 - [c45]Wolfgang Reisig, Dirk Fahland
Analysis Techniques for Service Models. ISoLA 2006: 11-17 - [e10]Frank 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. Dagstuhl Seminar Proceedings 06291, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - [i4]Frank 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
- [j13]Wolfgang Reisig, Karsten Schmidt, Christian Stahl:
Kommunizierende Workflow-Services modellieren und analysieren. Inform. Forsch. Entwickl. 20(1-2): 90-101 (2005) - [c44]Christian Stahl, Wolfgang Reisig, Milos Krstic
Hazard Detection in a GALS Wrapper: A Case Study. ACSD 2005: 234-243 - [c43]Wolfgang Reisig:
On the Expressive Power of Petri Net Schemata. ICATPN 2005: 349-364 - [c42]Dirk Fahland, Wolfgang Reisig:
ASM-based Semantics for BPEL: The Negative Control Flow. Abstract State Machines 2005: 131-152 - [c41]Wolfgang Reisig:
Modeling- and Analysis Techniques for Web Services and Business Processes. FMOODS 2005: 243-258 - 2004
- [c40]Wolfgang Reisig, Axel Martens:
Verteilte Geschäftsprozesse und Web Services. Modellierung 2004: 275 - [c39]Adrianna Alexander, Wolfgang Reisig:
Compositional Temporal Logic Based on Partial Order. TIME 2004: 125-132 - [e9]Jö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]. Lecture Notes in Computer Science 3098, Springer 2004, ISBN 3-540-22261-8 [contents] - [e8]Jordi Cortadella
Applications and Theory of Petri Nets 2004, 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings. Lecture Notes in Computer Science 3099, Springer 2004, ISBN 3-540-22236-7 [contents] - 2003
- [j12]Wolfgang Reisig:
On Gurevich's theorem on sequential algorithms. Acta Informatica 39(4): 273-305 (2003) - [j11]Wolfgang Reisig:
The Expressive Power of Abstract-State Machines. Comput. Artif. Intell. 22(3-4): 209-219 (2003) - [c38]Adrianna Alexander, Wolfgang Reisig:
Logic of Involved Variables - System Specification with Temporal Logic of Distributed Actions. ACSD 2003: 167-176 - [c37]Wolfgang Reisig:
The Computable Kernel of ASM. Abstract State Machines 2003: 421-422 - [c36]Herbert 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 - [c35]Jayadev Misra, Wolfgang Reisig, Michael Schöttner, Laurent Lefèvre:
Topic Introduction. Euro-Par 2003: 623 - [e7]Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber:
Petri Net Technology for Communication-Based Systems - Advances in Petri Nets. Lecture Notes in Computer Science 2472, Springer 2003, ISBN 3-540-20538-1 [contents] - 2002
- [c34]Wolfgang Reisig:
Teleteaching-Vorlesung "Verteilte Systeme: Formale Methoden - Anwendungen - Werkzeuge". GI Jahrestagung 2002: 263-269 - 2000
- [c33]Wolfgang Reisig:
Towards an ASM Thesis for Unconventional Algorithms. Abstract State Machines 2000: 112-130 - [c32]Ekkart Kindler
Inter-operability of Workflow Applications: Local Criteria for Global Soundness. Business Process Management 2000: 235-253 - [c31]Wolfgang Reisig:
The Linear Theory of Multiset Based Dynamic Systems. WMP 2000: 287-298
1990 – 1999
- 1998
- [b7]Wolfgang Reisig:
Elements of distributed algorithms: modeling and analysis with Petri nets. Springer 1998, ISBN 3-540-62752-9 - [c30]Wolfgang Reisig:
Distributed algorithms: modeling and analysis with Petri nets. SMC 1998: 38-43 - [e6]Wolfgang 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. Lecture Notes in Computer Science 1491, Springer 1998, ISBN 3-540-65306-6 [contents] - [e5]Wolfgang 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. Lecture Notes in Computer Science 1492, Springer 1998, ISBN 3-540-65307-4 [contents] - 1997
- [j10]Hartmut Ehrig, Wolfgang Reisig:
An Algebraic View on Petri Nets. Bull. EATCS 61 (1997) - [j9]Ekkart Kindler
Petri Net Based Verification of Distributed Algorithms: An Example. Formal Aspects Comput. 9(4): 409-424 (1997) - [c29]Ekkart Kindler
Verification of Distributed Algorithms with Algebraic Petri Nets. Foundations of Computer Science: Potential - Theory - Cognition 1997: 261-270 - 1996
- [j8]Jörg Desel, Wolfgang Reisig:
The Synthesis Problem of Petri Nets. Acta Informatica 33(4): 297-315 (1996) - [c28]Wolfgang Reisig, Grzegorz Rozenberg:
Informal Introduction to Petri Nets. Petri Nets 1996: 1-11 - [c27]Jörg Desel, Wolfgang Reisig:
Place or Transition Petri Nets. Petri Nets 1996: 122-173 - [c26]Wolfgang Reisig, Ekkart Kindler
Distributed Algorithms for Networks of Agents. Petri Nets (2) 1996: 331-385 - [c25]Wolfgang Reisig:
Modelling and Verification of Distributed Algorithms. CONCUR 1996: 579-595 - [c24]Wolfgang Reisig:
Interleaved progress, concurrent progress, and local progress. Partial Order Methods in Verification 1996: 99-115 - [e4]Jonathan Billington, Wolfgang Reisig:
Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings. Lecture Notes in Computer Science 1091, Springer 1996, ISBN 3-540-61363-3 [contents] - 1995
- [p1]Wolfgang Reisig:
Petri Net Models of Distributed Algorithms. Computer Science Today 1995: 441-454 - 1994
- [c23]Wolfgang Reisig:
Correctness Proofs of Distributed Algorithms. Dagstuhl Seminar on Distributed Systems 1994: 164-177 - 1993
- [c22]Jörg Desel, Wolfgang Reisig:
The Synthesis Problem of Petri Nets. STACS 1993: 120-129 - 1992
- [b6]Wolfgang Reisig:
A primer in Petri net design. Springer Compass International, Springer 1992, ISBN 978-3-540-52044-3, pp. I-XII, 1-120 - [c21]Wolfgang Reisig:
Combining Petri Nets and Other Formal Methods. Application and Theory of Petri Nets 1992: 24-44 - [i3]Jörg Desel, Wolfgang Reisig:
The synthesis problem of Petri nets. Forschungsberichte, TU Munich TUM I 9231: 1-29 (1992) - [i2]Wolfgang Reisig:
Elements of a temporal logic coping with concurrency. Forschungsberichte, TU Munich TUM I 9234: 1-34 (1992) - 1991
- [j7]Wolfgang Reisig:
Petri Nets and Algebraic Specifications. Theor. Comput. Sci. 80(1): 1-34 (1991) - [i1]Wolfgang Reisig:
Concurrent temporal logic. Forschungsberichte, TU Munich SFB 342: 1-32 (1991) - 1990
- [c20]Helmut Plünnecke, Wolfgang Reisig:
Bibliography on Petri nets 1990. Applications and Theory of Petri Nets 1990: 317-572
1980 – 1989
- 1988
- [j6]Wolfgang Reisig:
Concurrency is more fundamental than interleaving. Bull. EATCS 35: 181-184 (1988) - [c19]Wolfgang Reisig:
Temporal Logic and Causality in Concurrent Systems. Concurrency 1988: 121-139 - [c18]Wolfgang Reisig:
Towards a temporal logic of causality and choice in distributed systems. REX Workshop 1988: 603-627 - 1987
- [b5]Wolfgang Reisig:
Das Verhalten verteilter Systeme. GMD-Bericht 170, Oldenbourg 1987, ISBN 978-3-486-20516-9, pp. 1-96 - [e3]Wilfried 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, Germany, 8-19 September 1986. Lecture Notes in Computer Science 254, Springer 1987, ISBN 3-540-17905-4 [contents] - [e2]Wilfried 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, Germany, 8-19 September 1986. Lecture Notes in Computer Science 255, Springer 1987, ISBN 3-540-17906-2 [contents] - 1986
- [b4]Wolfgang Reisig:
Petrinetze, Eine Einführung, 2. Auflage. Springer 1986, ISBN 3-540-16622-X - [c17]Wolfgang Reisig:
Embedded System Description Using Petri Nets. Embedded Systems 1986: 18-62 - [c16]Wolfgang Reisig:
Petri Nets in Software Engineering. Advances in Petri Nets 1986: 63-96 - [c15]Wolfgang Reisig:
Place/Transition Systems. Advances in Petri Nets 1986: 117-141 - [c14]Wolfgang Reisig:
A strong part of concurrency. European Workshop on Applications and Theory of Petri Nets 1986: 238-272 - [c13]Stefan 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
- [b3]Wolfgang Reisig:
Systementwurf mit Netzen. Springer 1985, ISBN 3-540-13786-6 - [b2]Wolfgang Reisig:
Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science 4, Springer 1985, ISBN 3-540-13723-8, pp. I-IX, 1-164 - [j5]Wolfgang Reisig:
Petri Nets with Individual Tokens. Theor. Comput. Sci. 41: 185-213 (1985) - 1984
- [j4]Otthein Herzog, Wolfgang Reisig, Rüdiger Valk:
Petri-Netze: ein Abriß ihrer Grundlagen und Anwendungen. Inform. Spektrum 7(1): 20-27 (1984) - [c12]Ursula Goltz, Wolfgang Reisig:
CSP-programs with individual tokens. European Workshop on Applications and Theory in Petri Nets 1984: 169-196 - [c11]Wolfgang Reisig:
Partial Order Semantics versus Interleaving Semantics for CSP-like Languages and its Impact on Fairness. ICALP 1984: 403-413 - 1983
- [j3]Ursula Goltz, Wolfgang Reisig:
The Non-sequential Behavior of Petri Nets. Inf. Control. 57(2/3): 125-147 (1983) - [c10]Ursula Goltz, Wolfgang Reisig:
Processes of Place/Transition-Nets. ICALP 1983: 264-277 - [c9]Wolfgang Reisig:
System Design Using Petri Nets. Requirements Engineering 1983: 29-41 - 1982
- [b1]Wolfgang Reisig:
Petrinetze, Eine Einführung. Springer 1982, ISBN 3-540-11478-5 - [j2]Wolfgang Reisig:
Deterministic Buffer Synchronization of Sequential Processes. Acta Informatica 18: 117-134 (1982) - [c8]Wolfgang Reisig:
Petri Nets with Individual Tokens. European Workshop on Applications and Theory of Petri Nets 1982: 229-249 - [e1]Claude 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, Strasbourg, France 23.-26. September 1980, Bad Honnef, Germany, 28.-30. September 1981. Informatik-Fachberichte 52, Springer 1982, ISBN 3-540-11189-1 [contents] - 1981
- [c7]Ursula 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 - [c6]Wolfgang Reisig:
Overview on Topic 4: Net Morphisms and Higher Level Net Interpretations. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 109-110 - [c5]Wolfgang Reisig:
Recursive Nets. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 125-130 - [c4]Ursula 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 - 1980
- [c3]Wolfgang Reisig:
Schemes for Nonsequential Processing Systems. MFCS 1980: 515-527 - [c2]Wolfgang Reisig:
A Graph Grammar Representation of Non-Sequential Processes. WG 1980: 318-325
1970 – 1979
- 1979
- [j1]Wolfgang Reisig:
A Note on the Representation of Finite Tree Automata. Inf. Process. Lett. 8(5): 239-240 (1979) - [c1]Wolfgang Reisig:
Zur Verwendung von Petrinetz-Morphismen bei der System-Konstruktion. Formale Modelle für Informationssysteme 1979: 220-235
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-11 22:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: