Concepedia

Wolfgang Reisig

WR

20

Publications

1.3K

Citations

17

H-Index

1982

Active since

Affiliations

Humboldt-Universität zu Berlin(Current)

Technical University of Munich

RWTH Aachen University

Wolfgang Reisig is an author at Humboldt-Universität zu Berlin specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsSystems EngineeringProcess ControlParallel ComputingFormal VerificationComputer EngineeringSoftware DesignProgram Analysis

Publications per year

1982–2019

20

Publications

20

The non-sequential behaviour of Petri nets

Ursula Goltz, Wolfgang Reisig · Information and Control · 1983 · 295 citations

Petri Net, Engineering, Non-sequential Behaviour +5

Petri nets and algebraic specifications

Wolfgang Reisig · Theoretical Computer Science · 1991 · 257 citations

Petri Net, Formal Specification, Engineering +6

Carl Petri, Wolfgang Reisig · Scholarpedia · 2008 · 152 citations · Full text

The synthesis problem of Petri nets

Jörg Desel, Wolfgang Reisig · Acta Informatica · 1996 · 120 citations

Petri Net, Engineering, Industrial Engineering +6

ASM-based Semantics for BPEL: The Negative Control Flow.

Dirk Fahland, Wolfgang Reisig · 2005 · 78 citations

Rows per page

1–5 of 20