| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105 |
- INTERNAL TRANSITION in <MyTrafficSystem.trafficLight> @ 60.0
- NEW STATE <green>
- OUTPUTFNC returned {}
- time_next: 110.0 (ta: 50.0)
- INTERNAL TRANSITION in <MyTrafficSystem.trafficLight> @ 110.0
- NEW STATE <yellow>
- OUTPUTFNC returned {}
- time_next: 120.0 (ta: 10.0)
- INTERNAL TRANSITION in <MyTrafficSystem.trafficLight> @ 120.0
- NEW STATE <red>
- OUTPUTFNC returned {}
- time_next: 180.0 (ta: 60.0)
- INTERNAL TRANSITION in <MyTrafficSystem.trafficLight> @ 180.0
- NEW STATE <green>
- OUTPUTFNC returned {}
- time_next: 230.0 (ta: 50.0)
- EXTERNAL TRANSITION in <MyTrafficSystem.trafficLight> @ 200
- NEW STATE <manual>
- inputs were {}
- time_next: inf (ta: inf)
- INTERNAL TRANSITION in <MyTrafficSystem.policeman> @ 200
- NEW STATE <working>
- OUTPUTFNC returned {}
- time_next: 300 (ta: 100)
- EXTERNAL TRANSITION in <MyTrafficSystem.trafficLight> @ 300
- NEW STATE <red>
- inputs were {}
- time_next: 360 (ta: 60)
- INTERNAL TRANSITION in <MyTrafficSystem.policeman> @ 300
- NEW STATE <idle>
- OUTPUTFNC returned {}
- time_next: 500 (ta: 200)
- INTERNAL TRANSITION in <MyTrafficSystem.trafficLight> @ 360
- NEW STATE <green>
- OUTPUTFNC returned {}
- time_next: 410 (ta: 50)
- INTERNAL TRANSITION in <MyTrafficSystem.trafficLight> @ 410
- NEW STATE <yellow>
- OUTPUTFNC returned {}
- time_next: 420 (ta: 10)
- INTERNAL TRANSITION in <MyTrafficSystem.trafficLight> @ 420
- NEW STATE <red>
- OUTPUTFNC returned {}
- time_next: 480 (ta: 60)
- INTERNAL TRANSITION in <MyTrafficSystem.trafficLight> @ 480
- NEW STATE <green>
- OUTPUTFNC returned {}
- time_next: 530 (ta: 50)
- EXTERNAL TRANSITION in <MyTrafficSystem.trafficLight> @ 500
- NEW STATE <manual>
- inputs were {}
- time_next: inf (ta: inf)
- INTERNAL TRANSITION in <MyTrafficSystem.policeman> @ 500
- NEW STATE <working>
- OUTPUTFNC returned {}
- time_next: 600 (ta: 100)
- EXTERNAL TRANSITION in <MyTrafficSystem.trafficLight> @ 600
- NEW STATE <red>
- inputs were {}
- time_next: 660 (ta: 60)
- INTERNAL TRANSITION in <MyTrafficSystem.policeman> @ 600
- NEW STATE <idle>
- OUTPUTFNC returned {}
- time_next: 800 (ta: 200)
- INTERNAL TRANSITION in <MyTrafficSystem.trafficLight> @ 660
- NEW STATE <green>
- OUTPUTFNC returned {}
- time_next: 710 (ta: 50)
- INTERNAL TRANSITION in <MyTrafficSystem.trafficLight> @ 710
- NEW STATE <yellow>
- OUTPUTFNC returned {}
- time_next: 720 (ta: 10)
- INTERNAL TRANSITION in <MyTrafficSystem.trafficLight> @ 720
- NEW STATE <red>
- OUTPUTFNC returned {}
- time_next: 780 (ta: 60)
- INTERNAL TRANSITION in <MyTrafficSystem.trafficLight> @ 780
- NEW STATE <green>
- OUTPUTFNC returned {}
- time_next: 830 (ta: 50)
- EXTERNAL TRANSITION in <MyTrafficSystem.trafficLight> @ 800
- NEW STATE <manual>
- inputs were {}
- time_next: inf (ta: inf)
- INTERNAL TRANSITION in <MyTrafficSystem.policeman> @ 800
- NEW STATE <working>
- OUTPUTFNC returned {}
- time_next: 900 (ta: 100)
- EXTERNAL TRANSITION in <MyTrafficSystem.trafficLight> @ 900
- NEW STATE <red>
- inputs were {}
- time_next: 960 (ta: 60)
- INTERNAL TRANSITION in <MyTrafficSystem.policeman> @ 900
- NEW STATE <idle>
- OUTPUTFNC returned {}
- time_next: 1100 (ta: 200)
- INTERNAL TRANSITION in <MyTrafficSystem.trafficLight> @ 960
- NEW STATE <green>
- OUTPUTFNC returned {}
- time_next: 1010 (ta: 50)
- INTERNAL TRANSITION in <MyTrafficSystem.trafficLight> @ 1010
- NEW STATE <yellow>
- OUTPUTFNC returned {}
- time_next: 1020 (ta: 10)
|
