Suchergebnisse - Reisig, Wolfgang
Wolfgang Reisig
Wolfgang Reisig (* 9. März 1950) ist ein deutscher Informatiker und Hochschullehrer. Er ist emeritierter Professor für Softwaretechnik und Theorie der Programmierung an der Humboldt-Universität zu Berlin. Reisig ist insbesondere bekannt für seine Publikationen zu Petri-Netzen.Reisig studierte an der Universität Bonn und schloss 1974 mit dem Diplom ab. 1979 promovierte er bei Klaus Indermark an der RWTH Aachen. 1987 habilitierte er sich in Bonn. Als Professor lehrte er zunächst von 1988 bis 1993 an der TU München und von 1993 bis zur Emeritierung 2015 an der Humboldt-Universität zu Berlin. Er ist seit 2006 Mitglied der Academia Europaea. Veröffentlicht in Wikipedia
- Treffer 1 – 20 von 60
- Zur nächsten Seite
-
1Understanding the Digital World: Modeling with HERAKLITVeröffentlicht 2024Signatur: Wird geladen …Online lesen
Standort: Wird geladen …
Elektronisch E-Book -
2Petrinetze: Modellierungstechnik, Analysemethoden, FallstudienVeröffentlicht 2010Signatur: Wird geladen …Online lesen
Standort: Wird geladen …
Elektronisch E-Book -
3Petrinetze: eine EinführungVeröffentlicht 1986Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
4Petri nets: an introductionVeröffentlicht 1985Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
5Deterministic buffer synchronization of sequential processesVeröffentlicht 1980Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
6Understanding Petri Nets: modeling techniques, analysis methods, case studiesVeröffentlicht 2013Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
7Petrinetze: Modellierungstechnik, Analysemethoden, FallstudienVeröffentlicht 2010Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
8Elements of distributed algorithms: modeling and analysis with Petri netsVeröffentlicht 1998Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
9Petri nets and abstract data typesVeröffentlicht 1989Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
10Systementwurf mit Netzen: [Petrinetze, statische Komponenten, dynamisches Verhalten, Stellen, Transitionen, Marken, Verfeinern und Einbetten, informale und formale Spezifikationen, Netze als Entwurfsmethode]Veröffentlicht 1985Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
11Systementwurf mit NetzenVeröffentlicht 1985Signatur: Wird geladen …
Standort: Wird geladen …Elektronisch E-Book -
12On a class of co-operating sequential processesVeröffentlicht 1978Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
13A primer in Petri net designVeröffentlicht 1992Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
14The synthesis problem of Petri netsVeröffentlicht 1992Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
15Elements of a temporal logic coping with concurrencyVeröffentlicht 1992Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
16Petrinetze: eine EinführungVeröffentlicht 1991Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
17Das Verhalten verteilter SystemeVeröffentlicht 1987Signatur: Wird geladen …
Standort: Wird geladen …Hochschulschrift/Dissertation Buch Wird geladen … -
18Petrinetze: Eine EinführungVeröffentlicht 1986Signatur: Wird geladen …
Standort: Wird geladen …Elektronisch E-Book -
19CSP-programs as nets with individual tokensVeröffentlicht 1984Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
20Petrinetze: eine EinführungVeröffentlicht 1982Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen …