PNL: Prozesskalküle
2007-11-26 22:14
Anonymer User
Hallo,
auf Seite 143 im aktuellen PNL-Skript gibt es eine Aufgabe 4.4 . Soll man bei dieser Aufgabe die informelle Semantik wie das Beispiel auf Seite 142 oben benutzen oder die Kalküle aus der Definition des Prozessgraph? Wenn 2., dann was ist das Axiom A0?
auf Seite 143 im aktuellen PNL-Skript gibt es eine Aufgabe 4.4 . Soll man bei dieser Aufgabe die informelle Semantik wie das Beispiel auf Seite 142 oben benutzen oder die Kalküle aus der Definition des Prozessgraph? Wenn 2., dann was ist das Axiom A0?