Übung 1: Zst: (x1,x2,pc1,pc2,y) I = { (1,1,0,0,1)} (1,1,0,0,1)

Präsentation zum Thema: "Übung 1: Zst: (x1,x2,pc1,pc2,y) I = { (1,1,0,0,1)} (1,1,0,0,1)"—  Präsentation transkript:

1 Übung 1: Zst: (x1,x2,pc1,pc2,y) I = { (1,1,0,0,1)} (1,1,0,0,1)
(-1,1,0,0,1) (1,-1,0,0,1) (-1,-1,0,0,1) (1,1,1,0,0) (1,1,0,1,0) (-1,1,1,0,0) (-1,1,0,1,0) (1,-1,1,0,0) (1,-1,0,1,0) (-1,-1,1,0,0) (-1,-1,0,1,0) (-1,1,2,0,0) (1,-1,0,2,0) (1,1,2,0,0) (-1,-1,0,2,0) (-1,-1,2,0,0) (1,1,0,2,0) (1,-1,2,0,0) (-1,1,0,2,0) I = { (1,1,0,0,1)}

2 Übung 2: init(b0) = init(b1) = init(b2) = 0 next(b0) =  b0 next(b1) = (b0   b1)  ( b0  b1) (= if b0 then  b1 else b1) next(b2) = (b0  b1   b2)  (( b0   b1)  b2) ( = if b0  b1 then  b2 else b2)

3 I = { [a,c],[c,a],[a,e],[e,a],[a,f],[f,a],[a,g],[g,a],
Übung 3: I = { [a,c],[c,a],[a,e],[e,a],[a,f],[f,a],[a,g],[g,a], [b,d],[d,b],[b,g],[g,b], [c,e],[e,c],[c,f],[f,c],[c,g],[g,c]. [d,e],[e,d],[d,f],[f,d],[d,g],[g,d], [e,f],[f,e]} Hintergrund: Das Transitionssystem entstand aus zwei Prozessen. Prozess 1 arbeitet zyklisch Aktionen a,b,c,d ab Prozess 2 arbeitet zyklisch Aktionen e,b,f,g ab. a,c,d sind lokale Aktionen von Prozess 1 e,f,g sind lokale Aktionen von Prozess 2. b ist eine globale Aktion und wird von beiden Prozessen gleichzeitig abgearbeitet (b ist eine sog. Synchronisationsaktion). Unabhaengig sind auf jeden Fall lokale Aktionen verschiedener Prozesse. Aber auch Aktionen ein und desselben Prozesses, die nicht unmittelbar aufeinanderfolgen (z.B. a-c), erfuellen die Bedingungen an unabhaengige Aktionen.