Fakultät für Informatik der Technischen Universität München Lehrstuhl für Effiziente Algorithmen Postadresse: 80290 München; Hausadresse: Arcisstr.21, 80333 München

Seminarankündigung für das SS94

Algorithmen für Petrinetze

Das Seminar umfaßt folgende Themen:

1. Reachability-Tree Construction
2. The Covering and Boundedness Problems For Vector Addition Systems
3. The Complexity of the Finite Containment Problem for Petri Nets
4. Complexity of Some Problems in Petri Nets
5. Liveness of Free Choice Systems
6. Conflict-free Petri Nets: Properties, Liveness and Boundedness
7. Complexity Results for Conflict-free Petri Nets
8. Normal and Sinkless Petri Nets
9. An Algorithm for the General Petri Net Reachability Problem
10. Consequences of the Decidability of the Reachability Problem for Petri Nets
11. The Complexity of the Word Problems for Commutative Semigroups and Polynomial Ideal.

Die Vorbesprechung und Anmeldung wird am Freitag, den 18. Februar 1993 um 13:00 Uhr im Raum S2229 durchgeführt. Weitere Auskünfte erteilt Ulla Koppenhagen.