Wolfgang Reisig

According to our database1, Wolfgang Reisig authored at least 100 papers between 1979 and 2018.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
Towards a conceptual foundation of service composition.
Computer Science - R&D, 2018

2017
Computation semantics of the functional scientific workflow language Cuneiform.
J. Funct. Program., 2017

The 10th advanced summer school on service-oriented computing.
Computer Science - R&D, 2017

The 9th advanced summer school on service-oriented computing, June 28-July 3, Hersonissos, Crete, Greece.
Computing, 2017

2016
A Branching-Process-Based Method to Check Soundness of Workflow Systems.
IEEE Access, 2016

Service Orientation as a Paradigm of Computing.
Proceedings of the 12th International Conference on ICT in Education, 2016

2015
The concepts of Petri nets.
Software and System Modeling, 2015

Certification of Distributed Algorithms Solving Problems with Optimal Substructure.
Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

2014
Petri Nets in the Biosciences.
it - Information Technology, 2014

Konzepte der Petrinetze.
Informatik Spektrum, 2014

Petrinetze.
Informatik Spektrum, 2014

Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies.
Bulletin of the EATCS, 2014

2013
In Memoriam: Carl Adam Petri.
Trans. Petri Nets and Other Models of Concurrency, 2013

The Synthesis Problem.
Trans. Petri Nets and Other Models of Concurrency, 2013

Remarks on Egon Börger: "Approaches to model business processes: a critical analysis of BPMN, workflow patterns and YAWL, SOSYM 11: 305-318".
Software and System Modeling, 2013

Understanding Petri Nets - Modeling Techniques, Analysis Methods, Case Studies.
Springer, ISBN: 978-3-642-33277-7, 2013

2012
A Fresh Look at Petri Net Extensions.
Proceedings of the Software Service and Application Engineering, 2012

What Should we Teach About Petri Nets?
Proceedings of the International Workshop on Petri Nets and Software Engineering, 2012

2010
50 Jahre Verhaltensmodellierung: Vom Modellieren mit Programmen zum Programmieren mit Modellen.
Proceedings of the Modellierung 2010, 24.-26. März 2010, Klagenfurt, Österreich, 2010

Yuri, Logic, and Computer Science.
Proceedings of the Fields of Logic and Computation, 2010

2009
An ASM-Characterization of a Class of Distributed Algorithms.
Proceedings of the Rigorous Methods for Software Construction and Analysis, 2009

Simple Composition of Nets.
Proceedings of the Applications and Theory of Petri Nets, 2009

2008
The computable kernel of Abstract State Machines.
Theor. Comput. Sci., 2008

Petri net.
Scholarpedia, 2008

Towards a Theory of Services.
Proceedings of the Information Systems and e-Business Technologies, 2008

The Scholten/Dijkstra Pebble Game Played Straightly, Distributedly, Online and Reversed.
Proceedings of the Pillars of Computer Science, 2008

2007
The role of business processes in service oriented architectures (Editorial).
IJBPIM, 2007

The Decent Philosophers: An Exercise in Concurrent Behaviour.
Fundam. Inform., 2007

Challenges in a Service-Oriented World.
ERCIM News, 2007

Analyzing BPEL4Chor: Verification and Participant Synthesis.
Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007

A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines.
Proceedings of the Algebra and Coalgebra in Computer Science, 2007

Services as a Paradigm of Computation.
Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

2006
Analysis Techniques for Service Models.
Proceedings of the Leveraging Applications of Formal Methods, 2006

06291 Abstracts Collection -- The Role of Business Processes in Service-Oriented Architectures.
Proceedings of the Role of Business Processes in Service Oriented Architectures, 16.07., 2006

How Expressive Are Petri Net Schemata?.
Proceedings of the Petri Nets and Other Models of Concurrency, 2006

Compensation in Workflow Nets.
Proceedings of the Petri Nets and Other Models of Concurrency, 2006

2005
Kommunizierende Workflow-Services modellieren und analysieren.
Inform., Forsch. Entwickl., 2005

Modeling- and Analysis Techniques for Web Services and Business Processes.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

ASM-based Semantics for BPEL: The Negative Control Flow.
Proceedings of the 12th International Workshop on Abstract State Machines, 2005

On the Expressive Power of Petri Net Schemata.
Proceedings of the Applications and Theory of Petri Nets 2005, 2005

Hazard Detection in a GALS Wrapper: A Case Study.
Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 2005

2004
Compositional Temporal Logic Based on Partial Order.
Proceedings of the 11th International Symposium on Temporal Representation and Reasoning (TIME 2004), 2004

Verteilte Geschäftsprozesse und Web Services.
Proceedings of the Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, 2004

2003
The Expressive Power of Abstract-State Machines.
Computers and Artificial Intelligence, 2003

On Gurevich's theorem on sequential algorithms.
Acta Inf., 2003

Topic Introduction.
Proceedings of the Euro-Par 2003. Parallel Processing, 2003

The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY.
Proceedings of the Petri Net Technology for Communication-Based Systems, 2003

The Computable Kernel of ASM.
Proceedings of the Abstract State Machines, 2003

Logic of Involved Variables - System Specification with Temporal Logic of Distributed Actions.
Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2002
Teleteaching-Vorlesung "Verteilte Systeme: Formale Methoden - Anwendungen - Werkzeuge".
Proceedings of the Informatik bewegt: Informatik 2002 - 32. Jahrestagung der Gesellschaft für Informatik e.v. (GI), 30. September, 2002

