Studium
/
Parallele_Verteilte_Systeme
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

fast funktionierende Version A2b4

This commit is contained in:
Johannes Theiner 2020-05-10 09:23:44 +02:00
parent 831e723d92
commit 3d33cd4f63
3 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

BIN
mCRL2/TrafficLights/v4/v4_spec.lps Normal file
View File

Binary file not shown.

BIN
mCRL2/TrafficLights/v4/v4_spec.lts Normal file
View File

Binary file not shown.

4
mCRL2/TrafficLights/v4/v4_spec.mcrl2
View File

@ -49,8 +49,8 @@ proc
TL(direction : CardinalDirection, colour : Colour) = TL(direction : CardinalDirection, colour : Colour) =
show(direction, colour). show(direction, colour).
(colour == red) (colour == red)
-> ChangeLight(direction, colour) -> (changeDirection(nextDirection(direction)) . changeDirection(direction) . ChangeLight(direction, colour))
<> changeDirection(nextDirection(direction)) . ChangeLight(direction, colour) <> ChangeLight(direction, colour)
; ;
ChangeLight(direction : CardinalDirection, colour : Colour) = ChangeLight(direction : CardinalDirection, colour : Colour) =