Sitzung: Jeden Freitag in der Vorlesungszeit ab 16 Uhr c. t. im MAR 0.005. In der vorlesungsfreien Zeit unregelmäßig (Jemensch da?). Macht mit!

FSS Gedächtnisprotokoll WS 04/05

Was ist ein Prozessnetz?

Was ist ein "freies kommutatives Monoid"?

Was ist an einem "freien kommuitativen Monoid" frei?

Was ist ein Netzmorphismus? Was gilt für einen solchen?

Was lässt sich über das Schaltverhalten zweier Netze sagen, wenn es einen Netzmorphismus gibt? dazu den Beweis(ansatz)

Was ist ein Algebraisches High-Level-Netz?

Was ist das Flattening eines AHL?

Wie werden die Transitionen und Stellen bei dem Flattening ermittelt?

Was gibt es noch für eine Konstuktion in dem Zusammenhang?

Wozu ist das Skelett gut?

--FelixB 22:24, 14. Feb 2005 (CET)