2000
The Linear Theory of Multiset Based Dynamic Systems.
Proceedings of the Multiset Processing, 2000

Inter-operability of Workflow Applications: Local Criteria for Global Soundness.
Proceedings of the Business Process Management, Models, Techniques, and Empirical Studies, 2000

Towards an ASM Thesis for Unconventional Algorithms.
Proceedings of the Abstract State Machines, 2000

1998
Distributed algorithms: modeling and analysis with Petri nets.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

Elements of distributed algorithms: modeling and analysis with Petri nets
Springer, ISBN: 3-540-62752-9, 1998

1997
Petri Net Based Verification of Distributed Algorithms: An Example.
Formal Asp. Comput., 1997

An Algebraic View on Petri Nets.
Bulletin of the EATCS, 1997

Verification of Distributed Algorithms with Algebraic Petri Nets.
Proceedings of the Foundations of Computer Science: Potential - Theory, 1997

1996
The Synthesis Problem of Petri Nets.
Acta Inf., 1996

Interleaved progress, concurrent progress, and local progress.
Proceedings of the Partial Order Methods in Verification, Proceedings of a DIMACS Workshop, 1996

Modelling and Verification of Distributed Algorithms.
Proceedings of the CONCUR '96, 1996

Informal Introduction to Petri Nets.
Proceedings of the Lectures on Petri Nets I: Basic Models, 1996

Distributed Algorithms for Networks of Agents.
Proceedings of the Lectures on Petri Nets II: Applications, 1996

Place or Transition Petri Nets.
Proceedings of the Lectures on Petri Nets I: Basic Models, 1996

1995
Petri Net Models of Distributed Algorithms.
Proceedings of the Computer Science Today: Recent Trends and Developments, 1995

1994
Correctness Proofs of Distributed Algorithms.
Proceedings of the Theory and Practice in Distributed Systems, International Workshop, 1994

1993
The Synthesis Problem of Petri Nets.
Proceedings of the STACS 93, 1993

1992
Combining Petri Nets and Other Formal Methods.
Proceedings of the Application and Theory of Petri Nets 1992, 1992

A primer in Petri net design.
Springer Compass International, Springer, ISBN: 978-3-540-52044-3, 1992

1991
Petri Nets and Algebraic Specifications.
Theor. Comput. Sci., 1991

1990
Bibliography on Petri nets 1990.
Proceedings of the Advances in Petri Nets 1991, 1990

1988
Concurrency is more fundamental than interleaving.
Bulletin of the EATCS, 1988

Towards a temporal logic of causality and choice in distributed systems.
Proceedings of the Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30, 1988

Temporal Logic and Causality in Concurrent Systems.
Proceedings of the Concurrency 88: International Conference on Concurrency, 1988

1986
A strong part of concurrency.
Proceedings of the Advances in Petri Nets 1987, 1986

Bibliography of Petri nets.
Proceedings of the Advances in Petri Nets 1987, 1986

Embedded System Description Using Petri Nets.
Proceedings of the Embedded Systems: New Approaches to Their Formal Description and Design, 1986

Place/Transition Systems.
Proceedings of the Petri Nets: Central Models and Their Properties, 1986

Petri Nets in Software Engineering.
Proceedings of the Petri Nets: Central Models and Their Properties, 1986

Petrinetze, Eine Einführung, 2. Auflage
Springer, ISBN: 3-540-16622-X, 1986

1985
Petri Nets with Individual Tokens.
Theor. Comput. Sci., 1985

Petri Nets: An Introduction
EATCS Monographs on Theoretical Computer Science 4, Springer, ISBN: 978-3-642-69968-9, 1985

Systementwurf mit Netzen
Springer, ISBN: 3-540-13786-6, 1985

1984
Petri-Netze: ein Abriß ihrer Grundlagen und Anwendungen.
Informatik Spektrum, 1984

Partial Order Semantics versus Interleaving Semantics for CSP-like Languages and its Impact on Fairness.
Proceedings of the Automata, 1984

CSP-programs with individual tokens.
Proceedings of the Advances in Petri Nets 1984, 1984

1983
The Non-sequential Behavior of Petri Nets
Information and Control, 1983

System Design Using Petri Nets.
Proceedings of the Requirements Engineering, 1983

Processes of Place/Transition-Nets.
Proceedings of the Automata, 1983

1982
Deterministic Buffer Synchronization of Sequential Processes.
Acta Inf., 1982

Petri Nets with Individual Tokens.
Proceedings of the Applications and Theory of Petri Nets, 1982

Petrinetze, Eine Einführung
Springer, ISBN: 3-540-11478-5, 1982

1981
Recursive Nets.
Proceedings of the Application and Theory of Petri Nets, 1981

Overview on Topic 4: Net Morphisms and Higher Level Net Interpretations.
Proceedings of the Application and Theory of Petri Nets, 1981

Two Alterative Definitions of Synchronic Distance.
Proceedings of the Application and Theory of Petri Nets, 1981

Weighted Synchronic Distances.
Proceedings of the Application and Theory of Petri Nets, 1981

1980
A Graph Grammar Representation of Non-Sequential Processes.
Proceedings of the Graphtheoretic Concepts in Computer Science, 1980

Schemes for Nonsequential Processing Systems.
Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980

1979
A Note on the Representation of Finite Tree Automata.
Inf. Process. Lett., 1979

Zur Verwendung von Petrinetz-Morphismen bei der System-Konstruktion.
Formale Modelle für Informationssysteme, 1979


  Loading...