Humboldt-Universität zu Berlin, Institut für Informatik
Forschungsaktivitäten 1994
Vorträge und Veröffentlichungen
Petri Net Newsletter
- The Gödel Model of Petri Nets
(Cover Picture Story, 3 pages)
Workshop CSP 1993
- Modular Analysis Methods for Petri Nets
(Extended abstract, 4 pages)
Workshop Algorithmen und
Werkzeuge für Petrinetze 1994
- Modulare Methoden für die Erreichbarkeitsanalyse in Petri-Netzen
(Kurzbeitrag, 6 Seiten)
TCS - Journal, (accepted)
- Proving non-reachability by modulo-invariants
(joined work with J.Desel und M.Radola, 17 pages)
Gutachtertätigkeit
Conference Application and Theory of Petri Nets 1994
Workshop Algorithmen und
Werkzeuge für Petrinetze 1994
ndf@
erstellt am < 30-10-94 > ,
zuletzt geändert am < 20-12-94 >