Reisig, Wolfgang, 1950-....
Reisig, Wolfgang
Wolfgang Reisig German computer scientist
VIAF ID: 108265003 ( Personal )
Permalink: http://viaf.org/viaf/108265003
Preferred Forms
- 200 _ | ‡a Reisig ‡b Wolfgang ‡f 1950-....
- 100 1 _ ‡a Reisig, Wolfgang
-
-
-
-
-
- 100 1 _ ‡a Reisig, Wolfgang ‡d 1950-
- 100 1 _ ‡a Reisig, Wolfgang, ‡d 1950-
-
- 100 1 _ ‡a Reisig, Wolfgang, ‡d 1950-
-
-
-
-
- 100 1 0 ‡a Reisig, Wolfgang, ‡d 1950-
- 100 1 _ ‡a Reisig, Wolfgang, ‡d 1950-....
- 100 0 _ ‡a Wolfgang Reisig ‡c German computer scientist
4xx's: Alternate Name Forms (7)
5xx's: Related Names (4)
- 510 2 _ ‡a Advanced Course on Petri Nets (1996 : Dagstuhl, Wadern, Germany)
- 510 2 _ ‡a Freie Universität Berlin ‡b Institut für Informatik ‡e Affiliation
- 510 2 _ ‡a Freie Universität Berlin ‡b Institut für Informatik
- 510 2 _ ‡a Üniversität Bonn
Works
Title | Sources |
---|---|
Abstract state machines for the classroom the basics | |
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 | |
CSP programs as nets with individual tokens | |
Deterministic buffer synchronization of sequential processes | |
Distributed abstract state machines and their expressive power | |
Elements of distributed algorithms | |
Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung | |
Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday | |
Formal methods for concurrent systems design a survey | |
Hazard detection in a GALS wrapper a case study | |
ICATPN 2004 | |
Informatik aktuelle Themen im historischen Kontext | |
Interleaved progress, concurrent progress and local progress | |
Modeling in systems biology : the Petri net approach | |
On a class of co-operating sequential processes | |
On the structure of DNA algorithms | |
operating guideline approach to the SOA | |
Petori netto riron nyumon. | |
Petri nets | |
Petri Nets: Central Models and Their Properties : Advances in Petri Nets 1986, Part I Proceedings of an Advanced Course Bad Honnef, 8–19 September 1986 | |
Petri-Netze im Einsatz für Entwurf und Entwicklung von Informationssystemen : Technische Fachhochschule Berlin, 20.-22. September 1993 | |
Petrinetze | |
A primer in petri net design : with 139 illustrations | |
Schemes for nonsequential processing systems | |
Sieci Petriego : wprowadzenie | |
Systementwurf mit Netzen | |
Towards a temporal logic for true concurrency | |
Untersuchungen einer Klasse kooperierender sequentieller Prozessoren mit Hilfe von Petri-Netzen | |
Das Verhalten verteilter Systeme | |
Verteilte Geschäftsprozesse modellieren und analysieren | |
Verteiltes Rechnen: Im wesentlichen das Herkömmliche oder etwas grundlegend Neues? Antrittsvorlesung, 16. Dezember 1993 | |
ペトリネット理論入門 : 並列同時進行の表現と解析 |