Mögliche Themen für Vorträge

---

... aus Büchern:

• Hierarchische Petrinetze (Fehling)
• algebraische Petrinetze (Reisig)
• Petri Nets for System Engineering (Buch aus dem MATCH-Projekt, erscheint voraussichtlich Ende 2000)

... aus Konferenzen:

ATPN'95 (Lecture Notes in Computer Science 935)

• pp. 45-65, Basten, Voorhoeve. An algebraic Semantics for Hierarchical P/T-Nets.
• pp.201-217, Christensen, Petrucci. Modular State Space Analysis of Coloured Petri Nets.
• pp.258-277, Katoe. Causal Behaviours of Nets.
• pp.278-297, Lakos. From Coloured Petri Nets to Object Petri Nets.
• pp.432-450, Schreiber. Functional Equivalence of Petri Nets.

CONCUR'95 (Lecture Notes in Computer Science 962, K CON 21614)

• pp.175-189, Nielsen, Priese, Sassone. Characterizing Congruences for Petri Nets.
• pp.348-362, Jancar, Moller. Checking Regular Properties of Petri Nets.

PROTOCOL WORKSHOP, Turin '95

• pp.31-42 Lakos, Lamp, Keen, Marriott. Modelling Network Protocols with Object Petri Nets.

• pp. 1-25, Valk. Petri Nets as Token Objects - An Introduction to Elementary Object Nets.
• pp.345-364, Kindler, Völzer. Flexibility in Algebraic Nets.
• pp.365-384, Kindler, Vesper. ESTL: A Temporal Logic for Events and States.