__ Current Time: 0.00 __________________________________________ INITIAL CONDITIONS in model Initial State: None Next scheduled internal transition at time inf INITIAL CONDITIONS in model Initial State: None Next scheduled internal transition at time inf INITIAL CONDITIONS in model Initial State: True Next scheduled internal transition at time 1.00 INITIAL CONDITIONS in model Initial State: None Next scheduled internal transition at time inf INITIAL CONDITIONS in model Initial State: (None, None) Next scheduled internal transition at time inf INITIAL CONDITIONS in model Initial State: None Next scheduled internal transition at time inf __ Current Time: 1.00 __________________________________________ EXTERNAL TRANSITION in model Input Port Configuration: port : 3 New State: 3 Next scheduled internal transition at time 2.00 EXTERNAL TRANSITION in model Input Port Configuration: port : 3 New State: 3 Next scheduled internal transition at time 2.00 INTERNAL TRANSITION in model New State: False Output Port Configuration: port : 3 Next scheduled internal transition at time inf __ Current Time: 2.00 __________________________________________ EXTERNAL TRANSITION in model Input Port Configuration: port : 3 New State: 3 Next scheduled internal transition at time 3.00 EXTERNAL TRANSITION in model Input Port Configuration: port : 3 port : 3 New State: (3, 3) Next scheduled internal transition at time 3.00 INTERNAL TRANSITION in model New State: None Output Port Configuration: port : 3 Next scheduled internal transition at time inf __ Current Time: 2.00 __________________________________________ EXTERNAL TRANSITION in model Input Port Configuration: port : 3 New State: 3 Next scheduled internal transition at time 3.00 EXTERNAL TRANSITION in model Input Port Configuration: port : 3 port : 3 New State: (3, 3) Next scheduled internal transition at time 3.00 INTERNAL TRANSITION in model New State: None Output Port Configuration: port : 3 Next scheduled internal transition at time inf __ Current Time: 3.00 __________________________________________ EXTERNAL TRANSITION in model Input Port Configuration: port : 3 New State: 3 Next scheduled internal transition at time 4.00 INTERNAL TRANSITION in model New State: None Output Port Configuration: port : 3 Next scheduled internal transition at time inf __ Current Time: 3.00 __________________________________________ EXTERNAL TRANSITION in model Input Port Configuration: port : (3, 3) New State: (3, 3) Next scheduled internal transition at time 4.00 INTERNAL TRANSITION in model New State: (None, None) Output Port Configuration: port : (3, 3) Next scheduled internal transition at time inf __ Current Time: 4.00 __________________________________________ INTERNAL TRANSITION in model New State: None Output Port Configuration: port : (3, 3) port : (3, 3) Next scheduled internal transition at time inf