__ Current Time: 0.000000 __________________________________________ INITIAL CONDITIONS in model Initial State: Next scheduled internal transition at time inf INITIAL CONDITIONS in model Initial State: Next scheduled internal transition at time 0.000000 INITIAL CONDITIONS in model Initial State: None Next scheduled internal transition at time 0.000000 __ Current Time: 0.000000 __________________________________________ EXTERNAL TRANSITION in model Input Port Configuration: port : [(('MainApp', 0), ('MainApp', 0), (event name: start_instance; port: None; parameters: ['MainApp[0]']))] port : New State: Next scheduled internal transition at time 0.000000 INTERNAL TRANSITION in model New State: Output Port Configuration: port : [(('MainApp', 0), ('MainApp', 0), (event name: start_instance; port: None; parameters: ['MainApp[0]']))] Next scheduled internal transition at time inf __ Current Time: 0.000000 __________________________________________ EXTERNAL TRANSITION in model Input Port Configuration: port : (('MainApp', 0), ('MainApp', 0), (event name: instance_started; port: None; parameters: ['MainApp[0]'])) New State: Next scheduled internal transition at time 0.000000 INTERNAL TRANSITION in model New State: EXIT STATE in model State: State(1) (name: /state1) TRANSITION FIRED in model Transition(/state1 -> /state3) ENTER STATE in model State: State(3) (name: /state3) Output Port Configuration: port : (('MainApp', 0), ('MainApp', 0), (event name: instance_started; port: None; parameters: ['MainApp[0]'])) Next scheduled internal transition at time 0.000000 __ Current Time: 0.000000 __________________________________________ INTERNAL TRANSITION in model New State: Output Port Configuration: port : Next scheduled internal transition at time inf __ Current Time: 0.000000 __________________________________________ EXTERNAL TRANSITION in model Input Port Configuration: port : [(('MainApp', 0), ('MainApp', 0), (event name: instance_started; port: None; parameters: ['MainApp[0]']))] port : New State: Next scheduled internal transition at time 0.000000 INTERNAL TRANSITION in model New State: Output Port Configuration: port : [(('MainApp', 0), ('MainApp', 0), (event name: instance_started; port: None; parameters: ['MainApp[0]']))] Next scheduled internal transition at time inf __ Current Time: 0.000000 __________________________________________ INTERNAL TRANSITION in model New State: Output Port Configuration: port : Next scheduled internal transition at time 0.000000 __ Current Time: 0.000000 __________________________________________ INTERNAL TRANSITION in model New State: Output Port Configuration: port : Next scheduled internal transition at time inf __ Current Time: 0.000000 __________________________________________ INTERNAL TRANSITION in model New State: None Output Port Configuration: Next scheduled internal transition at time inf