__ Current Time: 0.00 __________________________________________ INITIAL CONDITIONS in model Initial State: 1.0 Next scheduled internal transition at time 0.50 INITIAL CONDITIONS in model Initial State: inf Next scheduled internal transition at time inf INITIAL CONDITIONS in model Initial State: inf Next scheduled internal transition at time inf __ Current Time: 0.50 __________________________________________ INITIAL CONDITIONS in model Initial State: 1 Next scheduled internal transition at time 1.20 EXTERNAL TRANSITION in model Input Port Configuration: port : Eventsize = 1 New State: 1 Next scheduled internal transition at time 1.50 EXTERNAL TRANSITION in model Input Port Configuration: port : Eventsize = 1 New State: 1 Next scheduled internal transition at time 1.50 INITIAL CONDITIONS in model Initial State: inf Next scheduled internal transition at time inf INITIAL CONDITIONS in model Initial State: inf Next scheduled internal transition at time inf INITIAL CONDITIONS in model Initial State: inf Next scheduled internal transition at time inf INITIAL CONDITIONS in model Initial State: inf Next scheduled internal transition at time inf INTERNAL TRANSITION in model New State: 1.0 Output Port Configuration: port : Eventsize = 1 Next scheduled internal transition at time 1.50 __ Current Time: 1.20 __________________________________________ INTERNAL TRANSITION in model New State: 0 Output Port Configuration: Next scheduled internal transition at time inf __ Current Time: 1.50 __________________________________________ EXTERNAL TRANSITION in model Input Port Configuration: port : Eventsize = 1 New State: 0.2 Next scheduled internal transition at time 1.70 INTERNAL TRANSITION in model New State: 1.0 Output Port Configuration: Next scheduled internal transition at time 2.50 INTERNAL TRANSITION in model New State: inf Output Port Configuration: port : Eventsize = 1 Next scheduled internal transition at time inf __ Current Time: 1.70 __________________________________________ EXTERNAL TRANSITION in model Input Port Configuration: port : Eventsize = 1 New State: 0.2 Next scheduled internal transition at time 1.90 INTERNAL TRANSITION in model New State: inf Output Port Configuration: port : Eventsize = 1 Next scheduled internal transition at time inf __ Current Time: 1.90 __________________________________________ EXTERNAL TRANSITION in model Input Port Configuration: port : Eventsize = 1 New State: 0.2 Next scheduled internal transition at time 2.10 INTERNAL TRANSITION in model New State: inf Output Port Configuration: port : Eventsize = 1 Next scheduled internal transition at time inf __ Current Time: 2.10 __________________________________________ INTERNAL TRANSITION in model New State: inf Output Port Configuration: port : Eventsize = 1 Next scheduled internal transition at time inf __ Current Time: 2.50 __________________________________________ INTERNAL TRANSITION in model New State: 1.0 Output Port Configuration: Next scheduled internal transition at time 3.50 __ Current Time: 3.50 __________________________________________ INTERNAL TRANSITION in model New State: 1.0 Output Port Configuration: Next scheduled internal transition at time 4.50 __ Current Time: 4.50 __________________________________________ INTERNAL TRANSITION in model New State: 1.0 Output Port Configuration: Next scheduled internal transition at time 5.50 __ Current Time: 5.50 __________________________________________ INTERNAL TRANSITION in model New State: 1.0 Output Port Configuration: Next scheduled internal transition at time 6.50 __ Current Time: 6.50 __________________________________________ INTERNAL TRANSITION in model New State: 1.0 Output Port Configuration: Next scheduled internal transition at time 7.50 __ Current Time: 7.50 __________________________________________ INTERNAL TRANSITION in model New State: 1.0 Output Port Configuration: Next scheduled internal transition at time 8.50 __ Current Time: 8.50 __________________________________________ INTERNAL TRANSITION in model New State: 1.0 Output Port Configuration: Next scheduled internal transition at time 9.50 __ Current Time: 9.50 __________________________________________ INTERNAL TRANSITION in model New State: 1.0 Output Port Configuration: Next scheduled internal transition at time 10.50 __ Current Time: 10.50 __________________________________________ INTERNAL TRANSITION in model New State: 1.0 Output Port Configuration: Next scheduled internal transition at time 11.50 __ Current Time: 11.50 __________________________________________ INTERNAL TRANSITION in model New State: 1.0 Output Port Configuration: Next scheduled internal transition at time 12.50 __ Current Time: 12.50 __________________________________________ INTERNAL TRANSITION in model New State: 1.0 Output Port Configuration: Next scheduled internal transition at time 13.50 __ Current Time: 13.50 __________________________________________ INTERNAL TRANSITION in model New State: 1.0 Output Port Configuration: Next scheduled internal transition at time 14.50 __ Current Time: 14.50 __________________________________________ INTERNAL TRANSITION in model New State: 1.0 Output Port Configuration: Next scheduled internal transition at time 15.50 __ Current Time: 15.50 __________________________________________ INTERNAL TRANSITION in model New State: 1.0 Output Port Configuration: Next scheduled internal transition at time 16.50 __ Current Time: 16.50 __________________________________________ INTERNAL TRANSITION in model New State: 1.0 Output Port Configuration: Next scheduled internal transition at time 17.50 __ Current Time: 17.50 __________________________________________ INTERNAL TRANSITION in model New State: 1.0 Output Port Configuration: Next scheduled internal transition at time 18.50 __ Current Time: 18.50 __________________________________________ INTERNAL TRANSITION in model New State: 1.0 Output Port Configuration: Next scheduled internal transition at time 19.50 __ Current Time: 19.50 __________________________________________ INTERNAL TRANSITION in model New State: 1.0 Output Port Configuration: Next scheduled internal transition at time 20.50 __ Current Time: 20.50 __________________________________________ INTERNAL TRANSITION in model New State: 1.0 Output Port Configuration: Next scheduled internal transition at time 21.50 __ Current Time: 21.50 __________________________________________ INTERNAL TRANSITION in model New State: 1.0 Output Port Configuration: Next scheduled internal transition at time 22.50 __ Current Time: 22.50 __________________________________________ INTERNAL TRANSITION in model New State: 1.0 Output Port Configuration: Next scheduled internal transition at time 23.50 __ Current Time: 23.50 __________________________________________ INTERNAL TRANSITION in model New State: 1.0 Output Port Configuration: Next scheduled internal transition at time 24.50 __ Current Time: 24.50 __________________________________________ INTERNAL TRANSITION in model New State: 1.0 Output Port Configuration: Next scheduled internal transition at time 25.50 __ Current Time: 25.50 __________________________________________ INTERNAL TRANSITION in model New State: 1.0 Output Port Configuration: Next scheduled internal transition at time 26.50 __ Current Time: 26.50 __________________________________________ INTERNAL TRANSITION in model New State: 1.0 Output Port Configuration: Next scheduled internal transition at time 27.50 __ Current Time: 27.50 __________________________________________ INTERNAL TRANSITION in model New State: 1.0 Output Port Configuration: Next scheduled internal transition at time 28.50 __ Current Time: 28.50 __________________________________________ INTERNAL TRANSITION in model New State: 1.0 Output Port Configuration: Next scheduled internal transition at time 29.50 __ Current Time: 29.50 __________________________________________ INTERNAL TRANSITION in model New State: 1.0 Output Port Configuration: Next scheduled internal transition at time 30.50 __ Current Time: 30.50 __________________________________________ INTERNAL TRANSITION in model New State: 1.0 Output Port Configuration: Next scheduled internal transition at time 31.50 __ Current Time: 31.50 __________________________________________ INTERNAL TRANSITION in model New State: 1.0 Output Port Configuration: Next scheduled internal transition at time 32.50 __ Current Time: 32.50 __________________________________________ INTERNAL TRANSITION in model New State: 1.0 Output Port Configuration: Next scheduled internal transition at time 33.50 __ Current Time: 33.50 __________________________________________ INTERNAL TRANSITION in model New State: 1.0 Output Port Configuration: Next scheduled internal transition at time 34.50 __ Current Time: 34.50 __________________________________________ INTERNAL TRANSITION in model New State: 1.0 Output Port Configuration: Next scheduled internal transition at time 35.50 __ Current Time: 35.50 __________________________________________ INTERNAL TRANSITION in model New State: 1.0 Output Port Configuration: Next scheduled internal transition at time 36.50 __ Current Time: 36.50 __________________________________________ INTERNAL TRANSITION in model New State: 1.0 Output Port Configuration: Next scheduled internal transition at time 37.50 __ Current Time: 37.50 __________________________________________ INTERNAL TRANSITION in model New State: 1.0 Output Port Configuration: Next scheduled internal transition at time 38.50 __ Current Time: 38.50 __________________________________________ INTERNAL TRANSITION in model New State: 1.0 Output Port Configuration: Next scheduled internal transition at time 39.50 __ Current Time: 39.50 __________________________________________ INTERNAL TRANSITION in model New State: 1.0 Output Port Configuration: Next scheduled internal transition at time 40.50