added hybrid debugging folder (not completed)

debugging_fsa_cbd_composition/fsa_cbd_simulator/.project

@@ -0,0 +1,19 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<projectDescription>
+	<name>fsa_cbd_simulator</name>
+	<comment></comment>
+	<projects>
+		<project>cbdsimulator</project>
+		<project>fsasimulator</project>
+	</projects>
+	<buildSpec>
+		<buildCommand>
+			<name>org.python.pydev.PyDevBuilder</name>
+			<arguments>
+			</arguments>
+		</buildCommand>
+	</buildSpec>
+	<natures>
+		<nature>org.python.pydev.pythonNature</nature>
+	</natures>
+</projectDescription>

debugging_fsa_cbd_composition/fsa_cbd_simulator/.pydevproject

@@ -0,0 +1,11 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<?eclipse-pydev version="1.0"?><pydev_project>
+<pydev_property name="org.python.pydev.PYTHON_PROJECT_VERSION">python 2.7</pydev_property>
+<pydev_property name="org.python.pydev.PYTHON_PROJECT_INTERPRETER">Default</pydev_property>
+<pydev_pathproperty name="org.python.pydev.PROJECT_SOURCE_PATH">
+<path>/${PROJECT_DIR_NAME}</path>
+</pydev_pathproperty>
+<pydev_pathproperty name="org.python.pydev.PROJECT_EXTERNAL_SOURCE_PATH">
+<path>C:\Users\clagms\Source Control\Git_SCCD\src\build\lib</path>
+</pydev_pathproperty>
+</pydev_project>

debugging_fsa_cbd_composition/fsa_cbd_simulator/DEPRECATED_composed_hybrid_fsa_simulator.sccd

@@ -0,0 +1,347 @@
+Diagram(name = 'Weaved_CBD_FSA_Simulator_Manual',
+        author = 'Sadaf Mustafiz and Bruno Barroca and Claudio Gomes',
+        description = 'Manually woven CBD and FSA simulators with the FSA being the dominant.'):
+    Top {
+		import copy
+        from CBD_Controller import CBDController
+		import Options
+		from fsa_cbd_weaved_classes import CBDState
+		from weaved_cbd_fsa_lib import FSACBDLib
+    }
+
+    Class(name = 'Woven_CBD_FSA_Simulator', default = True):
+        Attribute(name = 'fsa_timestep')
+		Attribute(name = 'fsa_elapsed')
+		Attribute(name = 'fsa_currentState')
+		Attribute(name = 'fsa_logicalTime')
+		Attribute(name = 'fsa_currentEvent')
+		Attribute(name = 'fsa_selectedTransition')
+		Attribute(name = 'fsa_eventList')
+		
+		Attribute(name='cbd_iteration')
+        Attribute(name='cbd_strongComponentList')
+        Attribute(name='cbd_currentCompIdx')
+        Attribute(name='cbd_clock')
+        Attribute(name='cbd_options')
+        Attribute(name='cbd_delta')
+        Attribute(name='cbd_cbdController')
+		Attribute(name='cbd_depGraph')
+		
+		Attribute(name='weaved_delta')
+        Attribute(name='weaved_processing_cbd')
+        Attribute(name='weaved_ended_cbd')
+		Attribute(name='weaved_model')
+        Attribute(name='weaved_step_executed')
+        Attribute(name='weaved_global_state')
+        Attribute(name='weaved_previous_global_state')
+        Attribute(name='weaved_triggered_when_transition')
+        Attribute(name='weaved_lib')
+        
+		
+		Method fsa_getInputEventAt(time) {
+			return self.fsa_eventList->getInputAt(time)
+		}
+		
+		Method cbd_maxIterationsReached() {
+			return self.cbd_iteration >= self.cbd_options->getMaxIterations()
+        }
+		
+		Method cbd_hasNextStrongComponent() {
+			return (self.cbd_currentCompIdx + 1) < len(self.cbd_strongComponentList)
+        }
+		
+		Method cbd_currentComponentIsCycle() {
+            return self.cbd_cbdController->componentIsCycle(self.cbd_strongComponentList[self.cbd_currentCompIdx], self.cbd_depGraph)
+        }
+		
+		Method updateGlobalState() {
+			self.weaved_previous_global_state = copy->deepcopy(self.weaved_global_state)
+            self.weaved_lib->updateGlobalState(self.weaved_global_state, self.fsa_currentState.cbd, self.cbd_clock)
+        }
+		
+		Method updateCBDState() {
+            self.weaved_lib->updateCBDState(self.weaved_global_state, self.fsa_currentState.cbd)
+        }
+		
+		Method getTriggeredWhenTransition() {
+            return self.weaved_lib->getTriggeredWhenTransition(self.weaved_model, self.fsa_currentState, self.weaved_global_state, self.weaved_previous_global_state)
+        }
+		
+        Constructor(cbd_options, amodel, fsa_events) {
+            self.weaved_lib = FSACBDLib()
+			
+			self.cbd_options = cbd_options
+			self.cbd_delta = self.cbd_options->getDeltaT()
+			
+			self.weaved_model = amodel
+			self.fsa_eventList = fsa_events
+			self.fsa_timestep = 1.0
+        }
+		StateMachine:
+			initial = 'Start'
+			State('TFSA'):
+				State('FSA_Start'):
+					Transition(target='../FSA_Prepare'):
+					Actions {
+						self.weaved_delta = min(self.fsa_timestep, self.cbd_delta)
+						self.fsa_logicalTime = 0.0
+						self.fsa_elapsed = 0
+						self.fsa_timestep = self.weaved_delta
+						self.fsa_currentState = self.weaved_model.initialState
+
+						self.weaved_processing_cbd = False
+						self.weaved_ended_cbd = False
+						self.weaved_global_state = dict()
+						self.weaved_previous_global_state = dict()
+					}
+				State('FSA_Prepare'):
+				State('FSA_Process'):
+				State('FSA_CheckTermination'):
+				State('FSA_End'):
+
+			State('CBD'):
+				State('Start'):
+				State('Prepare'):
+				State('Process'):
+				State('CheckTermination'):
+				State('End'):
+
+
+        StateMachine:
+            initial = 'FSA_Start'
+			final = 'FSA_End'
+			State('FSA_Start'):
+				Transition(target='../FSA_Prepare'):
+					Actions {
+						self.weaved_delta = min(self.fsa_timestep, self.cbd_delta)
+						self.fsa_logicalTime = 0.0
+						self.fsa_elapsed = 0
+						self.fsa_timestep = self.weaved_delta
+						self.fsa_currentState = self.weaved_model.initialState
+						
+						self.weaved_processing_cbd = False
+						self.weaved_ended_cbd = False
+						self.weaved_global_state = dict()
+						self.weaved_previous_global_state = dict()
+					}
+			State('FSA_Prepare'):
+				Transition(target='../FSA_Process'):
+					guard = { self.fsa_currentState.final == False and not isinstance(self.fsa_currentState, CBDState)}
+					Actions {
+						print('going to fsa process... ')
+					}
+				Transition(target='../ProcessChild'):
+					guard = { self.fsa_currentState.final == False and isinstance(self.fsa_currentState, CBDState)}
+					Actions {
+						print('going to cbd process... ')
+						self.weaved_step_executed = False
+					}
+				Transition(target='../FSA_End'):
+					guard = { self.fsa_currentState.final == True }
+					Actions {
+						print('going to end... ')
+					}
+				OnEnter {
+					print("Attempting to read event: ")
+					self.fsa_currentEvent = self->fsa_getInputEventAt(self.fsa_logicalTime)
+					self.fsa_selectedTransition = self.weaved_model->getTransitionFrom(self.fsa_currentState, self.fsa_currentEvent, self.fsa_elapsed)
+					
+					print("Read event: " + str(self.fsa_currentEvent))
+					print("Selected transition: " + str(self.fsa_selectedTransition))
+				}
+			State('FSA_Process'):
+				Transition(target='../FSA_Pepare'):
+					guard = {self.fsa_selectedTransition != None}
+					Actions {
+						self.fsa_currentState = self.fsa_selectedTransition.target
+						self.fsa_elapsed = 0
+						
+						self.weaved_processing_cbd = False
+						self.weaved_ended_cbd = False
+						
+						self.weaved_lib->dumpDiscreteEvent(self.weaved_model, self.fsa_logicalTime, self.fsa_currentState , self.fsa_selectedTransition)
+						self.weaved_lib->dumpGlobalState(self.weaved_model, self.weaved_global_state , self.fsa_logicalTime, self.fsa_currentState)
+						
+						print("changing to state: ")
+						print(self.fsa_currentState->getName())
+						print(self.fsa_logicalTime)
+						print(self.fsa_elapsed)
+					}
+				Transition(target='../FSA_Prepare'):
+					guard = {self.fsa_selectedTransition == None}
+					Actions {
+						self.fsa_logicalTime = self.fsa_logicalTime + self.fsa_timestep
+						self.fsa_elapsed = self.fsa_elapsed + self.fsa_timestep
+						print(self.fsa_logicalTime)
+						print(self.fsa_elapsed)
+					}
+			State('ProcessChild'):
+				Transition(target='../FSA_Prepare'):
+					guard = {self.fsa_selectedTransition != None and self.weaved_processing_cbd and (self.weaved_step_executed or self.weaved_ended_cbd)}
+					Actions {
+						self.fsa_currentState = self.fsa_selectedTransition.target
+						self.fsa_elapsed = 0
+						
+						self.weaved_processing_cbd = False
+						self.weaved_ended_cbd = False
+						
+						self.weaved_lib->dumpDiscreteEvent(self.weaved_model, self.fsa_logicalTime, self.fsa_currentState , self.fsa_selectedTransition)
+						self.weaved_lib->dumpGlobalState(self.weaved_model, self.weaved_global_state , self.fsa_logicalTime, self.fsa_currentState)
+							
+						print("changing to state: ")
+						print(self.fsa_currentState->getName())
+						print(self.fsa_logicalTime)
+						print(self.fsa_elapsed)
+					}
+				Transition(target='../FSA_Prepare'):
+					guard = {self.fsa_selectedTransition == None and self.weaved_processing_cbd and (self.weaved_step_executed or self.weaved_ended_cbd)}
+					Actions {
+						self.fsa_logicalTime = self.fsa_logicalTime + self.fsa_timestep
+						self.fsa_elapsed = self.fsa_elapsed + self.fsa_timestep
+						print("Going to FSA_Check")
+						print(self.fsa_logicalTime)
+						print(self.fsa_elapsed)
+						
+					}
+				Transition(target='../CBD_Initialize'):
+					guard = {not self.weaved_processing_cbd}
+					Actions {
+						self.cbd_delta = self.weaved_delta
+						
+						self->updateCBDState()
+					}
+				Transition(target='../CBD_CheckTerminationCondition'):
+					guard = {self.weaved_processing_cbd and not self.weaved_ended_cbd and not self.weaved_step_executed}
+					Actions {
+						self.cbd_clock = self.cbd_clock + self.cbd_delta
+						self.cbd_iteration = self.cbd_iteration + 1
+						self.cbd_cbdController->advanceTimeStep()
+						print("CBD clock: " + str(self.cbd_clock))
+						print("CBD iteration: " + str(self.cbd_iteration))	
+					}
+			State('CBD_Initialize'):
+				Transition(target='../CBD_CheckTerminationCondition'):
+					Actions {
+						print('Transition to CBD_CheckTerminationCondition')
+					}
+				OnEnter {
+					print('Performing initialization...')
+					self.cbd_iteration = 0
+					self.cbd_clock = 0.0
+					self.cbd_cbdController = CBDController(self.fsa_currentState.cbd,self.cbd_delta)
+					self.cbd_cbdController->initSimulation()
+					print("CBD clock: " + str(self.cbd_clock))
+					print("CBD iteration: " + str(self.cbd_iteration))
+				}
+			State('CBD_CheckTerminationCondition'):
+				Transition(target='../CBD_CreateDependencyGraph'):
+					guard = {not self->cbd_maxIterationsReached()}
+					Actions {
+						print('Transition to CBD_CreateDependencyGraph')
+					}
+				Transition(target='../CBD_SimulationComplete'):
+					guard = {self->cbd_maxIterationsReached()}
+					Actions {
+						print('Transition to CBD_SimulationComplete')
+					}
+			State('CBD_CreateDependencyGraph'):
+				Transition(target='../CBD_IsolateStrongComponents'):
+					Actions {
+						print('Transition to CBD_IsolateStrongComponents')
+					}
+				OnEnter {
+					self.cbd_depGraph = self.cbd_cbdController->createDepGraph(self.cbd_iteration)
+				}
+			State('CBD_IsolateStrongComponents'):
+				Transition(target='../CBD_ExecuteSimulationStep'):
+					Actions {
+						print('Transition to CBD_ExecuteSimulationStep')
+						self.cbd_currentCompIdx = -1
+					}
+				OnEnter {
+					print('Performing strong components isolation...')
+					self.cbd_strongComponentList = self.cbd_cbdController->createStrongComponents(self.cbd_depGraph, self.cbd_iteration)
+					print('Performing strong components isolation... DONE')
+				}
+			State('CBD_ExecuteSimulationStep'):
+				initial = 'CheckNextComponent'
+				State('CheckNextComponent'):
+					Transition(target='../CheckCycle'):
+						guard = {self->cbd_hasNextStrongComponent()}
+						Actions {
+							print('Transition to CheckCycle')
+							self.cbd_currentCompIdx = self.cbd_currentCompIdx + 1
+						}
+					Transition(target='../../ProcessingCBD'):
+						guard = {not self->cbd_hasNextStrongComponent()}
+						Actions {
+							self->updateGlobalState()
+							self.weaved_lib->dumpGlobalState(self.weaved_model, self.weaved_global_state , self.fsa_logicalTime, self.fsa_currentState)
+							self.weaved_triggered_when_transition = self->getTriggeredWhenTransition()
+							if self.fsa_selectedTransition == None and self.weaved_processing_cbd:
+								self.fsa_selectedTransition = self.weaved_triggered_when_transition
+							end
+							self.weaved_step_executed = True
+							self.weaved_processing_cbd = True
+							
+							print('Transition to ProcessingCBD')
+						}
+					OnEnter {
+						print('Performing CheckNextComponent...')
+						print('Performing CheckNextComponent... DONE')
+					}
+				State('CheckCycle'):
+					Transition(target='../CheckNextComponent'):
+						guard = {self->cbd_currentComponentIsCycle()}
+						Actions {
+							print('Transition to CheckNextComponent')
+							self.cbd_cbdController->computeNextAlgebraicLoop(self.cbd_strongComponentList[self.cbd_currentCompIdx], self.cbd_iteration)
+						}
+					Transition(target='../CheckNextComponent'):
+						guard = {not self->cbd_currentComponentIsCycle()}
+						Actions {
+							print('Transition to CheckNextComponent')
+							self.cbd_cbdController->computeNextBlock(self.cbd_strongComponentList[self.cbd_currentCompIdx], self.cbd_iteration)
+						}
+					OnEnter {
+						print('Performing CheckCycle...')
+						print('Performing CheckCycle... DONE')
+					}
+			State('CBD_SimulationComplete'):
+				Transition(target='../ProcessChild'):
+					guard = {self->cbd_maxIterationsReached()}
+					Actions {
+						self.weaved_step_executed = True
+						self.weaved_ended_cbd = True
+						self.weaved_processing_cbd = True
+						print('Transition to ProcessingCBD')
+					}
+			State('FSA_End')
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+

debugging_fsa_cbd_composition/fsa_cbd_simulator/DEPRECATED_weaved_cbd_fsa_simulator.sccd

@@ -0,0 +1,326 @@
+Diagram(name = 'Weaved_FSA_CBD_Simulator_Manual',
+        author = 'Sadaf Mustafiz and Bruno Barroca and Claudio Gomes',
+        description = 'Manually woven CBD and FSA simulators with the FSA being the dominant.'):
+    Top {
+		import copy
+        from CBD_Controller import CBDController
+		import Options
+		from fsa_cbd_weaved_classes import CBDState
+		from weaved_cbd_fsa_lib import FSACBDLib
+    }
+
+    Class(name = 'Weaved_CBD_FSA_Simulator', default = True):
+        Attribute(name = 'fsa_timestep')
+		Attribute(name = 'fsa_elapsed')
+		Attribute(name = 'fsa_currentState')
+		Attribute(name = 'fsa_logicalTime')
+		Attribute(name = 'fsa_currentEvent')
+		Attribute(name = 'fsa_selectedTransition')
+		Attribute(name = 'fsa_eventList')
+		
+		Attribute(name='cbd_iteration')
+        Attribute(name='cbd_strongComponentList')
+        Attribute(name='cbd_currentCompIdx')
+        Attribute(name='cbd_clock')
+        Attribute(name='cbd_options')
+        Attribute(name='cbd_delta')
+        Attribute(name='cbd_cbdController')
+		Attribute(name='cbd_depGraph')
+		
+		Attribute(name='weaved_delta')
+        Attribute(name='weaved_processing_cbd')
+        Attribute(name='weaved_ended_cbd')
+		Attribute(name='weaved_model')
+        Attribute(name='weaved_step_executed')
+        Attribute(name='weaved_global_state')
+        Attribute(name='weaved_previous_global_state')
+        Attribute(name='weaved_triggered_when_transition')
+        Attribute(name='weaved_lib')
+        
+		Method fsa_processEvent(event) {
+			if (event != None):
+				self.fsa_eventList->popEvent(event)
+				event.processed = True
+			end
+		}
+		
+		Method fsa_getInputEventAt(time) {
+			return self.fsa_eventList->getInputAt(time)
+		}
+		
+		Method cbd_maxIterationsReached() {
+			return self.cbd_iteration >= self.cbd_options->getMaxIterations()
+        }
+		
+		Method cbd_hasNextStrongComponent() {
+			return (self.cbd_currentCompIdx + 1) < len(self.cbd_strongComponentList)
+        }
+		
+		Method cbd_currentComponentIsCycle() {
+            return self.cbd_cbdController->componentIsCycle(self.cbd_strongComponentList[self.cbd_currentCompIdx], self.cbd_depGraph)
+        }
+		
+		Method updateGlobalState() {
+			self.weaved_previous_global_state = copy->deepcopy(self.weaved_global_state)
+            self.weaved_lib->updateGlobalState(self.weaved_global_state, self.fsa_currentState.cbd, self.cbd_clock)
+        }
+		
+		Method updateCBDState() {
+            self.weaved_lib->updateCBDState(self.weaved_global_state, self.fsa_currentState.cbd)
+        }
+		
+		Method getTriggeredWhenTransition() {
+            return self.weaved_lib->getTriggeredWhenTransition(self.weaved_model, self.fsa_currentState, self.weaved_global_state, self.weaved_previous_global_state)
+        }
+		
+        Constructor(cbd_options, amodel, fsa_events) {
+            self.weaved_lib = FSACBDLib()
+			
+			self.cbd_options = cbd_options
+			self.cbd_delta = self.cbd_options->getDeltaT()
+			
+			self.weaved_model = amodel
+			self.fsa_eventList = fsa_events
+			self.fsa_timestep = 1.0
+        }
+		
+        StateMachine:
+            initial = 'FSA_Start'
+			final = 'FSA_End'
+			State('FSA_Start'):
+				Transition(target='../FSA_Check'):
+					Actions {
+						self.weaved_delta = min(self.fsa_timestep, self.cbd_delta)
+						self.fsa_logicalTime = 0.0
+						self.fsa_elapsed = 0
+						self.fsa_timestep = self.weaved_delta
+						self.fsa_currentState = self.weaved_model.initialState
+						
+						self.weaved_processing_cbd = False
+						self.weaved_ended_cbd = False
+						self.weaved_global_state = dict()
+						self.weaved_previous_global_state = dict()
+					}
+			State('FSA_Check'):
+				Transition(target='../FSA_Processing'):
+					guard = { self.fsa_currentState.final == False and not isinstance(self.fsa_currentState, CBDState)}
+					Actions {
+						print('going to fsa process... ')
+					}
+				Transition(target='../ProcessingCBD'):
+					guard = { self.fsa_currentState.final == False and isinstance(self.fsa_currentState, CBDState)}
+					Actions {
+						print('going to cbd process... ')
+						self.weaved_step_executed = False
+					}
+				Transition(target='../FSA_End'):
+					guard = { self.fsa_currentState.final == True }
+					Actions {
+						print('going to end... ')
+					}
+				OnEnter {
+					print("Attempting to read event: ")
+					self.fsa_currentEvent = self->fsa_getInputEventAt(self.fsa_logicalTime)
+					self.fsa_selectedTransition = self.weaved_model->getTransitionFrom(self.fsa_currentState, self.fsa_currentEvent, self.fsa_elapsed)
+					
+					print("Read event: " + str(self.fsa_currentEvent))
+					print("Selected transition: " + str(self.fsa_selectedTransition))
+				}
+			State('FSA_Processing'):
+				Transition(target='../FSA_Check'):
+					guard = {self.fsa_selectedTransition != None}
+					Actions {
+						self.fsa_currentState = self.fsa_selectedTransition.target
+						self.fsa_elapsed = 0
+						self->fsa_processEvent(self.fsa_currentEvent)
+						
+						self.weaved_processing_cbd = False
+						self.weaved_ended_cbd = False
+						
+						self.weaved_lib->dumpDiscreteEvent(self.weaved_model, self.fsa_logicalTime, self.fsa_currentState , self.fsa_selectedTransition)
+						self.weaved_lib->dumpGlobalState(self.weaved_model, self.weaved_global_state , self.fsa_logicalTime, self.fsa_currentState)
+						
+						print("changing to state: ")
+						print(self.fsa_currentState->getName())
+						print(self.fsa_logicalTime)
+						print(self.fsa_elapsed)
+					}
+				Transition(target='../FSA_Check'):
+					guard = {self.fsa_selectedTransition == None}
+					Actions {
+						self.fsa_logicalTime = self.fsa_logicalTime + self.fsa_timestep
+						self.fsa_elapsed = self.fsa_elapsed + self.fsa_timestep
+						print(self.fsa_logicalTime)
+						print(self.fsa_elapsed)
+					}
+			State('ProcessingCBD'):
+				Transition(target='../FSA_Check'):
+					guard = {self.fsa_selectedTransition != None and self.weaved_processing_cbd and (self.weaved_step_executed or self.weaved_ended_cbd)}
+					Actions {
+						self.fsa_currentState = self.fsa_selectedTransition.target
+						self.fsa_elapsed = 0
+						
+						self->fsa_processEvent(self.fsa_currentEvent)
+						
+						self.weaved_processing_cbd = False
+						self.weaved_ended_cbd = False
+						
+						self.weaved_lib->dumpDiscreteEvent(self.weaved_model, self.fsa_logicalTime, self.fsa_currentState , self.fsa_selectedTransition)
+						self.weaved_lib->dumpGlobalState(self.weaved_model, self.weaved_global_state , self.fsa_logicalTime, self.fsa_currentState)
+						
+						print("changing to state: ")
+						print(self.fsa_currentState->getName())
+						print(self.fsa_logicalTime)
+						print(self.fsa_elapsed)
+					}
+				Transition(target='../FSA_Check'):
+					guard = {self.fsa_selectedTransition == None and self.weaved_processing_cbd and (self.weaved_step_executed or self.weaved_ended_cbd)}
+					Actions {
+						self.fsa_logicalTime = self.fsa_logicalTime + self.fsa_timestep
+						self.fsa_elapsed = self.fsa_elapsed + self.fsa_timestep
+						print("Going to FSA_Check")
+						print(self.fsa_logicalTime)
+						print(self.fsa_elapsed)
+						
+					}
+				Transition(target='../CBD_Initialize'):
+					guard = {not self.weaved_processing_cbd}
+					Actions {
+						self.cbd_delta = self.weaved_delta
+						self->updateCBDState()
+					}
+				Transition(target='../CBD_CheckTerminationCondition'):
+					guard = {self.weaved_processing_cbd and not self.weaved_ended_cbd and not self.weaved_step_executed}
+					Actions {
+						self.cbd_clock = self.cbd_clock + self.cbd_delta
+						self.cbd_iteration = self.cbd_iteration + 1
+						self.cbd_cbdController->advanceTimeStep()
+						print("CBD clock: " + str(self.cbd_clock))
+						print("CBD iteration: " + str(self.cbd_iteration))	
+					}
+			State('CBD_Initialize'):
+				Transition(target='../CBD_CheckTerminationCondition'):
+					Actions {
+						print('Transition to CBD_CheckTerminationCondition')
+					}
+				OnEnter {
+					print('Performing initialization...')
+					self.cbd_iteration = 0
+					self.cbd_clock = 0.0
+					self.cbd_cbdController = CBDController(self.fsa_currentState.cbd,self.cbd_delta)
+					self.cbd_cbdController->initSimulation()
+					print("CBD clock: " + str(self.cbd_clock))
+					print("CBD iteration: " + str(self.cbd_iteration))
+				}
+			State('CBD_CheckTerminationCondition'):
+				Transition(target='../CBD_CreateDependencyGraph'):
+					guard = {not self->cbd_maxIterationsReached()}
+					Actions {
+						print('Transition to CBD_CreateDependencyGraph')
+					}
+				Transition(target='../CBD_SimulationComplete'):
+					guard = {self->cbd_maxIterationsReached()}
+					Actions {
+						print('Transition to CBD_SimulationComplete')
+					}
+			State('CBD_CreateDependencyGraph'):
+				Transition(target='../CBD_IsolateStrongComponents'):
+					Actions {
+						print('Transition to CBD_IsolateStrongComponents')
+					}
+				OnEnter {
+					self.cbd_depGraph = self.cbd_cbdController->createDepGraph(self.cbd_iteration)
+				}
+			State('CBD_IsolateStrongComponents'):
+				Transition(target='../CBD_ExecuteSimulationStep'):
+					Actions {
+						print('Transition to CBD_ExecuteSimulationStep')
+						self.cbd_currentCompIdx = -1
+					}
+				OnEnter {
+					print('Performing strong components isolation...')
+					self.cbd_strongComponentList = self.cbd_cbdController->createStrongComponents(self.cbd_depGraph, self.cbd_iteration)
+					print('Performing strong components isolation... DONE')
+				}
+			State('CBD_ExecuteSimulationStep'):
+				initial = 'CheckNextComponent'
+				State('CheckNextComponent'):
+					Transition(target='../CheckCycle'):
+						guard = {self->cbd_hasNextStrongComponent()}
+						Actions {
+							print('Transition to CheckCycle')
+							self.cbd_currentCompIdx = self.cbd_currentCompIdx + 1
+						}
+					Transition(target='../../ProcessingCBD'):
+						guard = {not self->cbd_hasNextStrongComponent()}
+						Actions {
+							self->updateGlobalState()
+							self.weaved_lib->dumpGlobalState(self.weaved_model, self.weaved_global_state , self.fsa_logicalTime, self.fsa_currentState)
+							self.weaved_triggered_when_transition = self->getTriggeredWhenTransition()
+							if self.fsa_selectedTransition == None and self.weaved_processing_cbd:
+								self.fsa_selectedTransition = self.weaved_triggered_when_transition
+							end
+							self.weaved_step_executed = True
+							self.weaved_processing_cbd = True
+							
+							print('Transition to ProcessingCBD')
+						}
+					OnEnter {
+						print('Performing CheckNextComponent...')
+						print('Performing CheckNextComponent... DONE')
+					}
+				State('CheckCycle'):
+					Transition(target='../CheckNextComponent'):
+						guard = {self->cbd_currentComponentIsCycle()}
+						Actions {
+							print('Transition to CheckNextComponent')
+							self.cbd_cbdController->computeNextAlgebraicLoop(self.cbd_strongComponentList[self.cbd_currentCompIdx], self.cbd_iteration)
+						}
+					Transition(target='../CheckNextComponent'):
+						guard = {not self->cbd_currentComponentIsCycle()}
+						Actions {
+							print('Transition to CheckNextComponent')
+							self.cbd_cbdController->computeNextBlock(self.cbd_strongComponentList[self.cbd_currentCompIdx], self.cbd_iteration)
+						}
+					OnEnter {
+						print('Performing CheckCycle...')
+						print('Performing CheckCycle... DONE')
+					}
+			State('CBD_SimulationComplete'):
+				Transition(target='../ProcessingCBD'):
+					guard = {self->cbd_maxIterationsReached()}
+					Actions {
+						self.weaved_step_executed = True
+						self.weaved_ended_cbd = True
+						self.weaved_processing_cbd = True
+						print('Transition to ProcessingCBD')
+					}
+			State('FSA_End')
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+

debugging_fsa_cbd_composition/fsa_cbd_simulator/DEPRECATED_weaved_cbd_fsa_simulator_hierarchical.sccd

@@ -0,0 +1,382 @@
+Diagram(name = 'Weaved_CBD_FSA_Simulator_Manual',
+        author = 'Sadaf Mustafiz and Bruno Barroca and Claudio Gomes',
+        description = 'Automatically woven CBD and FSA simulators with the FSA being the dominant.'):
+    Top {
+		import copy
+        from CBD_Controller import CBDController
+		import Options
+		from fsa_cbd_weaved_classes import CBDState
+		from weaved_cbd_fsa_lib import FSACBDLib
+    }
+
+    Class(name = 'Weaved_CBD_FSA_Simulator', default = True):
+        Attribute(name = 'fsa_timestep')
+		Attribute(name = 'fsa_elapsed')
+		Attribute(name = 'fsa_currentState')
+		Attribute(name = 'fsa_logicalTime')
+		Attribute(name = 'fsa_currentEvent')
+		Attribute(name = 'fsa_selectedTransition')
+		Attribute(name = 'fsa_eventList')
+		
+		Attribute(name='cbd_iteration')
+        Attribute(name='cbd_strongComponentList')
+        Attribute(name='cbd_currentCompIdx')
+        Attribute(name='cbd_clock')
+        Attribute(name='cbd_options')
+        Attribute(name='cbd_delta')
+        Attribute(name='cbd_controller')
+		Attribute(name='cbd_depGraph')
+		
+		Attribute(name='weaved_delta')
+        Attribute(name='woven_child_initialized')
+		Attribute(name='weaved_model')
+        Attribute(name='weaved_global_state')
+        Attribute(name='weaved_previous_global_state')
+        Attribute(name='weaved_triggered_when_transition')
+        Attribute(name='weaved_lib')
+        
+		Method fsa_processEvent(event) {
+			if (event != None):
+				self.fsa_eventList->popEvent(event)
+				event.processed = True
+			end
+		}
+		
+		Method fsa_getInputEventAt(time) {
+			return self.fsa_eventList->getInputAt(time)
+		}
+		
+		Method cbd_computeBlock(){
+			if self->cbd_currentComponentIsCycle():
+				self.cbd_controller->computeNextAlgebraicLoop(self.cbd_strongComponentList[self.cbd_currentCompIdx], self.cbd_iteration)
+			else:
+				self.cbd_controller->computeNextBlock(self.cbd_strongComponentList[self.cbd_currentCompIdx], self.cbd_iteration)
+			end
+		}
+		
+		Method cbd_maxIterationsReached() {
+			return self.cbd_iteration >= self.cbd_options->getMaxIterations()
+        }
+		
+		Method cbd_hasNextStrongComponent() {
+			return (self.cbd_currentCompIdx) < len(self.cbd_strongComponentList)
+        }
+		
+		Method cbd_currentComponentIsCycle() {
+            return self.cbd_controller->componentIsCycle(self.cbd_strongComponentList[self.cbd_currentCompIdx], self.cbd_depGraph)
+        }
+		
+		Method updateGlobalState() {
+			self.weaved_previous_global_state = copy->deepcopy(self.weaved_global_state)
+            self.weaved_lib->updateGlobalState(self.weaved_global_state, self.fsa_currentState.cbd, self.cbd_clock)
+        }
+		
+		Method updateCBDState() {
+            self.weaved_lib->updateCBDState(self.weaved_global_state, self.fsa_currentState.cbd)
+        }
+		
+		Method getTriggeredWhenTransition() {
+            return self.weaved_lib->getTriggeredWhenTransition(self.weaved_model, self.fsa_currentState, self.weaved_global_state, self.weaved_previous_global_state)
+        }
+		
+        Constructor(cbd_options, amodel, fsa_events) {
+            self.weaved_lib = FSACBDLib()
+			
+			self.cbd_options = cbd_options
+			self.cbd_delta = self.cbd_options->getDeltaT()
+			
+			self.weaved_model = amodel
+			self.fsa_eventList = fsa_events
+			self.fsa_timestep = 1.0
+        }
+		
+        StateMachine:
+            initial = 'FSA'
+			final = 'HybridTerminated'
+			State('ParentStarted'):
+				Transition(target='../FSA/Initialized'):
+					Actions {
+						print('From ParentStarted to FSA/Initialized... ')
+						self.weaved_global_state = dict()
+						self.weaved_previous_global_state = dict()
+						self.woven_child_initialized = False
+					}
+			State('FSA'):
+				initial = 'Started'
+				State('Started'):
+					Transition(target='../../ParentStarted'):
+						Actions {
+							print('From FSA/Started to ParentStarted... ')
+							self.weaved_delta = min(self.fsa_timestep, self.cbd_delta)
+							self.fsa_logicalTime = 0.0
+							self.fsa_elapsed = 0
+							self.fsa_timestep = self.weaved_delta
+							self.fsa_currentState = self.weaved_model.initialState
+						}
+				State('Initialized'):
+					Transition(target='../CheckTermination'):
+						Actions {
+							print('From FSA/Initialized to FSA/CheckTermination... ')
+						}
+				State('CheckTermination'):
+					initial = 'MacroStepProcessed'
+					State('MacroStepProcessed'):
+						Transition(target='../../MacroStepPrepared'):
+							guard = { not self.fsa_currentState.final }
+							Actions {
+								print('From FSA/CheckTermination/MacroStepProcessed to FSA/MacroStepPrepared and reading events... ')
+								self.fsa_currentEvent = self->fsa_getInputEventAt(self.fsa_logicalTime)
+								self.fsa_selectedTransition = self.weaved_model->getTransitionFrom(self.fsa_currentState, self.fsa_currentEvent, self.fsa_elapsed)
+								print(self.fsa_currentEvent)
+								print(self.fsa_selectedTransition)
+							}
+						Transition(target='../../Terminated'):
+							guard = { self.fsa_currentState.final }
+							Actions {
+								print('From FSA/CheckTermination/MacroStepProcessed to Terminated... ')
+							}
+				State('MacroStepPrepared'):
+					Transition(target='../MicroStepProcessed'):
+						guard = { False }
+						Actions {
+							print('From FSA/MacroStepPrepared to MicroStepProcessed... ')
+						}
+					Transition(target='../../ParentPaused'):
+						Actions {
+							print('From FSA/MacroStepPrepared to ParentPaused... ')
+						}
+				State('MicroStepProcessed'):
+					Transition(target='../CheckTermination'):
+						guard = { self.fsa_selectedTransition == None}
+						Actions {
+							print('From FSA/MicroStepProcessed to FSA/CheckTermination and advancing time... ')
+							self.fsa_logicalTime = self.fsa_logicalTime + self.fsa_timestep
+							self.fsa_elapsed = self.fsa_elapsed + self.fsa_timestep
+							print(self.fsa_logicalTime)
+							print(self.fsa_elapsed)
+						}
+					Transition(target='../MicroStepPrepared'):
+						guard = { self.fsa_selectedTransition != None }
+						Actions {
+							print('From FSA/MicroStepProcessed to MicroStepPrepared... ')
+						}
+				State('MicroStepPrepared'):
+					Transition(target='../MicroStepProcessed'):
+						guard = { False }
+						Actions {
+							print('From FSA/MicroStepPrepared to MicroStepProcessed and attempting to take transition... ')
+							print('Transition to be taken: ' + str(self.fsa_selectedTransition))
+							self.fsa_currentState = self.fsa_selectedTransition.target
+							self.fsa_elapsed = 0
+							self->fsa_processEvent(self.fsa_currentEvent)
+							self.weaved_lib->dumpDiscreteEvent(self.weaved_model, self.fsa_logicalTime, self.fsa_currentState , self.fsa_selectedTransition)
+							self.weaved_lib->dumpGlobalState(self.weaved_model, self.weaved_global_state , self.fsa_logicalTime, self.fsa_currentState)
+							print('New state: ' + str(self.fsa_currentState))
+							
+							print('Reading events:')
+							self.fsa_currentEvent = self->fsa_getInputEventAt(self.fsa_logicalTime)
+							self.fsa_selectedTransition = self.weaved_model->getTransitionFrom(self.fsa_currentState, self.fsa_currentEvent, self.fsa_elapsed)
+							print(self.fsa_currentEvent)
+							print(self.fsa_selectedTransition)
+						}
+					Transition(target='../../ParentMicroStepProcessed'):
+						Actions {
+							print('From FSA/MicroStepPrepared to ParentMicroStepProcessed and attempting to take transition... ')
+							print('Transition to be taken: ' + str(self.fsa_selectedTransition))
+							self.fsa_currentState = self.fsa_selectedTransition.target
+							self.fsa_elapsed = 0
+							self->fsa_processEvent(self.fsa_currentEvent)
+							self.weaved_lib->dumpDiscreteEvent(self.weaved_model, self.fsa_logicalTime, self.fsa_currentState , self.fsa_selectedTransition)
+							self.weaved_lib->dumpGlobalState(self.weaved_model, self.weaved_global_state , self.fsa_logicalTime, self.fsa_currentState)
+							print('New state: ' + str(self.fsa_currentState))
+							
+							print('Reading events:')
+							self.fsa_currentEvent = self->fsa_getInputEventAt(self.fsa_logicalTime)
+							self.fsa_selectedTransition = self.weaved_model->getTransitionFrom(self.fsa_currentState, self.fsa_currentEvent, self.fsa_elapsed)
+							print(self.fsa_currentEvent)
+							print(self.fsa_selectedTransition)
+						}
+				State('Terminated'):
+					Transition(target='../../HybridTerminated'):
+						Actions {
+							print('From FSA/Terminated to HybridTerminated... ')
+						}
+			State('ParentMicroStepProcessed'):
+				Transition(target='../ParentPaused'):
+					Actions {
+						print('From ParentMicroStepProcessed to ParentPaused and resetting the child... ')
+						self.woven_child_initialized = False
+					}
+			State('HybridTerminated')
+			State('ChildNotInitialized'):
+				Transition(target='../CBD/Started'):
+					Actions {
+						print('From ChildNotInitialized to CBD/Started... ')
+						self.cbd_delta = self.weaved_delta
+						self->updateCBDState()
+						self.woven_child_initialized = True
+					}
+			State('ChildInitialized'):
+				Transition(target='../CBD/MacroStepProcessed'):
+					Actions {
+						print('From ChildInitialized to CBD/MacroStepProcessed... ')
+						self.cbd_clock = self.cbd_clock + self.cbd_delta
+						self.cbd_iteration = self.cbd_iteration + 1
+						self.cbd_controller->advanceTimeStep()
+						print("CBD clock: " + str(self.cbd_clock))
+						print("CBD iteration: " + str(self.cbd_iteration))	
+					}
+			State('ChildPaused'):
+				Transition(target='../StateEventDetected'):
+					guard = { self.weaved_triggered_when_transition != None }
+					Actions {
+						print('From ChildPaused to StateEventDetected... ')
+					}
+				Transition(target='../NoStateEventDetected'):
+					guard = { self.weaved_triggered_when_transition == None }
+					Actions {
+						print('From ChildPaused to NoStateEventDetected... ')
+					}
+			State('NoStateEventDetected'):
+				Transition(target='../ChildProcessed'):
+					Actions {
+						print('From NoStateEventDetected to ChildProcessed... ')
+					}
+			State('StateEventDetected'):
+				Transition(target='../ChildProcessed'):
+					Actions {
+						print('From StateEventDetected to ChildProcessed... ')
+						if self.fsa_selectedTransition == None:
+							self.fsa_selectedTransition = self.weaved_triggered_when_transition
+						end
+					}
+			State('ChildProcessed'):
+				Transition(target='../FSA/MicroStepProcessed'):
+					Actions {
+						print('From ChildProcessed to FSA/MicroStepProcessed... ')
+					}
+			State('ParentPaused'):
+				Transition(target='../ChildProcessed'):
+					guard = { not isinstance(self.fsa_currentState, CBDState) }
+					Actions {
+						print('From ParentPaused to ChildProcessed without any child to process... ')
+					}
+				Transition(target='../ChildDetected'):
+					guard = { isinstance(self.fsa_currentState, CBDState) }
+					Actions {
+						print('From ParentPaused to ChildDetected... ')
+						self.cbd_model = self.fsa_currentState.cbd
+					}
+			State('ChildDetected'):
+				Transition(target='../ChildNotInitialized'):
+					guard = { not self.woven_child_initialized }
+					Actions {
+						print('From ChildDetected to ChildNotInitialized... ')
+					}
+				Transition(target='../ChildInitialized'):
+					guard = { self.woven_child_initialized }
+					Actions {
+						print('From ChildDetected to ChildInitialized... ')
+					}
+			State('CBD'):
+				initial = 'Started'
+				State('Started'):
+					Transition(target='../Initialized'):
+						Actions {
+							print('From CBD/Started to Initialized... ')
+							print('Performing initialization...')
+							self.cbd_iteration = 0
+							self.cbd_clock = 0
+							self.cbd_controller = CBDController(self.cbd_model,self.cbd_delta)
+							self.cbd_controller->initSimulation()
+							print('Performing initialization... DONE')
+						}
+				State('Initialized'):
+					Transition(target='../MacroStepProcessed'):
+						Actions {
+							print('From CBD/Initialized to MacroStepProcessed... ')
+						}
+				State('MacroStepProcessed'):
+					Transition(target='../MacroStepPrepared'):
+						guard = { not self->cbd_maxIterationsReached() }
+						Actions {
+							print('From CBD/MacroStepProcessed to MacroStepPrepared... ')
+							self.cbd_currentCompIdx = 0
+							self.cbd_depGraph = self.cbd_controller->createDepGraph(self.cbd_iteration)
+							self.cbd_strongComponentList = self.cbd_controller->createStrongComponents(self.cbd_depGraph, self.cbd_iteration)
+						}
+					Transition(target='../Terminated'):
+						guard = { self->cbd_maxIterationsReached() }
+						Actions {
+							print('From CBD/MacroStepProcessed to Terminated... ')
+						}
+				State('MacroStepPrepared'):
+					Transition(target='../MicroStepProcessed'):
+						Actions {
+							print('From CBD/MacroStepPrepared to MicroStepProcessed... ')
+						}
+				State('MicroStepProcessed'):
+					Transition(target='../MacroStepProcessed'):
+						guard = { not self->cbd_hasNextStrongComponent() and False }
+						Actions {
+							print('From CBD/MicroStepProcessed to MacroStepProcessed and advancing time... ')
+							self.cbd_clock = self.cbd_clock + self.cbd_delta
+							self.cbd_iteration = self.cbd_iteration + 1
+							self.cbd_controller->advanceTimeStep()
+							print("CBD clock: " + str(self.cbd_clock))
+							print("CBD iteration: " + str(self.cbd_iteration))
+						}
+					Transition(target='../../ChildPaused'):
+						guard = { not self->cbd_hasNextStrongComponent() }
+						Actions {
+							print('From CBD/MicroStepProcessed to ChildPaused and detecting triggered transitions... ')
+							self->updateGlobalState()
+							self.weaved_lib->dumpGlobalState(self.weaved_model, self.weaved_global_state , self.fsa_logicalTime, self.fsa_currentState)
+							self.weaved_triggered_when_transition = self->getTriggeredWhenTransition()
+						}
+					Transition(target='../MicroStepPrepared'):
+						guard = { self->cbd_hasNextStrongComponent() }
+						Actions {
+							print('From CBD/MicroStepProcessed to MicroStepPrepared')
+						}
+				State('MicroStepPrepared'):
+					Transition(target='../MicroStepProcessed'):
+						Actions {
+							print('From CBD/MicroStepPrepared to MicroStepProcessed...')
+							self->cbd_computeBlock()
+							self.cbd_currentCompIdx = self.cbd_currentCompIdx + 1
+						}
+				State('Terminated'):
+					Transition(target='../../HybridTerminated'):
+						Actions {
+							print('From CBD/Terminated to HybridTerminated... ')
+						}
+				
+			
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+

debugging_fsa_cbd_composition/fsa_cbd_simulator/DEPRECATED_weaved_cbd_fsa_simulator_normal_form.sccd

@@ -0,0 +1,394 @@
+Diagram(name = 'Weaved_CBD_FSA_Simulator_Manual',
+        author = 'Sadaf Mustafiz and Bruno Barroca and Claudio Gomes',
+        description = 'Automatically woven CBD and FSA simulators with the FSA being the dominant.'):
+    Top {
+		import copy
+        from CBD_Controller import CBDController
+		import Options
+		from fsa_cbd_weaved_classes import CBDState
+		from weaved_cbd_fsa_lib import FSACBDLib
+    }
+
+    Class(name = 'Weaved_CBD_FSA_Simulator', default = True):
+        Attribute(name = 'fsa_timestep')
+		Attribute(name = 'fsa_elapsed')
+		Attribute(name = 'fsa_currentState')
+		Attribute(name = 'fsa_logicalTime')
+		Attribute(name = 'fsa_currentEvent')
+		Attribute(name = 'fsa_selectedTransition')
+		Attribute(name = 'fsa_eventList')
+		
+		Attribute(name='cbd_iteration')
+        Attribute(name='cbd_strongComponentList')
+        Attribute(name='cbd_currentCompIdx')
+        Attribute(name='cbd_clock')
+        Attribute(name='cbd_options')
+        Attribute(name='cbd_delta')
+        Attribute(name='cbd_controller')
+		Attribute(name='cbd_depGraph')
+		
+		Attribute(name='weaved_delta')
+        Attribute(name='woven_child_initialized')
+		Attribute(name='weaved_model')
+        Attribute(name='weaved_global_state')
+        Attribute(name='weaved_previous_global_state')
+        Attribute(name='weaved_triggered_when_transition')
+        Attribute(name='weaved_lib')
+        
+		Method fsa_processEvent(event) {
+			if (event != None):
+				self.fsa_eventList->popEvent(event)
+				event.processed = True
+			end
+		}
+		
+		Method fsa_getInputEventAt(time) {
+			return self.fsa_eventList->getInputAt(time)
+		}
+		
+		Method cbd_computeBlock(){
+			if self->cbd_currentComponentIsCycle():
+				self.cbd_controller->computeNextAlgebraicLoop(self.cbd_strongComponentList[self.cbd_currentCompIdx], self.cbd_iteration)
+			else:
+				self.cbd_controller->computeNextBlock(self.cbd_strongComponentList[self.cbd_currentCompIdx], self.cbd_iteration)
+			end
+		}
+		
+		Method cbd_maxIterationsReached() {
+			return self.cbd_iteration >= self.cbd_options->getMaxIterations()
+        }
+		
+		Method cbd_hasNextStrongComponent() {
+			return (self.cbd_currentCompIdx) < len(self.cbd_strongComponentList)
+        }
+		
+		Method cbd_currentComponentIsCycle() {
+            return self.cbd_controller->componentIsCycle(self.cbd_strongComponentList[self.cbd_currentCompIdx], self.cbd_depGraph)
+        }
+		
+		Method updateGlobalState() {
+			self.weaved_previous_global_state = copy->deepcopy(self.weaved_global_state)
+            self.weaved_lib->updateGlobalState(self.weaved_global_state, self.fsa_currentState.cbd, self.cbd_clock)
+        }
+		
+		Method updateCBDState() {
+            self.weaved_lib->updateCBDState(self.weaved_global_state, self.fsa_currentState.cbd)
+        }
+		
+		Method getTriggeredWhenTransition() {
+            return self.weaved_lib->getTriggeredWhenTransition(self.weaved_model, self.fsa_currentState, self.weaved_global_state, self.weaved_previous_global_state)
+        }
+		
+        Constructor(cbd_options, amodel, fsa_events) {
+            self.weaved_lib = FSACBDLib()
+			
+			self.cbd_options = cbd_options
+			self.cbd_delta = self.cbd_options->getDeltaT()
+			
+			self.weaved_model = amodel
+			self.fsa_eventList = fsa_events
+			self.fsa_timestep = 1.0
+        }
+		
+        StateMachine:
+            initial = 'FSA'
+			final = 'HybridTerminated'
+			State('ParentStarted'):
+				Transition(target='../FSA/Initialized'):
+					Actions {
+						print('From ParentStarted to FSA/Initialized... ')
+						self.weaved_global_state = dict()
+						self.weaved_previous_global_state = dict()
+						self.woven_child_initialized = False
+					}
+			State('FSA'):
+				initial = 'Started'
+				State('Started'):
+					Transition(target='../Initialized'):
+						guard = { False }
+						Actions {
+							print('From FSA/Started to Initialized... ')
+							self.weaved_delta = min(self.fsa_timestep, self.cbd_delta)
+							self.fsa_logicalTime = 0.0
+							self.fsa_elapsed = 0
+							self.fsa_timestep = self.weaved_delta
+							self.fsa_currentState = self.weaved_model.initialState
+							
+							self.weaved_global_state = dict()
+							self.weaved_previous_global_state = dict()
+						}
+					Transition(target='../../ParentStarted'):
+						Actions {
+							print('From FSA/Started to ParentStarted... ')
+							self.weaved_delta = min(self.fsa_timestep, self.cbd_delta)
+							self.fsa_logicalTime = 0.0
+							self.fsa_elapsed = 0
+							self.fsa_timestep = self.weaved_delta
+							self.fsa_currentState = self.weaved_model.initialState
+							
+						}
+				State('Initialized'):
+					Transition(target='../MacroStepProcessed'):
+						Actions {
+							print('From FSA/Initialized to MacroStepProcessed... ')
+						}
+				State('MacroStepProcessed'):
+					Transition(target='../MacroStepPrepared'):
+						guard = { not self.fsa_currentState.final }
+						Actions {
+							print('From FSA/MacroStepProcessed to MacroStepPrepared and reading events... ')
+							self.fsa_currentEvent = self->fsa_getInputEventAt(self.fsa_logicalTime)
+							self.fsa_selectedTransition = self.weaved_model->getTransitionFrom(self.fsa_currentState, self.fsa_currentEvent, self.fsa_elapsed)
+							print(self.fsa_currentEvent)
+							print(self.fsa_selectedTransition)
+						}
+					Transition(target='../Terminated'):
+						guard = { self.fsa_currentState.final }
+						Actions {
+							print('From FSA/MacroStepProcessed to Terminated... ')
+						}
+				State('MacroStepPrepared'):
+					Transition(target='../MicroStepProcessed'):
+						guard = { False }
+						Actions {
+							print('From FSA/MacroStepPrepared to MicroStepProcessed... ')
+						}
+					Transition(target='../../ParentPaused'):
+						Actions {
+							print('From FSA/MacroStepPrepared to ParentPaused... ')
+						}
+				State('MicroStepProcessed'):
+					Transition(target='../MacroStepProcessed'):
+						guard = { self.fsa_selectedTransition == None}
+						Actions {
+							print('From FSA/MicroStepProcessed to MacroStepProcessed and advancing time... ')
+							self.fsa_logicalTime = self.fsa_logicalTime + self.fsa_timestep
+							self.fsa_elapsed = self.fsa_elapsed + self.fsa_timestep
+							print(self.fsa_logicalTime)
+							print(self.fsa_elapsed)
+						}
+					Transition(target='../MicroStepPrepared'):
+						guard = { self.fsa_selectedTransition != None }
+						Actions {
+							print('From FSA/MicroStepProcessed to MicroStepPrepared... ')
+						}
+				State('MicroStepPrepared'):
+					Transition(target='../MicroStepProcessed'):
+						guard = { False }
+						Actions {
+							print('From FSA/MicroStepPrepared to MicroStepProcessed and attempting to take transition... ')
+							print('Transition to be taken: ' + str(self.fsa_selectedTransition))
+							self.fsa_currentState = self.fsa_selectedTransition.target
+							self.fsa_elapsed = 0
+							self->fsa_processEvent(self.fsa_currentEvent)
+							self.weaved_lib->dumpDiscreteEvent(self.weaved_model, self.fsa_logicalTime, self.fsa_currentState , self.fsa_selectedTransition)
+							self.weaved_lib->dumpGlobalState(self.weaved_model, self.weaved_global_state , self.fsa_logicalTime, self.fsa_currentState)
+							print('New state: ' + str(self.fsa_currentState))
+							
+							print('Reading events:')
+							self.fsa_currentEvent = self->fsa_getInputEventAt(self.fsa_logicalTime)
+							self.fsa_selectedTransition = self.weaved_model->getTransitionFrom(self.fsa_currentState, self.fsa_currentEvent, self.fsa_elapsed)
+							print(self.fsa_currentEvent)
+							print(self.fsa_selectedTransition)
+						}
+					Transition(target='../../ParentMicroStepProcessed'):
+						Actions {
+							print('From FSA/MicroStepPrepared to ParentMicroStepProcessed and attempting to take transition... ')
+							print('Transition to be taken: ' + str(self.fsa_selectedTransition))
+							self.fsa_currentState = self.fsa_selectedTransition.target
+							self.fsa_elapsed = 0
+							self->fsa_processEvent(self.fsa_currentEvent)
+							self.weaved_lib->dumpDiscreteEvent(self.weaved_model, self.fsa_logicalTime, self.fsa_currentState , self.fsa_selectedTransition)
+							self.weaved_lib->dumpGlobalState(self.weaved_model, self.weaved_global_state , self.fsa_logicalTime, self.fsa_currentState)
+							print('New state: ' + str(self.fsa_currentState))
+							
+							print('Reading events:')
+							self.fsa_currentEvent = self->fsa_getInputEventAt(self.fsa_logicalTime)
+							self.fsa_selectedTransition = self.weaved_model->getTransitionFrom(self.fsa_currentState, self.fsa_currentEvent, self.fsa_elapsed)
+							print(self.fsa_currentEvent)
+							print(self.fsa_selectedTransition)
+						}
+				State('Terminated'):
+					Transition(target='../../HybridTerminated'):
+						Actions {
+							print('From FSA/Terminated to HybridTerminated... ')
+						}
+			State('ParentMicroStepProcessed'):
+				Transition(target='../ParentPaused'):
+					Actions {
+						print('From ParentMicroStepProcessed to ParentPaused and resetting the child... ')
+						self.woven_child_initialized = False
+					}
+			State('HybridTerminated')
+			State('ChildNotInitialized'):
+				Transition(target='../CBD/Started'):
+					Actions {
+						print('From ChildNotInitialized to CBD/Started... ')
+						self.cbd_delta = self.weaved_delta
+						self->updateCBDState()
+						self.woven_child_initialized = True
+					}
+			State('ChildInitialized'):
+				Transition(target='../CBD/MacroStepProcessed'):
+					Actions {
+						print('From ChildInitialized to CBD/MacroStepProcessed... ')
+						self.cbd_clock = self.cbd_clock + self.cbd_delta
+						self.cbd_iteration = self.cbd_iteration + 1
+						self.cbd_controller->advanceTimeStep()
+						print("CBD clock: " + str(self.cbd_clock))
+						print("CBD iteration: " + str(self.cbd_iteration))	
+					}
+			State('ChildPaused'):
+				Transition(target='../StateEventDetected'):
+					guard = { self.weaved_triggered_when_transition != None }
+					Actions {
+						print('From ChildPaused to StateEventDetected... ')
+					}
+				Transition(target='../NoStateEventDetected'):
+					guard = { self.weaved_triggered_when_transition == None }
+					Actions {
+						print('From ChildPaused to NoStateEventDetected... ')
+					}
+			State('NoStateEventDetected'):
+				Transition(target='../ChildProcessed'):
+					Actions {
+						print('From NoStateEventDetected to ChildProcessed... ')
+					}
+			State('StateEventDetected'):
+				Transition(target='../ChildProcessed'):
+					Actions {
+						print('From StateEventDetected to ChildProcessed... ')
+						if self.fsa_selectedTransition == None:
+							self.fsa_selectedTransition = self.weaved_triggered_when_transition
+						end
+					}
+			State('ChildProcessed'):
+				Transition(target='../FSA/MicroStepProcessed'):
+					Actions {
+						print('From ChildProcessed to FSA/MicroStepProcessed... ')
+					}
+			State('ParentPaused'):
+				Transition(target='../ChildProcessed'):
+					guard = { not isinstance(self.fsa_currentState, CBDState) }
+					Actions {
+						print('From ParentPaused to ChildProcessed without any child to process... ')
+					}
+				Transition(target='../ChildDetected'):
+					guard = { isinstance(self.fsa_currentState, CBDState) }
+					Actions {
+						print('From ParentPaused to ChildDetected... ')
+						self.cbd_model = self.fsa_currentState.cbd
+					}
+			State('ChildDetected'):
+				Transition(target='../ChildNotInitialized'):
+					guard = { not self.woven_child_initialized }
+					Actions {
+						print('From ChildDetected to ChildNotInitialized... ')
+					}
+				Transition(target='../ChildInitialized'):
+					guard = { self.woven_child_initialized }
+					Actions {
+						print('From ChildDetected to ChildInitialized... ')
+					}
+			State('CBD'):
+				initial = 'Started'
+				State('Started'):
+					Transition(target='../Initialized'):
+						Actions {
+							print('From CBD/Started to Initialized... ')
+							print('Performing initialization...')
+							self.cbd_iteration = 0
+							self.cbd_clock = 0
+							self.cbd_controller = CBDController(self.cbd_model,self.cbd_delta)
+							self.cbd_controller->initSimulation()
+							print('Performing initialization... DONE')
+						}
+				State('Initialized'):
+					Transition(target='../MacroStepProcessed'):
+						Actions {
+							print('From CBD/Initialized to MacroStepProcessed... ')
+						}
+				State('MacroStepProcessed'):
+					Transition(target='../MacroStepPrepared'):
+						guard = { not self->cbd_maxIterationsReached() }
+						Actions {
+							print('From CBD/MacroStepProcessed to MacroStepPrepared... ')
+							self.cbd_currentCompIdx = 0
+							self.cbd_depGraph = self.cbd_controller->createDepGraph(self.cbd_iteration)
+							self.cbd_strongComponentList = self.cbd_controller->createStrongComponents(self.cbd_depGraph, self.cbd_iteration)
+						}
+					Transition(target='../Terminated'):
+						guard = { self->cbd_maxIterationsReached() }
+						Actions {
+							print('From CBD/MacroStepProcessed to Terminated... ')
+						}
+				State('MacroStepPrepared'):
+					Transition(target='../MicroStepProcessed'):
+						Actions {
+							print('From CBD/MacroStepPrepared to MicroStepProcessed... ')
+						}
+				State('MicroStepProcessed'):
+					Transition(target='../MacroStepProcessed'):
+						guard = { not self->cbd_hasNextStrongComponent() and False }
+						Actions {
+							print('From CBD/MicroStepProcessed to MacroStepProcessed and advancing time... ')
+							self.cbd_clock = self.cbd_clock + self.cbd_delta
+							self.cbd_iteration = self.cbd_iteration + 1
+							self.cbd_controller->advanceTimeStep()
+							print("CBD clock: " + str(self.cbd_clock))
+							print("CBD iteration: " + str(self.cbd_iteration))
+						}
+					Transition(target='../../ChildPaused'):
+						guard = { not self->cbd_hasNextStrongComponent() }
+						Actions {
+							print('From CBD/MicroStepProcessed to ChildPaused and detecting triggered transitions... ')
+							self->updateGlobalState()
+							self.weaved_lib->dumpGlobalState(self.weaved_model, self.weaved_global_state , self.fsa_logicalTime, self.fsa_currentState)
+							self.weaved_triggered_when_transition = self->getTriggeredWhenTransition()
+						}
+					Transition(target='../MicroStepPrepared'):
+						guard = { self->cbd_hasNextStrongComponent() }
+						Actions {
+							print('From CBD/MicroStepProcessed to MicroStepPrepared')
+						}
+				State('MicroStepPrepared'):
+					Transition(target='../MicroStepProcessed'):
+						Actions {
+							print('From CBD/MicroStepPrepared to MicroStepProcessed...')
+							self->cbd_computeBlock()
+							self.cbd_currentCompIdx = self.cbd_currentCompIdx + 1
+						}
+				State('Terminated'):
+					Transition(target='../../HybridTerminated'):
+						Actions {
+							print('From CBD/Terminated to HybridTerminated... ')
+						}
+				
+			
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+

debugging_fsa_cbd_composition/fsa_cbd_simulator/events.csv

@@ -0,0 +1,130 @@
+fsatime,Event
+3.6299999999999666,when(x +-)
+7.009999999999895,when(x +-)
+9.729999999999837,when(x +-)
+11.91999999999979,when(x +-)
+12.999999999999767,kick
+16.87999999999984,when(x +-)
+20.160000000000352,when(x +-)
+22.800000000000765,when(x +-)
+23.000000000000796,kick
+28.870000000001713,when(x +-)
+33.640000000001876,when(x +-)
+37.00000000000121,kick
+38.99000000000081,when(x +-)
+41.240000000000364,when(x +-)
+43.050000000000004,when(x +-)
+44.509999999999714,when(x +-)
+45.69999999999948,when(x +-)
+46.669999999999284,when(x +-)
+47.45999999999913,when(x +-)
+48.109999999999,when(x +-)
+48.63999999999889,when(x +-)
+49.079999999998805,when(x +-)
+49.44999999999873,when(x +-)
+49.75999999999867,when(x +-)
+50.029999999998616,when(x +-)
+50.25999999999857,when(x +-)
+50.45999999999853,when(x +-)
+50.639999999998494,when(x +-)
+50.79999999999846,when(x +-)
+50.94999999999843,when(x +-)
+51.089999999998405,when(x +-)
+51.20999999999838,when(x +-)
+51.31999999999836,when(x +-)
+51.42999999999834,when(x +-)
+51.539999999998315,when(x +-)
+51.639999999998295,when(x +-)
+51.739999999998275,when(x +-)
+51.839999999998255,when(x +-)
+51.92999999999824,when(x +-)
+52.01999999999822,when(x +-)
+52.1099999999982,when(x +-)
+52.199999999998184,when(x +-)
+52.289999999998166,when(x +-)
+52.37999999999815,when(x +-)
+52.46999999999813,when(x +-)
+52.55999999999811,when(x +-)
+52.649999999998094,when(x +-)
+52.739999999998076,when(x +-)
+52.82999999999806,when(x +-)
+52.91999999999804,when(x +-)
+53.00999999999802,when(x +-)
+53.099999999998005,when(x +-)
+53.18999999999799,when(x +-)
+53.27999999999797,when(x +-)
+53.36999999999795,when(x +-)
+53.45999999999793,when(x +-)
+53.549999999997915,when(x +-)
+53.6399999999979,when(x +-)
+53.72999999999788,when(x +-)
+53.81999999999786,when(x +-)
+53.909999999997844,when(x +-)
+53.999999999997826,when(x +-)
+54.08999999999781,when(x +-)
+54.17999999999779,when(x +-)
+54.26999999999777,when(x +-)
+54.359999999997754,when(x +-)
+54.449999999997736,when(x +-)
+54.53999999999772,when(x +-)
+54.6299999999977,when(x +-)
+54.71999999999768,when(x +-)
+54.809999999997665,when(x +-)
+54.89999999999765,when(x +-)
+54.98999999999763,when(x +-)
+55.07999999999761,when(x +-)
+55.16999999999759,when(x +-)
+55.259999999997575,when(x +-)
+55.34999999999756,when(x +-)
+55.43999999999754,when(x +-)
+55.52999999999752,when(x +-)
+55.6199999999975,when(x +-)
+55.709999999997486,when(x +-)
+55.79999999999747,when(x +-)
+55.88999999999745,when(x +-)
+55.97999999999743,when(x +-)
+56.069999999997414,when(x +-)
+56.159999999997396,when(x +-)
+56.24999999999738,when(x +-)
+56.33999999999736,when(x +-)
+56.42999999999734,when(x +-)
+56.519999999997324,when(x +-)
+56.60999999999731,when(x +-)
+56.69999999999729,when(x +-)
+56.78999999999727,when(x +-)
+56.87999999999725,when(x +-)
+56.969999999997235,when(x +-)
+57.05999999999722,when(x +-)
+57.1499999999972,when(x +-)
+57.23999999999718,when(x +-)
+57.32999999999716,when(x +-)
+57.419999999997145,when(x +-)
+57.50999999999713,when(x +-)
+57.59999999999711,when(x +-)
+57.68999999999709,when(x +-)
+57.779999999997074,when(x +-)
+57.869999999997056,when(x +-)
+57.95999999999704,when(x +-)
+58.04999999999702,when(x +-)
+58.139999999997,when(x +-)
+58.229999999996984,when(x +-)
+58.319999999996966,when(x +-)
+58.40999999999695,when(x +-)
+58.49999999999693,when(x +-)
+58.58999999999691,when(x +-)
+58.679999999996895,when(x +-)
+58.76999999999688,when(x +-)
+58.85999999999686,when(x +-)
+58.94999999999684,when(x +-)
+59.03999999999682,when(x +-)
+59.129999999996805,when(x +-)
+59.21999999999679,when(x +-)
+59.30999999999677,when(x +-)
+59.39999999999675,when(x +-)
+59.48999999999673,when(x +-)
+59.579999999996716,when(x +-)
+59.6699999999967,when(x +-)
+59.75999999999668,when(x +-)
+59.84999999999666,when(x +-)
+59.939999999996644,when(x +-)
+59.99999999999663,enough

debugging_fsa_cbd_composition/fsa_cbd_simulator/fsa_cbd_simulator weaved_runner.py.launch

@@ -0,0 +1,18 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<launchConfiguration type="org.python.pydev.debug.regularLaunchConfigurationType">
+<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
+<listEntry value="/fsa_cbd_simulator/weaved_runner.py"/>
+</listAttribute>
+<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
+<listEntry value="1"/>
+</listAttribute>
+<stringAttribute key="org.eclipse.debug.ui.ATTR_CAPTURE_IN_FILE" value="${workspace_loc:/fsa_cbd_simulator/log.txt}"/>
+<stringAttribute key="org.eclipse.ui.externaltools.ATTR_LOCATION" value="${workspace_loc:fsa_cbd_simulator/weaved_runner.py}"/>
+<stringAttribute key="org.eclipse.ui.externaltools.ATTR_OTHER_WORKING_DIRECTORY" value="${workspace_loc:fsa_cbd_simulator}"/>
+<stringAttribute key="org.eclipse.ui.externaltools.ATTR_TOOL_ARGUMENTS" value=""/>
+<stringAttribute key="org.eclipse.ui.externaltools.ATTR_WORKING_DIRECTORY" value="${workspace_loc:fsa_cbd_simulator}"/>
+<stringAttribute key="org.python.pydev.debug.ATTR_INTERPRETER" value="__default"/>
+<stringAttribute key="org.python.pydev.debug.ATTR_PROJECT" value="fsa_cbd_simulator"/>
+<intAttribute key="org.python.pydev.debug.ATTR_RESOURCE_TYPE" value="1"/>
+<stringAttribute key="process_factory_id" value="org.python.pydev.debug.processfactory.PyProcessFactory"/>
+</launchConfiguration>

debugging_fsa_cbd_composition/fsa_cbd_simulator/fsa_cbd_weaved_classes.py

@@ -0,0 +1,20 @@
+from fsaclasses import State, Trigger
+from CBDMultipleOutput.Source.CBD import ConstantBlock
+
+
+class CBDState(State):
+    def __init__(self, name, cbdModel, final = False):
+        State.__init__(self, name, final)
+        self.cbd = cbdModel
+        
+    def getName(self):
+        return self.name
+
+class WhenCrossesZeroTrigger(Trigger):
+    def __init__(self, varname, up_direction = True):
+        self.varname = varname
+        self.up_direction = up_direction
+
+
+class InputConstantBlock(ConstantBlock):
+    pass

debugging_fsa_cbd_composition/fsa_cbd_simulator/generateSCCD.bat

@@ -0,0 +1,6 @@
+@ECHO OFF
+setlocal
+set PYTHONPATH=C:\Users\clagms\Source Control\Git_SCCD\src\build\lib
+python -m sccd.compiler.sccdc -p threads -l python -o weaved_cbd_fsa_simulator.py woven_fsa_cbd_simulator_hierarchical.xml
+endlocal
+pause

debugging_fsa_cbd_composition/fsa_cbd_simulator/models/bouncing_ball_model.pdf

@@ -0,0 +1,373 @@
+%PDF-1.4
+%âãÏÓ
+1 0 obj
+   << 
+      /Title ()
+      /Author ()
+      /Subject ()
+      /Keywords ()
+      /Creator (yExport 1.5)
+      /Producer (org.freehep.graphicsio.pdf.YPDFGraphics2D 1.5)
+      /CreationDate (D:20151030112720-04'00')
+      /ModDate (D:20151030112720-04'00')
+      /Trapped /False
+   >>
+endobj
+2 0 obj
+   << 
+      /Type /Catalog
+      /Pages 3 0 R
+      /ViewerPreferences 4 0 R
+      /OpenAction [5 0 R /Fit]
+   >>
+endobj
+4 0 obj
+   << 
+      /FitWindow true
+      /CenterWindow false
+   >>
+endobj
+5 0 obj
+   << 
+      /Parent 3 0 R
+      /Type /Page
+      /Contents 6 0 R
+   >>
+endobj
+6 0 obj
+   << 
+      /Length 7 0 R
+      /Filter [/ASCII85Decode /FlateDecode]
+   >>
+stream
+Gb"/L3KL#KP+:FEU20j9ikCec":1)DHH$d()+"YX26$g3ruVds,*V(J<U[Y9h7>r!i3gt1K&jruR7nsL
+A2:lRp$X1hr-XP9Yg9]UG^92Vm=0P29_dZ&a@PXlh6DD!rp;FupM[fpqo<XTA**<#s5!SPr9_8;QiI&7
+T!G_qs8Ch>&-#H*r`f:Or6rG]j+$k(=Oo9FT%j6<RqLH32IAo3T;qbV-2q6B.q'O>"rBSc6diINqJ#^K
+W9*^.10`!Bjn/t*pOF$;Y^Q&#cNh45qeuMl](jG]5IKLK]-+QO3m()&jgB]!Nmi6tod,pr>4P<9rO'n:
+)!>[1No%Lp^,"r5=-e!s0-)M![r7#]#d:AEfU&k^f,Qq\6Z:k`<0(%=m*!HG^9Q/(bC<Wr/p4Sc5Q30H
+csOL51l+<()K`7FlYN8UQcG`;P+RI^Q>GS=Xu_$8BsjTb@TYmS'bu!Y\A-VedcTj8Q*ju(4^$Q>,>nlP
+#JVp^?fOnP;L(DcD,gI<@^!lM$!=<IX$;j#pY$I&76+Vk:=bM=hcj)D?oM'<4gk1SH"at<'Pi2Dr#m(F
+$,>`WN/kOHmAW7Z]XBO)ANpCc:Hm:mkPFl_8?0`#1@ja5Os/0'Z$PiY%]G:KB3H%0A+a=,,euT0;rUp(
+lOUNS?k&qE)F'[o/UeJ>#SNQm%'Oq177lkm:6$+*3S%SAo27Sf%B?s`-=$'Y_[3QV`HlT^q*p`MBCbUs
+3f=q50YS!]*n#U^0i5:=#hWu^r[E=0YW`B"4U/:@=X!;,.NsP_qG3BK>@7boFC"u"7`JMlUZYAh%n,ue
+gc[j6(4@4hb2%ob.MF4N/E#rk-)A\nqoAh6Qcu_%rf_k.E[gT;Q$MJ3fY]oL&7D+Q(Po[KY%nKWUla7m
+(6HD-Q>pIP>[Mq5iAF>#C'94+J0#:E?O'tLDf3&t;5io57D+:'V%EVuJ2_n+nfbeQJLY:i.s$O8JFc?4
+-[c7[`S)[]!g`&-q$pN_hj:-DY]ht;Akj<4^c)mLZn!3Q.CeFb?rlVrIJ3BZ"*Oq0HgC3nK;PJmFj!.]
+]s/qHk-i0-*cNu_XA8[=i8Ud8O`QcmCaS_64p9YG[H8EDr)hF`%gG;d=TMrn.4s@/?;)+NC&?GL'[pNh
+.t3ID,>MUaMfI-49K5SU'p+BaCX<*:Y+AgFGsSf8aVh;i8P3<T'J6?u_[>^_UK4E(L-R2gs!'$U.q-C2
+WN"G,)k5PVr;-e&+tYt]ZpiZn*9&Z'3(P!P07_+t++ZFS5Pr%",%<CNT38:=h$!0(n,P2^#9=.Hh!u?B
+)T?\a]/XGU`YIB;6a<fuMs%8(bm3_XTMF*LJD#&dW4!q]"iT"1")G@J!X?Yr\[!_)7bNC58:^Q.,0])6
+rYu)E]/A7V@g(>"/>a]UbYYCN.F.4T1]Q"ILXA/\MMi(9Me^3a@ap<q+5$M931n][YAND$irgoQYs)1V
+)h1._,+sbM$:+W5Z"(2HOn=&_A##05Vi?Zc3E:F:@9?N.ng^opQc(-C'Z.`\-^WG#TGt4+NNLk<9.tS6
+.Fr@k@a"**nM\VORPX9Q'/<%MV,;tn9.:7IX$V^qd,6)cnjC2=V>f59C$#pUfK[&+l"5c:s4LD[s8#6M
+]YEe3>PEVN;#Sl+"L]WICO78pVr:bHULL8BM[%PtIsa$]FLBEdfbtq$ih(_lF_Z8am'an5e=Y`pb,W^L
+)S(DiYm6Bj_OSf8qN8rD0$l8Tpa%!DA,8%o/cX^@rh$%B6UUjoNm#cC^gCGQs$([V$d<sa*CJ3cZ*H=f
+g>61A^@^?7mX__M2lt!GJF(;B#&[PCelZ^@iS:Zul%Kd-Qa((HcGUTYP:O@VG'liq-M;qh,$B<IjkKOo
+`nWs%Ko7UL^PK;XIpm6kM%9JFAt$eeM6cP\-^J?=h=5T'l(@K@rs-"g+%SGdrPl`jNpDkFjL)BJC*.G&
+ngHl[\+C'[*\KR@-8h2T@7AY3JlKe,=+8pBqg]21`@tZBikE-O*])VUDF6<#NWJGUUi4n<>A37Y/%;3p
+EbO+k>F[a@h?\e)Q4CWti+Qg[TitXXV.D4>_nTGe,@\BfPpnPe?)=il\YBY87`F-'qGp*:m:)bX.Z_P(
+@I>cbC3RBbF'>UF0/[cUbSm=;f)K5^g;6]K]$fT]e^?08?dKrkVIca&&n1smiD%.X^2Hd:N7;Y9%uNmJ
+Vd\YORV5k_>'9)G8kP=B@4?s/ZD"ZNeP-pT2tgd^-ap>qBPqOZdlYFIe<M2l/A"@^omQ]`jj2Q%J?P/4
+_iuWanX=0sigDmdh#jC<DI5Ndo>-cNW4llYGa'Ah94IPH-$&!SX(V?YNUd])bO'rNMb-6,=$X^X>>g7Q
+eFti(BmF(e4&:[7[FBQCQN@?,KaqB=T/@+.3*mi6"pr#$(&1r?N!M^L+U5cfS95_s>XK,mCRqkC6"YM4
+7ao.<:"i8nMC)<;>[-C,=P9#uT2TPDar$'UE!t]j-u4X@)F9Q^K/G-td@9E*mT=;=/P0Q\jM6?oUQi6+
+L)3#)5ScM\)!EtfaeR/K$=l-Ua+2_+bpJ%Mp<Sanbcg,?b*23BW(gHTB)*+`]nFp[VDqZZGHEU)@PG0&
+cqNX7=%HT8XsGPugb-Z6l!3Lqg9R&D;*QTH!ceoX[&\YVieBk),lr4+KfJKql'jV\9`apb#_=?@or-te
+_^r6L$00&bmp^,(ACC[IH5TZ%VW@Ws$\Jq%!Eb[\'+!5;?BaDb./$)4,:'Oc@_/DF`Z2eWTBN,4omm7C
+5%##7Anp/DR^^FXnHrDJaoq-:L=c(eKuK*WDu2\DYhJk3%P*$g0#M#p#uUNN-R$1:!r"(.TKE.q4cUhH
+TL9L\r1Noq-ak)n!0.Gr%0lRR(`6W.%#SiS6tiR5@UDq+IGmKf,2?6!0pXh:PjDU_X2k+WJ_Qi`;]^n*
+EX]X0Z[*HXSQSV'hEp>rf\Si?k\/XP;*V_I]./PP]s>cUN-G,*jLha,iuu(b[D4>$;8_&Jjt'U>Q\lmS
+RX;P,W,(Y.`:=/GV"BVa<:ujQ>.g]]:APK'o`:KG@[o:m:(;nMVsm$41;ps54A;^(_*aA#O.F\0<:#]t
+!]#H:)BHM>"('Nf@LI5e3=o2V)n;$lGg1%JYoLp&L%CH7T(>j,qd?BZ3Pr8\+l0C,1O"CRNH/!Jm8^oH
+HZ"_bJj-,0)PFW?*,UR"A$p8&cBh2?J3l(;:8A<#gi-(MGO1]!#Z^3k!cdQY'Y086]N.$,CS2Zl0HdXs
+6!3ENQGf_E)U'Y7]e`HY<JQ9;;sPgVcu=407;.RR5kDef/qqR^lC4^aH#1>@'>@_7"mmq<@`XOCZV_T%
+kbJi,e7Ng0phX!YTo`kZ5YlCAjG)HLQOm;::THb10p=@A-e<8Q8#g&N-PkS>Kl6!QjO9#^k`Bj0a6-RW
+HVf>7^H2WYAG'O[QN\'`EB`AQPam0BU<[n2q+qPnDLlHSRr;JdXLIt:kp\T/1X5t-l/nJ#CHYqQE>[hc
+ZOgfZq.=[&38[E$Q8mb=g3b.3I'ZZ;Rr;]SP:jRP\;eBbeGV:<9Uq&Z^-V]6_%!09.6HDeolg*7F@jCG
+L/]YJ2hj6J38T$<\]au&QV+mcAoLHfc9RrOWaYK.n-g[&;Y#Z_]WWs%5tU,+%FU#Wpr9Q254Yl<nBJmT
+iUG*lQXl@j4*l?sgg,s8VI4al945Ya:2!H4lUU;_6<fn&boa4:#n>W.kl]d`Ju/KtO$meDZ/_40)&j\M
+;@rqZY%G+EEI?r>*GJ-O3L^e?l,<.['m["5#>j@"`^VK,/o<p<[Klj92MDIQ\5;7[R,c.i?"lCr*nDVg
+L!g26?e&R:1pEguZk]po63TEsC.h3[hUo9IA)A:oFWEC^3e+un-+RJ6j31Y2&OWjEq`(k6^<F-em>MuM
+FVO7[_7So#\Xd1S<Tfr6;9l]6<Rdau'?ej1IOWdYnl=D[q&2c7TZ)FRNnM(`NRV"*/K?'F#1god`8:#N
+NH,?[hJKA]f$%S/hb$)(fIXs%ET;uU4=k?GoTO,(^Eq4%RT[pLLP(>$ORq(=h`S07Za4`8c*n[.f"4Ru
+engj=3A743X`q`EBrDiJc,7=^P-2b`^%0p,35'qhK5pb/5VVXfBQDTa`d)V:B5eWeCbIXqnGURsDrE+\
+g6k&l'WX2G9Lj$5^)l#gdT9SH^-&ipe4@u/)3[2"3#!I&lOFhM4l]a%,aERo+MPSR=@#(0.u/UGVp'Wt
+j8CunbB_@70NXRZn;hL',[^=pj68ONN]m>Bm^?_D]<mpWH,B+3i:b=d:r[*orrb,@lB5R+'PIO'Z!ZgA
+/_.@(O`>=`$gAs$1?O-W["JDj%3CA_<a'/;-^Nn5b\;4)ju":L=9;t?P\3dN*EK@c&F:o!/[dN<lk7O`
+GKkuq#1R)J(*P9li"Jc4(SEYY!JO&YPVtkS69,3lLcF>.Gq-SaLb#`iWRCB2jI;k011.C?6#=8tAiR-6
+a_kZ!'6`@Z"<;.e'2p'^/^tG<d1,k+UV9u5U6I@"QA/GU"8Qtm'/`sE)dshWBao,t`\/")4ZX28-I`[Y
+!@LUGK$U/EH82-k=ZVZgd2+Y3=BX+V0;g4CGj14C`D&8AOo4I28f;tGg`"[D6`:.V8[YKmnX=Ik?lcM?
+-m[*=rJmG4Lcnm078BGoH2<giM+rKNW'?s"V*d'ds)@tq$+nVp>VB'/pS<$XLeBH\H4i^aY`U*:Xl^9i
+M^s5o7#+*nRrMA,3F,T>MPfn687,5A@Li]lYU]W^@r/hD9?J\3[jS9LPR+7=:o"U[:34Q;_Z3D3Q%;ig
+>^'"t%^U/p^]MARr+b=mg8Qu3V(J]/X^Q7MU/3+PPKjttOLC!P(>C^$\30gk<D$-&?+hoFY5'ED=-f_-
++cTIA1u6-;j:%F<]V%rW"4=sUQ*fb73E8XW9ONn#.h0W[VIIYF-IGL<V+[QR4GKuckZcl';F,^M?dMp7
+2>S*5H98C]l)a>=?gGgsX=qYU;q._i+T";BKOlgc)C>LSV2Z=NT*KffO0)S[)`*Hnde#C-c.JU?R[/Ts
+/$6cDCp>-FYO?ie_U[s@4ZV%7Z+-#e*B6j*bZu%j&0=Knl2>20>2[Q4@!0Ie.q=cP>Ior:T&CmmTs5j(
+J`u"04W;kmB"SK0KGnFD\ia=@C$&BRihsqe2t>[[1/,)b+*9.p)Rj9..0Rn95pInc2e0RaV):A$C?HIO
+`NjD.*P,/R\#!aM^cKNAkB$-%]4QE^a3b&gF'Scl6@u&>k5Jc%SlCKF?I,VR^GIcR]8m377:SIe;+brP
+rVejaeR8`-X+R?;*j:_cr8cHla8:2=o'6\n19U#g(U,RUJV*iQGmmJ)"Smbde>b-2HPbl.dAF1j%B`jY
+$80YXD=\.AZ8cAGR@%3:=+#eqH:Ui<U?L(_0?>+th#Um7q)(@%?1VRZAc@OW?WRUX]tO"f/r-OR*bJ<l
+pkp">G2)kQ$YFPJ;tFt>0#GkPa)fgW8A?L23R"93nL5L@W29_>S?\TQdnD5g5,?W1bY17YTjK3>N)<m'
+3?u/cEkJ6;V16L7apNH6BmB8]_jsEG.N@PPo-;!AAcI?Se!1"GDlt(OEL,k-D\?sXWe989k"M6BT.q-;
+_He&r<_?#,<bWj^6Va-0M;BX[Aj*D!RLj[`J@au$e>+BYWRi<%Bb';MBVT/i-,WIojCLCV%sXph:O#`j
+[@5<dW6VgYCL61AX%$leZug)UdDFUMCCZ7s>#/5b8PV5%="o$uZG;Vs)YKn$[`3P6N\a2<dV#;IPnm/0
+o&Nh@e0-hKQ"EI"D%o)a0pdujSudX,Gk\_EJ&]JqW/GB"]XkVXV(^1/dO0:+BBc&YGTGhaPD;Rf+(S##
+Of`7?W!YZLM2f5=JS@F.2*G]2Q"`0h&)^[(ahN:T>'B0qp<>7jc[E@"q`602.VF9r]%*ph/ua3REdGN.
+3i/1c.6Z34&Q^H[oX'3#2L66*l0^hGas5pcF%T4f/'c)'d][mjkn!%1(e+Ee>(#&cl[.DE4IB&n_HCcb
+o%0,?j*sL0qtUa#6N,:'D4[0cW6,s(W3#9C4oPlgE(W@eq%?^E=aRkn-H9D62Q^HbNJht.R[C'L1=HtV
+]+S3ATp6mk$1TGbWJ0e2]ePo]dSp#*P^[l>R9u#CI_J1a:bp9cWTh!n90pTN,sD2_r\O2a)BSQ=a.#$)
+UOMG%o_&4#oYZY_+5Ak=j/jESpo#8qhIX\srGZ8q%tTdjLt0\r&$[asog@Z4+(F>QoL#9U5HOD+%tTai
+\<6$2NqXBIO8>P[f+0N.;ls7gjEg4A%tTdja;/Xk&Eq[UdJBU[Otp6+giP@Nd.,YQkts[Hn^\5%Nd_7U
+l\@@SqB=55%keVZmB%I>7=+9T)t+hte.4Jr*^X.MrGZ7BT-![CNH]Z/qVfGk+)XdN&6(^e+jd>5![%@P
+,oupqkgg7t/1sN'IL(&f_oKLe2>+kjQZTuT[*RL_q$$NK6Jt<0$Ft^,H+^9bD2NOYHD-j"&jc#F;Ah^`
+LLQ+@5V"WT_hAO+ERp^CpmeAr-u#n0=;eoM5IZUL1I=sn^T<O=,q:J+\C,4VT3W?D]R%4(06*+1]m(Yi
+=omb348p+a!dqJa2qq&DL",C"`UK4r?_8#uf_+]5j804F+4na-46>3:l;o#H6eAa:/S+>E:(DN;rj+`e
+_JD.$G`5/g\Ot#[Zj0V`NXL\\FflgkdW<0sBqN'/Ah^/[H."/NWo71ak%[/ofROpM3aZgt*WaKF8`Tjg
+D2*[f:9V%C3o=fH=qZ`g%NFeZJ[?UjWJ.`d"!0<lJM,qi4+R/c7nDC6ms-H;-K7\LBMr:RT(fpHgUPnU
+0UrbX\O]F6/>U9W(Wn1ehFJHQ!.$2o4a`)bQA)VJdoB0*WGS>1+nF%-op?-[='DV?4E(qU0,sd*],OJB
+U7gs/]$*Y!'C!rq2`RFDND`hKFMZ2aYlfbrr,RlOYg%\AjY47Wa&e8^Po=feiY(;Tb6[9eRpS@AXH-";
+di<dpfeR-".:9MsZG`]O(Gae0Y#?dL;X?&kiURicPP#g>;Sf3p8b"2Db'9-X*rjQM$F]Q;V1R_P'g-$Q
+$Lr,cmk7?aeF6<bPl<'G*4lnmSa/dnUd>r[;PB%R.Y)8(.Y&_P<%-dm$:%*2Ch-FP@nHoR\YTAu]qkd'
+h,4823`:P%]qdt4[o=d9Q3q1c8qi7!.NnDH$HVI&"dX4$"k;O&"k<$4"e]'LTKPdpOH6hLfZ9l*`fpi.
+E_?SsHV9&JDQ/.)*N=SchGOBV3Dol04]2<&\>@'^-5DX=8-S'rUr"@kr%4o+RZ3@_h"AeR*eh,iE^Gl)
+FAUSKYU$cnnG'aZ$NGXa-AE]SW]RcSLLVluH%UA%`f5U?24FgM(rfQq6_6tmT\4m)SCpes2OoD9:6j9t
+`P3_-HFt?DEG%9tP[c=E3JQD)=Zm1gcE*l$h*U8rf\Si??d>uV;*T63]df%^:];R$#OL])Oo'/*G3Nd_
+UrNi+dhp0TEME2!,'`E(1l9AMa=9*qHe6,Fnl1dR?mBka*<h7$U_UoK&TZ<d]kPMcL0n`k9Vnjj8(QU#
+(c?om7&RO[IH*e8deD4N`Lq-;X4OTI=bS7u2ms+.8YQIO_TNj9kn'sb/8(_:dKLsK*_Z6IXDoJMTHM@6
+$>BkWmlHH<Op!OD%bG3FI-%jmbr1c=C`^6T_0e[Y=q@JSo=i&A?e?0,hf.jNIBgp+&m\NcGq<i7#c/]U
+%-GafrYq2*qA/!!G%@dXm8)cpaZ8AC(]$=rNJ<T/fSbBd%@nN;8uj7Y:aSe'[A'ER=Q"DSA8!>0``B/5
+n@@^1^<0lXj+-sN^P'9p;neMRk,ftrRb7c`Bt9Q:PX,\Z^P%]7f:I1;f8of%XmL;GCY_i_WD+RPKEi3&
+UU2bX\,=F3[7>.N7dhoZ<M",3UOFV9ds"_q?T1$8X)pmB(jRG#DOh#XXUN*^.BoTthLqL_Vp(6&.Hjg]
+M5?d"r_htPNo<[W`L$,EkcQRCYiKukc=&pqm_#d13"W.Gp^o#>I;r_%&FUTlcPJrsre.Hp3d_0=3>fc7
+jXB?*L&(h"bQ7Tdq9G\Hg>7JDn;NcA3JdG'fT@nYpUiEO=Q8>.?H"_1U]ZK9js<mcDQ.=UQm@'l#<F`_
+h#kHpS_2''ll_EhT.W\JH*^;m.5]%&Q+A<:$^G18M%bOg:t>o&kIjV<76jFeOFc0G+Pu]Vr?:>/oea$n
+BXEDa$mGLaD'.cl29bS:\S%l&9p22ccOApNYZ+Z*/2cnDN]N.m(77C]a%h]W9auDg?p5PN=D\>mV;9/O
+Pnl@S\sqIcU@I#K$%_UbBkF1+YrmqQ:?eFN4kC';`DV<Y.OP%<&4s$T5`1g7@FRlD(-Z(q;#bK<"G6G!
+k3m-RS!o6hA((_u;/Z\Ndf^X,0G;)>c)!Nq$09j&NQ,6KZ&"$!4WJs4#>,=W>.R2&iB8XqrJl?Bf-p;F
+I$?\c;<^)'j"j;ML\m%YV:1.(l\q=aH-^Fs-D#R=)dP82B"65GgM;Obj>,5iAiT\9jr2EecU:g6bu:Q<
+gO'B9hY.F;H#n&I;I/$add$Pe/'$^WlD4BncZ"nl/ods1cG$Y'DJ#72il%8(CRX4(HKc,kT^S@I*#de-
+iF)7tAiSG\bWWj(g9hR%H"nZJL#=keN/tS*`=%PD)D1ZZU!l)X28]kE$g\efoi2B1jLk<>nE*YOk+tj-
+4Y$S0?72Gu[^?U.rh^`iKl"I!2rhVr33gT5:P]jhTGh%Udg+e\=U?8UMK+s9Dkt'5_`jBJF"X(mY-\_J
+8Kd5s&3-X&"Y5FQjf8hhHj;"=?#fN>6r9P$15*#cX#sfeV?Z,ib):.do3gTArr4;#GPq=VrQi%CQoaE=
+&pTEeH%K8+FGf"S7Ml&%dgd(P?,94R8#e$gPH$&q9/Z,._O[:n8e/GZLa+J;:S.>T[h/j8$usJjf/1JA
+q%!0\;[guV@d0-5]kh-D5i6^0`]O-#RUTY*#'U8m)K.T1f!fG*#%%(TMbOk#=de25J5RG%Au<S[6YgXL
+2cg7mdKHCra3k(erfS)"/DiB=\7"(TZ"<+*VX(*0k<__oP`s'EEp'5+Fs,Et:>V[k,O]:,M^:ZaAmM3b
+>Y$>sj!h]3?MsL7(N&nR(r#d6p>Y%CGI#M9gQX#BfV3CqMl=_gJ;Y1AZnT/9V)n8]ms8foH6fC6[XT4i
+GmnDN@-/+qL"u!6qHEQ24FN_u'(h*/*5`GK8W(lN\Pu+?90uE>O;cc*(OG*I*V72RO%k0R-K[+_$L,XD
+aC5sa.2EsC*Dr/'>2jY">9BKqDB+'Y*Z4.KOoQE#ePs)"lOV+8P*9(6eQQ`1q/CTUkaHD0B"@0brPqXA
+k"A1]]8e_6qhVGIOP>K<'>j<QoZi.-cUXSrQ,B9JJC4B%QW,d0r`H+Xh&fa:<V8kkV:lJ$5dM%ZcKX_2
+UTUYn)e\BR=qZkAYd`035N=006.CUo+_&r-Gc/lfq(qa84T.(5_rD+8SrX@FA)a";F=np4`k6:4jK[Jo
+"JTp4,:T@'C!/Z>#B-CSfu#&t4q@8S^A0Y2E5$deqatMp4Dm9($TENY]^'%kTCJO/"7t)WiRj3=l+jPE
+`5b_#Fe<Z;O3c_Y(02'OP[\Qpg&+)g'4'WelL3XgDf?kj"%=7*K%k:j4.:2)fHoF2a2glB1idPEl!N_a
+r90;s;;2R3(#oGc1qfPOF>LjX<&AfA6>q5gNT3F30Jm\Eb8J:pShJ<:q^rW,ppt8%Lc:'R2N(Hm[Iu9<
+050N1FRaO@b5F9M-liZOoR1e<gUO/2n<MjNK?&Yebp\mB%k=$[2MRisQi/5^n!c)[C5!o)G[e;IDY"BI
+B_RNqlcJ,aN#Fk/QS"TDgQ_=KJDi+$,3%<SrWM]c,3&GkQaXhf.-JqsTUX?XG`_*))f[+rmG#XC<f:&l
+Ag6*LSZ4]p&`6P_+Qe;`ehcA%]NH#ei?[>&:M`q0"/U!.C-aNo,&f?nBZp/'!YJbgE0Si_)cOBo-_%BF
+M&(2n5OF"pUno'o4`A&IVU<'=h2TXt`l>AJ[5[*D+fN+R4OmG=DHX4L<2tpmpoML.TPuk)1n/(Jn)RfD
+oc:!e2(R(J#]LESE*RL58KV.Q$;,)92Tg)sGPSVg,<tDVZm_Jup*N"[Vs1jVmBa&:/sPFij2)S$1_.*C
+Sb[41X4Nhe15do#%,&7:HUImUf%mSh^>Muk:H)PS!`sdX$Z0t\#@EbfT]@kEj!Gg*ff2G#+n"$+#bj\c
+X@(B+_05#Ebs]Mn0';-V&!fW>:EEV7;C$!,.;Q*E5rQcHj>h$pk1!"r8Qp"RdK]DfM2,a-nn1m1kV/S*
+'r9"u[NKMQ7uEWXCQbjLmo[,XS3q\I9t<D+Z.C?r`Hi[QXa><NEM;S9;C1.SdW2J0M44>dUuR#fZjpf_
+JE6XFo.*^D'\mScIl6'Ilh-Stgtg?&9$NEC+2.$tHCj.]@r&,S#N4=iWc^LAD&o^[XfD>Q]sW"%BDJj'
+%pN8(s"D'nob/A8]CtWE*b.3gksUmO):'Cb^"G)QC!,UUBGFDC($TqrP@192Y]'im]U8k3&M9n9:\A\V
+YN8s9.gp3-^Du^;AZZm<AO.6X,[Do)ej\OWFL)4uAE&!51cr_`Z5..O]>&i(#TOGaBe@d#Q!BgK5aX<f
+%f-6fJDrDap>[tojrq2snPtV4%Bmpqd=0L=is-R3W=\Z#Xe0P>ZEs/p+)lTb^\':?KIor@-,2i.(8DPj
+GJ:oLgPs`U^#TGm:GZ("F#R6VjV@9\Vu)nr&*(\-R(cS(%rg]_cG<6NnP!<__$Q%?Y81,ZcfQg"lnjCY
+fCTBHf-"M&&^=pG*6r9@XaKlnd$h0gB>bf@fC:T=r3j^Q?If5j@>,mqI$ja[I4MSPE?f@KD!\:,k'$,0
+=)n8[1p^Yn7&-J;&%VI.?K\2kYU$3ZW#t-jMuIf=+YCsbG&14:ko-#>N=3h:6c[XhXiM(tSsnc?:ZdLZ
+P[d)::&s92R7'+<Tf8PK`HktqNr\2S[:Eh_L[;[(l!SA,772KtMk?"J7NKnqeod?@SaJrB2S$$?6;O)t
+F:).Bik-8i9g)+p[)j`HP/`X'RU\@g=DM&%PbiC&e'4Ul0PX7L0'UAA:"I2u<mN_Xp>%^M_'#l^2E=!X
+oG**Ajkr[PlrP_U*2olBp=2uXrl1J'*9h/lg6/tG8g8.(#@4h[ADA1nS`E>+Zn]PP5\iC[nh*EY2mq=/
+Y[a"3Xh1pZ8*hJ1nJPLP_+cg:2FcGc4Rj$=Ab0<7fH))\"P^3>*l6[.Dg$n[3U@?*O@HHa+0jX*q2B_)
+44X]*f#nuJD*"LNK%oo0%=W5Z-f6gOEJLDt,IkiVa^_r-=<lJ_js/OK)8VmCTMJ@*=f'7iV%g`%YFar)
+m2]]J'lR/;4Ys#\?h)5e][JfZ]B6/&DAJdX_e,f@79M.V+gE(j[%9K6Qr]rj^i>!7HfnF#/"^2jp:d0k
+cT"K,M;!=OLj/\f>H8:ebObAPphE*]]1]$rENnQG"oW)dEr8XHHp:ehA"Ndc4OJVrVH)Q^oD/c:XhrP:
+^g#"Wh4&XMK?"R<m.>m$=^Oc[IjpfZ(,uNd4L:BdM%]']%XpB^B,0%ijLo/E-][mPLbF>Ia)Ik,\mGuh
+4hRc<)bS4sGcD!Ak,SaoM`eSKaF#@lL-Lrl?cggqW7$9q8s\.uh!-9m4ACj4201=]q>g\Z*<%9Jr(+@l
+\"+6$;0qqC:5E]J\m/NE2pL.<bs\0/RofOF.,PekZC-7)r8'L(nnh$JVo\a3aArN(i<t^=o:K$sXZOC;
+SZP9S5g%XVWc$JVYGj%kNXpm!A,KE^cLf'@:>^'M-/tAp"[J.1?u]Fcr77'Dq9"\L%YonidG).XB[Lbn
+I:9juDKrtHGN\$Xjks?PYK6SIBXgG-@X3CB!?L'^/W(:]HdQ+.)>:aDeH9t^Q/,BNs6qn1S_l+^mcok2
+p/J`5\LID1@"7a*gdN*7c^T?\h#^8-4TN(sS/4]S.HVuY98E`T:o]!RBK2P8$tt$FraPs+DN=UX%fppF
+hM]@2nK.j4Fc^\ZDVEpKYlNG7@XJVi?d#&Fi&j)*^sYW5,-Ufg<6Fq'e8t24FSY6AnTO#/n&3]4"S2k2
+@gUTj'6Pr2N5=KXT>5;G>-RXb&&a)S*'#(uD+&BGIMRGmV>=[e>P]Q0f0jqtD-O!l!bUlE+s9;YeC@=$
+Di,NO%`3N7P&k2Vid"E1(up"s`5El/M9.@-lD$hlPH0a,!%Tb3TOmX=g^)g=gS?kq^V[%dgg"t-kn;Jk
+MoSGh&C*HG8\nEqXra7eal5@Qb6@,HKV.%=+>fBtaVfW\3=Flh:n<XV%5%%qr_C3N#T.$;>#<nFar#=Z
+*ar=/e$p9>ijgVuf-A"Gb(*Wl$"3tP*s^,j#&J,@-NThO*;1A'"R#b!]0$sZb:Ws@*;uR-magk%8e%EG
+KleH-`,qo-\oVgCTH@mpJ)EK\(<)hrU-P\Z4:MSK41Q=<i3q@so"P"efp;Vc#2V0*mhhHV?LVgceA>c7
+3Z,8k#B3^<Vl_qc.k_4LW-km#nm$ob<D9d%n.^l.8+EjR7V>)M^O"mSd#U3b^[]H;O1LnmCY37/#S3o!
+C^_pqY8N7H)!Q;eRQOU6*a*!_gZNa"O$QN^pcOOJH9=iQ0nsnX@l(l%9,rB#Q>P4e2gh`P7aT([h/TBk
+F;?l34HF!7?/d(t4Sut<]DfMX("2R'pZZpiLMquta/sKuQm7EP:bS+S!V!^]kDJde"N%/X*uO!$oQR5h
+p50M)+'lRl8<3G',Q46aLY&o1[sO4lTUtknPd9=`-B>8Q5li>@l["&In+j2t3:V5sjFV@$XeaT.`84kp
+j9c1#l#e3lP!'"W#)AEn6gnWL=FH.-VhY&&H<hrTn[urQi/E&W9-">&W2d21VIqs(j3jd;**,(L=hsnE
+^fF=agIJT6TP@o_$mhjtk+q#,2"Eb958:"6n=UB;KI6`O!BA]$_a[3nT*4)6LPttoBL)&-[PE(;3CSpG
+pe!/lZYfKW=-B6Mm!)G0(EZYia29(l*WGO&O9#EORY4fXY`f,;[^P.`65!!L4Ws/V9PX3T!"=3,jA/$2
+K35l\*a\Ib<"C7f#`XAQ)O/8)K_V),GM)YkGo4d@FU6n"BN0dhI#niD\cfP_0rm*a#OLaT`i"l`<:CLt
+K<I\nH%n.\d'Lh#n+HfpjtL7E%4\bkZst5M[llIA'+$,o7nY(1ngaK$i:tp6["l-N&l4nA*R+kmd_"^q
+]!].oV(u>ic^Q[O51;i0J%]6.GOCm=#.sM$b9kfBed\m:3'DPP\;H1LrG.peQa1[>PR3l7=?:^P6,R9i
+g-sTu]"`MlOLDjs`3/%7Ns?dpoIa+L=>mhWVZ=@^1cc$2<PoPiQPm%:^9OGS\`1$h_:N77GkIR.i(KrJ
+/'q:&\&Z(d3LQ@/fBB\o[)YXRX<A9j8<D%/R8'C!X8gd^PBi;Y`7$(?nfOfLjqdQ4]FRNU)[([/+>?Gr
+]XfWD-%c\4CGAVVj"6./d<b@D+E,qD!IX3]Z9j_j"]+gm2NE_1qQTf,(:b9XZ[G+PI)uH,gc'U*F[Ek&
+Sc5/:SX<5eoHp=:>h'iQTfiS7UVG.Y$R'n1*I,jG,T&XpD1sKm<O9>_R7^/!=j*C=KU2*bZt`E^R':(G
+g].0!2?q0q6/9\Zft@Vu&N-@-($bCXjO[:QaYU)D0mqOR#_e8Fi>WN3d'!.7I3#cD+VR1.LG--:jE(Z\
+ih4U"Jpj?<pB/eCc#jeP'6/+G^6Y9Um?)bFZr)&SR:M1Q4ht;k;V^A1anMTbjD*G0kLfpNmP/WXSWRXf
+V^G-D%%dT?=;Bs5J3<uC%RB?+%,On42mj/NJ"bbXeQF&s<>".eM&'l(jqh@R>iWQ`A]c3HZ"s!jrRo'"
+%=BG0M'o/FohrA1GqfsC3o[9\#Nhf&Y_HU-32qpA!$'Xgj@hn&?1;MQ#WXLT-XS&Vj_/@Qifa[rA!1B/
+B;g-W[*WKK'0[[TiGIfIGe/`"'Z:SoC6lM1TZo1/U4Fkmq#S1#2mcm%=$3+j!CsS6J6:Pp%XOn`,cCqN
+Iu^u,>khgEd@]LPAF!$Vf)mqo<AjPjAsLNQitJK[qGZM;]M!aSfb=q\:R/Xq\,Kq-kYDt5e>8W%3T:/]
+rFlL-J#Y=Nh>5TPZ/5<j<h8L=:VLOTq@R$EmC3'o>pZ`M?n/AP-R7d$T:F\,JpuO]^R6g,?hcIj077Z]
+CRVBR,E?'gCpbe=/q!B7LQ;(^cT^S$g2PZ_=NbERinrJ_A%V6@0i)sE-bI60jm3AI<f_[fdqWTA[u`U5
+[eC=$L3n+3Pf]un<H7A#Qot='rl(B_FYj$ebN"W=77"s]bOZr"AjY$`eKsZ)hq^ke@6QcF]:%=qIU#V]
+nGUQi55F@\mn;6Fb#QHaES[cR\.RM-&,$$Rbe`*lD!Z<<*1l\De'M=n4F&(%)kSK6$j7@QK.iU7\[jVa
+-]A"ohJSNq#bWG%-N):gP\'O-<;$2_4oE9HbAf5O;WUkiM4EGVja%4*24"<u4THPp`,=0P/#V6;=j0P;
+g]MU[X9[!t!E\=qEuqpR?NX/CNppoWbP$m3Ed>O"b#$uqC\kE=#**HSQu(TC_]tIVa;cIAbh#knbJ>-n
+?#E/l^8aP^M\,54b3::#UThHY3-o)h_A,-h2@;9Rd%L`!@WX%;3GCHYbY:oHc93/-\G6<6W-A&mh-=dK
+SI"n[eXK>OQh*0hH?2"Sic99^BK)5e0XtIum5f/lS8e`hO`BEFJ%>(e27O<q)CK@qoV)!d#;$J_.&*Nk
+47q7(\$sO6c]4!2[[9N:h;2MoI3:alm(\g(2u,j;',s@Z99/92"^_JENO!rD>WZ'%OcD]fN!)"!N\"#a
+gPlMC'?>rp@kmfN6+bB)8l=?C]CLcV6Z^jfTcXu.`t.V)-$dOV^j(2:#/#q<bi6,ZRa0k_Ffb2QP*eM8
+EkAN4>eg67P2r3i8,2kj&'+,XGMY=\9'49lZfJWYHIJF/FnTDRkKCIWQ9;K8BbRC+/gfOiQD6?U89\>I
+EDDqL*FXecFB`PPdF=aJ/O91MErX/2.T+A4a"JDu5XCE869H[=(iJB,((G1Z;(5p8=$g*INQui4&iD.C
+ZD,(pEq7_&JSW;<3?+*62EG[MmFXr,XE's,KWc!P?]Y\jCliE[C/T)"U\muq*q%I.>k9@ed+_RO"-\a7
+Zl-Y6n(t;[1gV>PXi3VAE>g2_]0$O2[oi"h0C;U%n+uXJj"R;g3YU3G3k?[+m@U/s<9qkMQibfU$.8,o
+"f`[pisnk2UU-R#-XL2'LFH%fi^5h(;'+0Gg>B+#0]hIZi9RN[H/<Etk@OP`-,]V+PGNcKJ')nN/7$uD
+R/_du<l\=0n2_VMHb1'i7??0)60aiH.(,#5G4fkbbBgc9!4$C/;OZopV86:11u^C(85s`NNjePph:usK
+`XZ;A?#oX*gg.EDe7<h^je]Q*3_[.ba6B;OL"_8'eN`;ulcOg]'1s)3"cd(rBD*8!/PAg6=rujY,]G^:
+(PB-:gPlX+&72eDRBFf-/%1p_)"^;f056CH>a9JQS3"rOIqN)/4%B=W9>>VLguQOi0huQW01S+&aD^L#
+];QW:V]aK3AM\IIO00_Yk]P;W@W0Z`$b/Grf5Yl>p.\iWCri"S%s`FZhP_j)iM"o`:+hEh,5rJ*:Z`!0
+M@t(ER2g^;#HDr!\g%SS:WMT3VTTXT3JE$#mJ5g$FLBhC"#`(aN9q[EV/E,bQL,@j3/'.T]"?t;Pip,X
+_JG`i"(J3)T!:;0\T#fpV-f6_SVtW"?K\>OP@AA[Z3>EnG'NoNC9V/5)3YS5*ZEkY.EofrRWZb#G[Jk=
+4B1(k'?..$ms1nQ:Tuj'_Ql/o(N[I3jm!n4>rNJC3,Ec?gg[1kfY00Y4QbFuiss&M[tgO'C,LCkDJ)^8
+HU^5/PK-!F\9fB?maSjg-Cm4!<@]r^8E8=,;60#Sj%!o\PqJ#Xf?K]dmo4HKHTG(%AiR'3h.X`Odt/P,
+)gf,?1SfGN]cIER*c3k_+gG5&2/RF&[!U#+S#BiifR7W00KahnS`IueK!3X+)LCDC>FRR#GJ*6Nl(@L<
+U9c[[U)c7un^'E)i*e7,QGVOkj;2Zi)Kna,M`DVVMZp3GjaJ?Alsp6)iTKSX+<(WkX`BZeQi=jf2Tq3r
+Q:BRIT`^<cj`GS/:gS\CG2n*6NW-5S3WQ(,@_6C!9ej#W(GFn;gW&B<R&T1&"?#nCGS&WjNHr,P!?Pgm
+H>@cFg[%5^BeQ;?GF541N9J]0c*eGJRs5n$'G[R'L0\Lfma1V.E7DBT$Cc)Z(ajEOpF<bcV#$O4%W3%=
+m8flmHXU-2p%frak2lu8e)nUoNjjCLUIf@XNNIpeYDn+]G!"2CO`W<J&&;&f*72=8FATOhg;k8gCs7kC
+I_"8Em<m/A:t%V(3=eFc6TG%pUkO)4N\6)E(2J;8?VYeR@eicCaMq+*Ph97d6frQ*j/1\?0=_>%o/4!E
+]2UO(CD79_Du.1.`@n\fmD6mT:m^3(CJWPE6g\Ps\fKdsgI]PbN/sl6SZ7XN.OBq8X7P4fMT9sfZ=618
+fBBC+YN]6NlfIgVY(O+dhjtj9IWJ9p5/7%FXu1#/A@pEs9p"`\__se5bY=2d>/N6aY':;,L\+4HrR.i+
+I_Go5ca<spn_j)(e<HH_8p,9pTskST5)<M2m-'GY:3FV>VRJFYkSd@5/$6$9$F2=[UqPl*kj=k)C=m93
+?U!'8PJ+\k4nSMjHKam3;0HJV5X)P/XLH'%3W7;\<LXcOBp%JF;mCL[;dVT>ZnNJ5dV<.K2Y0@qiHGW.
+WaW)n^3m#c7+kX]ftVo<r,o_UPA-KIjm`R;p7I'!a_\Hnd2emI@#X1J&\#OuGPU`*_T'la\s<.-L>KY0
+<<^+h7#Zmm@4,TX3jc!G^?t\`V[)qcGBuenT!uVHDcX4Mm#(&nVi#u./GVZ=\B*"PGJ:c5f+]e:D\)I=
+?O=<`F9PKLoDh//4Cc>=2)WbH%dl&p0!c-TRk(#"B?&sU6H?dEE5P?OllCU$<p^N4h<_.D3eS[Z.;X0$
+93ub#WaY]EkX^lGVP%ukKOM$Hmsoq[#i+h,270<ndju-pqnmGE;]@>BFI$8(-5J!sj**e29T_CsALMRG
+R:n$7jNJtOE*<^TfbO;5]rlX;H:8U!FZ$*PI]EBTlO+3*K6@5)!0d7KQP9\;gk?qfZSfmoLi(`pZ*@;8
+]W3tGPM^(joNJP)Vh"NR_/#/(NF2mr'4CaeFoYq%<QtkV2TY/$r[`4#?oEq&S19-[&kpsV:C'/fT%jBZ
+<"IBN%k$%u/MQ&)-!r7.!4F$(brM::WWc=&9bgLAONefS=?@]$]A]H6^as2FnXV!eW*pL'i5N'J+KPRK
+,qgHfB8>3mE(/HEHY%73:Vj\cGW<J?%!Ba.5H#C/Xlg7).a%D7j6<d`J*f1PG4*b\!F"`4CYg[1@Wg]B
+(P&P4B)ktX8tNtj':\Z\4"-;X4K36b\]'MNrQ4=#8G>(3$DVJ!e$@@RE[h&,g?=Mu\N2kGZN(u@(D_hm
+=_KFradcIbDsZ\0!^LM42-R5JlL=G9"ebM+Y"85cgI'fIS>kdig$/UJ-%]WXU.=@\o,]%FkdhMq'^CiV
+:*DU0W8WVP*oF1b*NMR3p>%.`+s68PPpYOn]3l>e+e2dO99'!g0l#c=5+)+"^r5J)5_A/i3#ke>i<fm!
+;u'^o0A:Pjh"ja(T+Zh]5('+X58lq1^2nGVLGQi$Y]=2*fgcEr%li*6lB2YYefc%3.7lko5-f_),9GZg
+%)C\?;'?\19Yc[F?F*18:r9b6/GBuU9gZt^4%BVJ7k^b->Zs"7VX>'>6&);?#m7"g^rY?6*T1d&E?fiH
+0UrM6@.J=cl^(=42o;SQqOL]E&PuHfS4]C&HHuNsh6S8fo,6I"?ZaO42BKrqL^Ai9lpVGpqC%h@fb->9
+h>Xj&OQ2q/Rh!WB\?#gE3IR2%fVZYWU0rp9%toAUYiOW9+Qa78HE)0@pEN,4/l1E,!AY@3)lIn$\fm7&
+meMm0,Cn&YWXJCQOI:)ed/uXMq@(:I_rf"<n$C+i#d%nZ"9m[R]8(Y-7:p_q5KV;76T55%Qu;b#@XJ_9
+W2qu6,4Pd=9\,Wo;kRqE.]c[Gqm>G5Zm/773D"PTVN>,0R0SUK2-o`@4s*I>b&mM.@2b,)9jH*1#)K(<
+FKMX89ioUt%pVPSSX]9H/IX2gN.!^Yr#"q=Y4b_eNdBfm2/(=t6\%?t/lOAE:0eQQMD"OFq(^e5VP5#Y
+/spb:BsV-fdY0Sp(7IL[pu2CBJuNGA*l1gc!Or;3WOf*;K'>N69HLG":uRQ1-NRF*H%62J]4U,UWFVX)
+9e[=B(DBK]DTA7)_,[(U$`9)7qH&&d3CgpH`8#sd"0S4J2If%na-%&9e7mk.O.N,hcjbq-.KFLtJYbZ0
+M+aEZXtjD-&5IU1*uro9]&4bX:I]O.DV"=YE#:fQ9LR+F<>S+Z,&kP!9OeZ^A*qFOik(_XXSa5FMJ9(m
+@>P'1j_0</Y0qFF"H/=g+Ej33-1B]]RFqa<S!E,!h:X5lpjuJJX%&6:RO*lVo#%Q[2NP%`hR]Pf;<CF6
+'4?Hhg<JpG!9cdl;6U-P?'YI+(Cl;KA49I=CD(bkB>JD[lLkoClCeU-n:Y\%,R\&>d_n5oAh)UHdMWG'
+Dn8#k8?_+t8%[eqILVZ(Z6'pGZL%'MT6*rm!SEFs`[o#tVDQgGbtTrL^Ubg!QX?)f>\L4ad6hL`;QXoG
+@9S@pZ121#@4aY.#RA4e87U6QRW]"[&36ak)J-Khg$*b_Q&YUXqn8n>bj`u&O^n0\cGZ[c*#[Or`tcAl
+_nFCDFB-NY3L]2hH_7'E?Ws`=/^%^am;j7\q]$Ybq]'S!U>FiipNWpII?(0dQbG:p-44U^_r9J83!%gt
+^cP=UF\]fHRF_'li#fuB"njr[Pd:YMk@d^+n$UJ=c*+t?kGY7(m<oK?9&6iHb/8Oeq]%3a[YF0jaM_WX
+F+BHk@=`ie")XC?")OU)8X0*97uOP/g-/#bg-r;q%dWCS9HFaPq]+J(CS/Lsp-)",_bo#L#;Y[.!(GUF
+PkuFP\qd$/Je63k8#,>"hWJjfpGktKpGnZV2rEf6:Ai!nLK4**k@hcF$u5;C#)%BRB$dh*or'`T:"nU5
+27^p"paR3A3^=f=)IJ\oBn`l-MbE,\\[jNq72s,BM#)T+$lBCl#%NFSUteOG/;:B0-<KNlcFQMe[fs[O
+2FRGI#MY=eWdsgWJ3DHX(]a"tJ8lQ;f/0ZQ@G%#!@u@0C<!l!o<4QJ'.Ug"lI3mUK\@lRE=H^I`=$;`b
+S;NkC*n<KA/"X1cqAO=aU=Q'%cb2g,kaD!X1:?4c?qet2GKkM,r[p>61]QA<VR@ih*d!kA4'^YfTKgBL
+:.W5ek^,=U,Uc4fE=UkHiqFd,@&VIi3'*g/B/F8>kus)+LMQ]pis.Jl1X>`;#d4m.!-j-<G)5.]VPQZG
+WjDhbmShMA>gq>=g=4;[Nt!BG0]QiT0`qSmhCs0:*XddKaKK<5!4&eb)7#olUXo-jeoL4'G95a<gV_<(
+\T^iPGj/5@VA<O1LdCmYjQr<S/RV:qK@6Oe/9ZFO\<Z#Z<U@gr!S9h9.`HJES]aQ=gs3k?cEo^XO2VE=
+RV<[/-N`GZH4)&[rKDc<oGAq3T*'%,Y#$&WEY&;ge>!ao^#f>uGL8-fQRh!3*fQYM<*dbtNJYp(H<Y]6
+2X;NQCU7.J`d>%;R[ZRsCj*>?kB"6IjN.)!D7b"0'u[P5BCS!=gVpHJhGRueD5V9N"Dcq?`QJ;*rjqtr
+L$(Y,T((0`KT'b+45?=9*akJ^rj?T$>OH.1fh2"`k%VG.:=f`^^NinNrS&E1cKI??ek=V,Zbo^+$a@n<
+.5(61_25R4N+m+on[:AbS';F=cWPd82WO+=,Q+h7BMK"[9'?@i#P_nPoqN:>2HRNtFZ?T$6'YBIlG]e;
+Il>smI.IR0>Z^@k,'i\6jft[J^nBP"TcT$UU;`9#4%dYPnU="cPe1eL7T'bngURUR"#phSU$b'LS6>OA
+eVPsR(7eB9pWX1e_,Nep[D6:f23^%J[@S#IK/o?qpYnl$[8KiAq,h;mqmqDS9%"UJ8-d!`?ZZWgW2CaF
+Qias%187%h:__"<MU/GsA!:uc]lD%<s2=!p?DjuiV7#cOj>C3FVDFl[%,/iglnX!Y=mRn$lehaU,Tg6P
+nSPL1XL<:[7u-5M/Pr*@K`gH7;T\;S')lG;[CQ<Jl\8'(fN"?A+S@1I.Q]N*I#GS*2?ilqVT*l"Rhl\3
+(0S3&0c#bNPruU[#]HN7SE`"J57gn9VBr]==Rcl9f?7+.e6mjf'j?,*YqX[:crsdQeb,]7V"0/E6@RT.
+=`*3a2\db6(sJYeD.*[^T)^in<G2245H>!fDlCsiP9Ir$iOd81qQW#"=*Zo?nUNF4U7E5c#@'XaGHPl`
+UbTql);+k&1+N)_"#FV!C!,<r[Bdp!d(I:@rGG!:^jRVkL,ddQmO[L0rpQo#J`.n#^?nm>%nJ<+ki/?1
+l;u:ZZ!MFn\Apm>a@+(=Gn/Z6Je'6]l3?k<&"G9M(LE.sZ2f^O2+3"`ohaDTHhYAnHt.]`S$FS3MK'S;
+&6H%?^\P,hN7u7F>QoSlHI;k^%gq6`1Z'd_8ad@0*4bE$H5cV0'QohslA4p!b/_=Gs)_b/?fN[`\XW(,
+)a6-P9)8R<bX'8E<t8MS8aIFg1".WX)ZF=D*^C4JIr6)OaE7gW.t_8b4*aq%S+N/t.!!pHr?D$X#:3M?
+D]Cpk>]sL=&L6ju4TuTneV3Uk$N[Nik_B?724A4D9Y=f@A#DDQ_=MPIYJ]Q2_+JKf:g\M2[mTR#0]j"?
+HXJFob*e:H8>ePXX![t@M+_.IO1Mn4*6fWuBBuECJLBLgifW3>Hjk(G=YQ#+Y;papI#!"mFOi.hFi(-q
+cqKHfQVpWGj?#_]!tfXR\tm[.hi4[CkTF0LWA3tuG]C[H0:XV7]#MRINV>EU=`+_@n/ceaaao+dH1#]I
+Y]8(#no;.uk<7,[r^X]maZnU+O.+sQblU)!j7Q"a0eUGo6OFeNF13K_@!>+Nd[O08Dl7\>-bJN&8WSD+
+)s>D;I&W^C:X"VB3Mu/_.piJ3UFG=mXhN`(45TjfkJ`;0.@]b&&dMj/SXHY%bpZM^/m"$2bVH+$meENg
+oZbadnL.*-gTR+ArGR2A`:8-/A;@[7FQ5_pqt6*mn'4>dA,Pe^mrnL*G"L;l1=th=I[b,N8@md<YFG/(
++277>J)9K<DYbAslc^&j^M\'2L\K9srHcSG\(=?UrI=cgP=K,&]pfj]5R!oj^37E7l1ckrk$0"=0F*n$
+/fnUSoR.5X%D;UDFP$FDhaX,^bEZ^FaH8Q;ES0VA&oIJqH+H-O+#\jfq#&W,ru^%-qbc>K2"9nQ9)cU)
+cl8oJ;q>Ho`pc>.81g5t4C_$=[f5<rs06>:&)[@>\h<>"~>
+endstream
+endobj
+7 0 obj
+   21431
+endobj
+3 0 obj
+   << 
+      /Parent null
+      /Type /Pages
+      /MediaBox [0.0000 0.0000 831.00 792.00]
+      /Resources 8 0 R
+      /Kids [5 0 R]
+      /Count 1
+   >>
+endobj
+9 0 obj
+   [/PDF /Text /ImageC]
+endobj
+10 0 obj
+   << 
+      /S /Transparency
+      /CS /DeviceRGB
+      /I true
+      /K false
+   >>
+endobj
+11 0 obj
+   << 
+      /Alpha1
+      << 
+         /ca 1.0000
+         /CA 1.0000
+         /BM /Normal
+         /AIS false
+      >>
+   >>
+endobj
+8 0 obj
+   << 
+      /ProcSet 9 0 R
+      /ExtGState 11 0 R
+   >>
+endobj
+xref
+0 12
+0000000000 65535 f 
+0000000015 00000 n 
+0000000315 00000 n 
+0000022174 00000 n 
+0000000445 00000 n 
+0000000521 00000 n 
+0000000609 00000 n 
+0000022150 00000 n 
+0000022628 00000 n 
+0000022344 00000 n 
+0000022383 00000 n 
+0000022485 00000 n 
+trailer
+<< 
+   /Size 12
+   /Root 2 0 R
+   /Info 1 0 R
+>>
+startxref
+22701
+%%EOF

debugging_fsa_cbd_composition/fsa_cbd_simulator/models/bouncingball.py

@@ -0,0 +1,117 @@
+from CBDMultipleOutput.Source.CBD import ConstantBlock, NegatorBlock, \
+    IntegratorBlock, CBD, ProductBlock, AdderBlock
+from fsa_cbd_weaved_classes import InputConstantBlock, CBDState, WhenCrossesZeroTrigger
+from fsaclasses import FSAModel, Transition, Event, State
+
+
+class BouncingBallFSA(FSAModel):
+    def __init__(self):
+        initial = CBDState("Initial", BouncingBallInitial("BouncingBallInitial"))
+        freeFall = CBDState("FreeFall", BouncingBallFreefall("BouncingBallFreefall"))
+        collision = CBDState("Collision", BouncingBallCollision("BouncingBallCollision"))
+        kicked = CBDState("Kicked", BouncingBallKicked("BouncingBallKicked"))
+        end = State("End", True)
+        
+        initial2Freefall = Transition("Initial2Freefall", initial, freeFall)
+        freefall2Collision = Transition("Freefall2Collision", freeFall, collision)
+        freefall2Collision.trigger = WhenCrossesZeroTrigger("x", up_direction=False);
+        collision2Freefall = Transition("Collision2Freefall", collision, freeFall)
+        freefall2Kicked = Transition("Freefall2Kicked", freeFall, kicked)
+        freefall2Kicked.trigger = Event("kick");
+        kicked2Freefall = Transition("kicked2Freefall", kicked, freeFall)
+        freefall2End = Transition("Freefall2End", freeFall, end)
+        freefall2End.trigger = Event("enough");
+        
+        self.states = [
+                       initial,
+                       freeFall,
+                       collision,
+                       kicked,
+                       end
+                       ]
+        
+        self.initialState = initial
+        
+        self.transitions = [
+                            initial2Freefall,
+                            freefall2Collision,
+                            collision2Freefall,
+                            freefall2Kicked,
+                            kicked2Freefall,
+                            freefall2End
+                            ]
+        
+       
+    
+        
+        
+
+class BouncingBallFreefall(CBD):
+    def __init__(self, blockName, delta_t = 0.01):
+        CBD.__init__(self,blockName, input_ports=[], output_ports=["out_v", "out_x"])
+        
+        self.addBlock(InputConstantBlock(block_name="in_x"))
+        self.addBlock(InputConstantBlock(block_name="in_v"))
+        
+        self.addBlock(ConstantBlock(block_name="gravity", value=-9.81))
+        self.addBlock(ConstantBlock(block_name="delta", value=delta_t))
+        
+        self.addBlock(IntegratorBlock(block_name="intgv"))
+        self.addBlock(IntegratorBlock(block_name="intvx"))
+        
+        self.addConnection("delta", "intgv",  input_port_name="delta_t")
+        self.addConnection("delta", "intvx",  input_port_name="delta_t")
+        self.addConnection("in_v", "intgv",  input_port_name="IC")
+        self.addConnection("in_x", "intvx",  input_port_name="IC")
+        
+        self.addConnection("gravity", "intgv")
+        self.addConnection("intgv", "intvx")
+        self.addConnection("intgv", "out_v")
+        self.addConnection("intvx", "out_x")
+    
+    def setDeltaT(self, deltaT):
+        CBD.setDeltaT(self, deltaT)
+        self.getBlockByName("delta").setValue(deltaT);
+    
+    
+
+class BouncingBallInitial(CBD):
+    def __init__(self, blockName, delta_t=0.01):
+        CBD.__init__(self,blockName, input_ports=[], output_ports=["out_v", "out_x"])
+        
+        self.addBlock(ConstantBlock(block_name="init_velocity", value=15.0))
+        self.addBlock(ConstantBlock(block_name="init_position", value=10.0))
+        
+        self.addConnection("init_velocity", "out_v")
+        self.addConnection("init_position", "out_x")
+    
+
+
+class BouncingBallCollision(CBD):
+    def __init__(self, blockName, delta_t=0.01):
+        CBD.__init__(self,blockName, input_ports=[], output_ports=["out_v"])
+        
+        self.addBlock(InputConstantBlock(block_name="in_v"))
+        
+        self.addBlock(ConstantBlock(block_name="coeficient", value=-0.8))
+        self.addBlock(ProductBlock(block_name="mult"))
+        
+        self.addConnection("in_v", "mult")
+        self.addConnection("coeficient", "mult")
+        self.addConnection("mult", "out_v")
+
+
+class BouncingBallKicked(CBD):
+    def __init__(self, blockName, delta_t=0.01):
+        CBD.__init__(self,blockName, input_ports=[], output_ports=["out_v"])
+        
+        self.addBlock(InputConstantBlock(block_name="in_v"))
+        
+        self.addBlock(ConstantBlock(block_name="kick_impact", value=20))
+        self.addBlock(AdderBlock(block_name="sum"))
+        
+        self.addConnection("in_v", "sum")
+        self.addConnection("kick_impact", "sum")
+        self.addConnection("sum", "out_v")
+
+

debugging_fsa_cbd_composition/fsa_cbd_simulator/plotSignals.r

@@ -0,0 +1,59 @@
+library(ggplot2)
+library(cowplot)
+
+mydata_signals = read.csv("./signals.csv")
+mydata_events = read.csv("./events.csv")
+
+total <- merge(mydata_signals,mydata_events,by="fsatime", all=TRUE)
+
+pe <- ggplot(data=total , aes(x=fsatime, y=Event, group=1)) +
+  geom_point(na.rm = FALSE) +
+  ylab("Event") + 
+  xlab("Time (s)") + 
+  scale_y_discrete("Event", labels = waiver(), limits=c("when(x +-)", "kick")) +
+  theme(axis.title.y=element_text(vjust=-4))
+pe
+
+ps <- ggplot(data=total , aes(x=fsatime, y=fsastate, group=1)) +
+  geom_line() +
+  ylab("State") + 
+  xlab("Time (s)") + 
+  scale_y_discrete("State", labels = waiver(), limits=c("Initial", "FreeFall", "Collision", "Kicked")) +
+  theme(axis.title.y=element_text(vjust=-2))
+ps
+
+px <- ggplot(data=total , aes(x=fsatime, y=x, group=1)) +
+        geom_line() +
+        ylab("Height (m)") + 
+        xlab("Time (s)") +
+        theme(axis.title.y=element_text(vjust=-6))
+px
+
+pv <- ggplot(data=total , aes(x=fsatime, y=v, group=1)) +
+        geom_line() +
+        ylab("Velocity (m/s)") + 
+        xlab("Time (s)") +
+        theme(axis.title.y=element_text(vjust=-6))
+pv
+
+pt <- ggplot(data=total , aes(x=fsatime, y=current_cbdtime, group=1)) +
+        geom_point() +
+        ylab("CBD Time (s)") +
+        xlab("FSA Time (s)") +
+        scale_y_continuous(limits=c(0, 10)) +
+        scale_x_continuous(limits=c(0, 10)) +
+        theme(axis.title.y=element_text(vjust=-6))
+pt
+
+multiplot <- plot_grid(pe, ps, px , pv, pt, nrow = 3, ncol = 2, align = "v")
+px_pv_plot <- plot_grid(px, pv, nrow=1, ncol=2, align="h")
+ntplot <- plot_grid(pt, nrow=1, ncol=1, align="v")
+col_plot <- plot_grid(pe, ps, px , pv, pt, nrow = 5, ncol = 1, align = "v")
+row_plot <- plot_grid(pe, ps, px , pv, pt, nrow = 1, ncol = 5, align = "h")
+
+save_plot("plots.pdf", multiplot, nrow = 3, ncol = 2, base_aspect_ratio = 1.2)
+save_plot("ntplot.pdf", ntplot, nrow=1, ncol=1, base_aspect_ratio = 1)
+save_plot("bbplots_vertical.pdf", col_plot, nrow=5, ncol=1, base_aspect_ratio = 1.0)
+save_plot("bbplots.pdf", row_plot, nrow=1, ncol=5, base_aspect_ratio = 1.0)
+save_plot("bb_vhplots.pdf", row_plot, nrow=1, ncol=2, base_aspect_ratio = 1.0)
+

debugging_fsa_cbd_composition/fsa_cbd_simulator/plotSignals_horizontal.r

@@ -0,0 +1,48 @@
+library(ggplot2)
+library(cowplot)
+
+mydata_signals = read.csv("./signals.csv")
+mydata_events = read.csv("./events.csv")
+
+total <- merge(mydata_signals,mydata_events,by="fsatime", all=TRUE)
+
+vertical_adjust <- 1
+label_size <- 20
+
+pe <- ggplot(data=total , aes(x=fsatime, y=Event, group=1)) +
+  geom_point(na.rm = FALSE) +
+  ylab("Event") + 
+  xlab("Time (s)") + 
+  scale_y_discrete("Event", labels = waiver(), limits=c("when(x +-)", "kick")) +
+  theme(axis.title.y=element_text(vjust=vertical_adjust), axis.title=element_text(size=label_size,face="bold"))
+
+ps <- ggplot(data=total , aes(x=fsatime, y=fsastate, group=1)) +
+  geom_line() +
+  ylab("State") + 
+  xlab("Time (s)") + 
+  scale_y_discrete("State", labels = waiver(), limits=c("Initial", "FreeFall", "Collision", "Kicked")) +
+  theme(axis.title.y=element_text(vjust=vertical_adjust), axis.title=element_text(size=label_size,face="bold"))
+
+px <- ggplot(data=total , aes(x=fsatime, y=x, group=1)) +
+        geom_line() +
+        ylab("Height (m)") + 
+        xlab("Time (s)") +
+        theme(axis.title.y=element_text(vjust=vertical_adjust), axis.title=element_text(size=label_size,face="bold"))
+
+pv <- ggplot(data=total , aes(x=fsatime, y=v, group=1)) +
+        geom_line() +
+        ylab("Velocity (m/s)") + 
+        xlab("Time (s)") +
+        theme(axis.title.y=element_text(vjust=vertical_adjust), axis.title=element_text(size=label_size,face="bold"))
+
+pt <- ggplot(data=total , aes(x=fsatime, y=current_cbdtime, group=1)) +
+        geom_point() +
+        ylab("CBD Time (s)") +
+        xlab("FSA Time (s)") +
+        scale_y_continuous(limits=c(0, 10)) +
+        scale_x_continuous(limits=c(0, 10)) +
+        theme(axis.title.y=element_text(vjust=vertical_adjust), axis.title=element_text(size=label_size,face="bold"))
+
+row_plot <- plot_grid(pe, ps, px , pv, pt, nrow = 1, ncol = 5, align = "h")
+save_plot("bbplots.pdf", row_plot, nrow=1, ncol=5, base_aspect_ratio = 1.0)
+

debugging_fsa_cbd_composition/fsa_cbd_simulator/weaved_cbd_fsa_lib.py

@@ -0,0 +1,169 @@
+'''
+@author: Claudio Gomes, Bruno Barroca and Sadaf Mustafiz
+'''
+
+from fsa_cbd_weaved_classes import WhenCrossesZeroTrigger, InputConstantBlock,\
+	CBDState
+from CBDMultipleOutput.Source.CBD import OutputPortBlock
+import numpy
+import os
+import csv
+from fsaclasses import Event, After
+
+class FSACBDLib():
+	BLOCK_NAME_OUT = "out_"
+	OUTPUT_SIGNALS = "./signals.csv"
+	OUTPUT_EVENTS = "./events.csv"
+		
+	def __init__(self):
+		pass
+	
+	def getTriggeredWhenTransition(self, fsaCbdModel, currentFSAState, globalState, previousGlobalState):
+		'''
+		This method will check whether there is any transition triggered by a zero crossing detection and if so,
+		if that zero crossing has in fact occurred when comparing the new globalState with the previousGlobalState.
+		'''
+		triggeredTransiton = None
+		
+		for t in fsaCbdModel.transitions:
+			if t.source == currentFSAState and isinstance(t.trigger,WhenCrossesZeroTrigger):
+				varNameToCheck = t.trigger.varname
+				if varNameToCheck in globalState and varNameToCheck in previousGlobalState:
+					if t.trigger.up_direction and previousGlobalState[varNameToCheck] <= 0 and 0 < globalState[varNameToCheck] :
+						triggeredTransiton = t
+						break
+					if not t.trigger.up_direction and globalState[varNameToCheck] < 0 and 0 <= previousGlobalState[varNameToCheck] :
+						triggeredTransiton = t
+						break
+		
+		assert triggeredTransiton == None or t.source == currentFSAState
+		
+		return triggeredTransiton
+	
+	def updateGlobalState(self ,globalState, cbdModel, cbdTime):
+		'''
+		The globalState is a dictionary mapping variable names to values.
+		This function will get the signals for the outputPorts in the cbdModel and then
+		update the globalState with the values of the outputPorts at time cbdTime
+		'''
+		for block in cbdModel.getBlocks():
+			if (isinstance(block, OutputPortBlock)):
+				port = block.getBlockName()
+				signal = block.getSignal()
+				# Convention: port is of the form "out_varName" to represent the global varName
+				assert port.startswith(self.BLOCK_NAME_OUT), "Convention violated for output port: " + str(port)
+				varName = self.stripConventionOutname(port)
+				assert len(varName)>0 , "Convention violated for output port: " + str(port)
+				
+				mostRecentSignal = signal[-1]
+				
+				assert numpy.isclose(mostRecentSignal.time,cbdTime, 1e-05, 1e-08), "Signal as not been computed up to time " + str(cbdTime)
+				
+				signalValue = mostRecentSignal.value
+				globalState[varName] = signalValue
+	
+	def stripConventionOutname(self, name):
+		return name.replace(self.BLOCK_NAME_OUT, "", 1)
+	
+	def updateCBDState(self, globalState, cbdModel):
+		'''
+		The globalState is a dictionary mapping variable names to values.
+		
+		This function is to be called when initializing the cbdModel.
+		This function will iterate the input blocks of the CBD, which have conventioned name as "in_varName" and it will set the values for those blocks. 
+		'''	
+		for block in cbdModel.getBlocks():
+			if isinstance(block, InputConstantBlock):
+				assert block.getBlockName().startswith("in_"), "Convention violated for input block of the CBD: " + str(block.getBlockName())
+				varName = block.getBlockName().replace("in_", "", 1)
+				assert len(varName)>0 , "Convention violated for input block of the CBD: " + str(block.getBlockName())
+				assert varName in globalState, "Input block not initialized before: " + str(block.getBlockName())
+				
+				block.setValue(globalState[varName])
+		
+		
+	def dumpGlobalState(self, fsaCbdModel, globalState, fsaTime, fsaState):
+		create_header = not os.path.exists(self.OUTPUT_SIGNALS);
+		
+		if create_header:
+			self.addRemainingSignals(globalState, fsaCbdModel)
+		
+		# It is not a good idea to write this directly to the global state but it is more efficient.
+		
+		globalState["fsatime"] = fsaTime
+		
+		if isinstance(fsaState, CBDState):
+			assert fsaState.cbd != None
+			if fsaState.cbd.getClock() != None:
+				globalState["current_cbdtime"] = fsaState.cbd.getClock().getTime()
+			else:
+				# Clock not yet initialized. Can happen.
+				globalState["current_cbdtime"] = -1.0
+		else:
+			globalState["current_cbdtime"] = -1.0
+		
+		globalState["fsastate"] = fsaState.name
+		
+		with open(self.OUTPUT_SIGNALS, "a") as csvFile:
+			writerCsv = csv.DictWriter(csvFile, fieldnames=globalState.keys())
+			if create_header:
+				writerCsv.writeheader()
+			writerCsv.writerow(globalState)
+	
+	def addRemainingSignals(self, stateDict, fsaCbdModel):
+		
+		for state in fsaCbdModel.states:
+			if (isinstance(state, CBDState)):
+				for block in state.cbd.getBlocks():
+					if isinstance(block, OutputPortBlock):
+						varName = self.stripConventionOutname(block.getBlockName())
+						if not varName in stateDict:
+							stateDict[varName] = None
+		
+		
+		return stateDict
+	
+	def dumpDiscreteEvent(self, fsaCbdModel, fsaTime, fsa_currentState, fsa_selectedTransition):
+		create_header = not os.path.exists(self.OUTPUT_EVENTS);
+		
+		event = None
+		if (fsa_selectedTransition != None):
+			if fsa_selectedTransition.trigger != None:
+				if isinstance(fsa_selectedTransition.trigger, Event):
+					event = fsa_selectedTransition.trigger.name
+				elif isinstance(fsa_selectedTransition.trigger, After):
+					event = "after("+str(fsa_selectedTransition.trigger.expression)+")"
+				elif isinstance(fsa_selectedTransition.trigger, WhenCrossesZeroTrigger):
+					event = "when("+str(fsa_selectedTransition.trigger.varname)+" " + ("-+" if fsa_selectedTransition.trigger.up_direction else "+-") + ")"
+		
+		if (event != None):
+			with open(self.OUTPUT_EVENTS, "a") as csvFile:
+				eventDict = {"fsatime" : fsaTime , "Event" : event}
+				writerCsv = csv.DictWriter(csvFile, fieldnames=eventDict.keys())
+				if create_header:
+					writerCsv.writeheader()
+				writerCsv.writerow(eventDict)
+				
+				
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+				

debugging_fsa_cbd_composition/fsa_cbd_simulator/weaved_cbd_fsa_simulator.py

@@ -0,0 +1,751 @@
+"""
+Generated by Statechart compiler by Glenn De Jonghe, Joeri Exelmans, Simon Van Mierlo, and Yentl Van Tendeloo (for the inspiration)
+
+Date:   Tue Oct 11 21:25:15 2016
+
+Model author: Sadaf Mustafiz and Bruno Barroca and Claudio Gomes
+Model name:   Weaved_CBD_FSA_Simulator_Manual
+Model description:
+Automatically woven CBD and FSA simulators with the FSA being the dominant.
+"""
+
+from sccd.runtime.statecharts_core import *
+from sccd.runtime.libs.ui import *
+from sccd.runtime.libs.utils import *
+import copy
+from CBD_Controller import CBDController
+import Options
+from fsa_cbd_weaved_classes import CBDState
+from weaved_cbd_fsa_lib import FSACBDLib
+
+# package "Weaved_CBD_FSA_Simulator_Manual"
+
+class Weaved_CBD_FSA_Simulator(RuntimeClassBase):
+    def __init__(self, controller, cbd_options, amodel, fsa_events):
+        RuntimeClassBase.__init__(self, controller)
+        
+        self.semantics.big_step_maximality = StatechartSemantics.TakeMany
+        self.semantics.internal_event_lifeline = StatechartSemantics.Queue
+        self.semantics.input_event_lifeline = StatechartSemantics.FirstComboStep
+        self.semantics.priority = StatechartSemantics.SourceParent
+        self.semantics.concurrency = StatechartSemantics.Single
+        
+        # build Statechart structure
+        self.build_statechart_structure()
+        
+        # user defined attributes
+        self.weaved_global_state = None
+        self.fsa_elapsed = None
+        self.cbd_options = None
+        self.weaved_lib = None
+        self.woven_child_initialized = None
+        self.cbd_clock = None
+        self.fsa_currentEvent = None
+        self.weaved_delta = None
+        self.weaved_model = None
+        self.cbd_controller = None
+        self.fsa_timestep = None
+        self.cbd_currentCompIdx = None
+        self.fsa_eventList = None
+        self.cbd_depGraph = None
+        self.fsa_selectedTransition = None
+        self.cbd_strongComponentList = None
+        self.weaved_previous_global_state = None
+        self.cbd_delta = None
+        self.weaved_triggered_when_transition = None
+        self.cbd_iteration = None
+        self.fsa_logicalTime = None
+        self.fsa_currentState = None
+        
+        # call user defined constructor
+        Weaved_CBD_FSA_Simulator.user_defined_constructor(self, cbd_options, amodel, fsa_events)
+    
+    def user_defined_constructor(self, cbd_options, amodel, fsa_events):
+        self.weaved_lib = FSACBDLib()
+        self.cbd_options = cbd_options
+        self.cbd_delta = self.cbd_options.getDeltaT()
+        self.weaved_model = amodel
+        self.fsa_eventList = fsa_events
+        self.fsa_timestep = 1.0
+    
+    def user_defined_destructor(self):
+        pass
+    
+    
+    # user defined method
+    def fsa_processEvent(self, event):
+        if (event != None):
+        	self.fsa_eventList.popEvent(event)
+        	event.processed = True
+    
+    
+    # user defined method
+    def updateCBDState(self):
+        self.weaved_lib.updateCBDState(self.weaved_global_state, self.fsa_currentState.cbd)
+    
+    
+    # user defined method
+    def cbd_maxIterationsReached(self):
+        return self.cbd_iteration >= self.cbd_options.getMaxIterations()
+    
+    
+    # user defined method
+    def fsa_getInputEventAt(self, time):
+        return self.fsa_eventList.getInputAt(time)
+    
+    
+    # user defined method
+    def cbd_computeBlock(self):
+        if self.cbd_currentComponentIsCycle():
+        	self.cbd_controller.computeNextAlgebraicLoop(self.cbd_strongComponentList[self.cbd_currentCompIdx], self.cbd_iteration)
+        else:
+        	self.cbd_controller.computeNextBlock(self.cbd_strongComponentList[self.cbd_currentCompIdx], self.cbd_iteration)
+    
+    
+    # user defined method
+    def updateGlobalState(self):
+        self.weaved_previous_global_state = copy.deepcopy(self.weaved_global_state)
+        self.weaved_lib.updateGlobalState(self.weaved_global_state, self.fsa_currentState.cbd, self.cbd_clock)
+    
+    
+    # user defined method
+    def cbd_currentComponentIsCycle(self):
+        return self.cbd_controller.componentIsCycle(self.cbd_strongComponentList[self.cbd_currentCompIdx], self.cbd_depGraph)
+    
+    
+    # user defined method
+    def cbd_hasNextStrongComponent(self):
+        return (self.cbd_currentCompIdx) < len(self.cbd_strongComponentList)
+    
+    
+    # user defined method
+    def getTriggeredWhenTransition(self):
+        return self.weaved_lib.getTriggeredWhenTransition(self.weaved_model, self.fsa_currentState, self.weaved_global_state, self.weaved_previous_global_state)
+    
+    
+    # builds Statechart structure
+    def build_statechart_structure(self):
+        
+        # state <root>
+        self.states[""] = State(0, self)
+        
+        # state /FSA
+        self.states["/FSA"] = State(1, self)
+        
+        # state /FSA/Started
+        self.states["/FSA/Started"] = State(2, self)
+        
+        # state /FSA/Initialized
+        self.states["/FSA/Initialized"] = State(3, self)
+        
+        # state /FSA/CheckTermination
+        self.states["/FSA/CheckTermination"] = State(4, self)
+        
+        # state /FSA/CheckTermination/MacroStepProcessed
+        self.states["/FSA/CheckTermination/MacroStepProcessed"] = State(5, self)
+        
+        # state /FSA/DoSimulation
+        self.states["/FSA/DoSimulation"] = State(6, self)
+        
+        # state /FSA/DoSimulation/MacroStepPrepared
+        self.states["/FSA/DoSimulation/MacroStepPrepared"] = State(7, self)
+        
+        # state /FSA/DoSimulation/MacroStepPrepared/ParentPaused
+        self.states["/FSA/DoSimulation/MacroStepPrepared/ParentPaused"] = State(8, self)
+        
+        # state /FSA/DoSimulation/MacroStepPrepared/ChildNotDetected
+        self.states["/FSA/DoSimulation/MacroStepPrepared/ChildNotDetected"] = State(9, self)
+        
+        # state /FSA/DoSimulation/MacroStepPrepared/ChildDetected
+        self.states["/FSA/DoSimulation/MacroStepPrepared/ChildDetected"] = State(10, self)
+        
+        # state /FSA/DoSimulation/MacroStepPrepared/ChildInitialized
+        self.states["/FSA/DoSimulation/MacroStepPrepared/ChildInitialized"] = State(11, self)
+        
+        # state /FSA/DoSimulation/MacroStepPrepared/ChildNotInitialized
+        self.states["/FSA/DoSimulation/MacroStepPrepared/ChildNotInitialized"] = State(12, self)
+        
+        # state /FSA/DoSimulation/MacroStepPrepared/CBD
+        self.states["/FSA/DoSimulation/MacroStepPrepared/CBD"] = State(13, self)
+        
+        # state /FSA/DoSimulation/MacroStepPrepared/CBD/Started
+        self.states["/FSA/DoSimulation/MacroStepPrepared/CBD/Started"] = State(14, self)
+        
+        # state /FSA/DoSimulation/MacroStepPrepared/CBD/Initialized
+        self.states["/FSA/DoSimulation/MacroStepPrepared/CBD/Initialized"] = State(15, self)
+        
+        # state /FSA/DoSimulation/MacroStepPrepared/ChildProcessed
+        self.states["/FSA/DoSimulation/MacroStepPrepared/ChildProcessed"] = State(16, self)
+        
+        # state /FSA/DoSimulation/MicroStepProcessed
+        self.states["/FSA/DoSimulation/MicroStepProcessed"] = State(17, self)
+        
+        # state /FSA/DoSimulation/MicroStepProcessed/ParentPaused
+        self.states["/FSA/DoSimulation/MicroStepProcessed/ParentPaused"] = State(18, self)
+        
+        # state /FSA/DoSimulation/MicroStepProcessed/ChildNotDetected
+        self.states["/FSA/DoSimulation/MicroStepProcessed/ChildNotDetected"] = State(19, self)
+        
+        # state /FSA/DoSimulation/MicroStepProcessed/ChildDetected
+        self.states["/FSA/DoSimulation/MicroStepProcessed/ChildDetected"] = State(20, self)
+        
+        # state /FSA/DoSimulation/MicroStepProcessed/ChildInitialized
+        self.states["/FSA/DoSimulation/MicroStepProcessed/ChildInitialized"] = State(21, self)
+        
+        # state /FSA/DoSimulation/MicroStepProcessed/CBD
+        self.states["/FSA/DoSimulation/MicroStepProcessed/CBD"] = State(22, self)
+        
+        # state /FSA/DoSimulation/MicroStepProcessed/CBD/CheckTermination
+        self.states["/FSA/DoSimulation/MicroStepProcessed/CBD/CheckTermination"] = State(23, self)
+        
+        # state /FSA/DoSimulation/MicroStepProcessed/CBD/CheckTermination/MacroStepProcessed
+        self.states["/FSA/DoSimulation/MicroStepProcessed/CBD/CheckTermination/MacroStepProcessed"] = State(24, self)
+        
+        # state /FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation
+        self.states["/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation"] = State(25, self)
+        
+        # state /FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MacroStepPrepared
+        self.states["/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MacroStepPrepared"] = State(26, self)
+        
+        # state /FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MicroStepProcessed
+        self.states["/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MicroStepProcessed"] = State(27, self)
+        
+        # state /FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MicroStepPrepared
+        self.states["/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MicroStepPrepared"] = State(28, self)
+        
+        # state /FSA/DoSimulation/MicroStepProcessed/CBD/Terminated
+        self.states["/FSA/DoSimulation/MicroStepProcessed/CBD/Terminated"] = State(29, self)
+        
+        # state /FSA/DoSimulation/MicroStepProcessed/ChildPaused
+        self.states["/FSA/DoSimulation/MicroStepProcessed/ChildPaused"] = State(30, self)
+        
+        # state /FSA/DoSimulation/MicroStepProcessed/NoStateEventDetected
+        self.states["/FSA/DoSimulation/MicroStepProcessed/NoStateEventDetected"] = State(31, self)
+        
+        # state /FSA/DoSimulation/MicroStepProcessed/StateEventDetected
+        self.states["/FSA/DoSimulation/MicroStepProcessed/StateEventDetected"] = State(32, self)
+        
+        # state /FSA/DoSimulation/MicroStepProcessed/ChildProcessed
+        self.states["/FSA/DoSimulation/MicroStepProcessed/ChildProcessed"] = State(33, self)
+        
+        # state /FSA/DoSimulation/MicroStepPrepared
+        self.states["/FSA/DoSimulation/MicroStepPrepared"] = State(34, self)
+        
+        # state /FSA/DoSimulation/ParentMicroStepProcessed
+        self.states["/FSA/DoSimulation/ParentMicroStepProcessed"] = State(35, self)
+        
+        # state /FSA/Terminated
+        self.states["/FSA/Terminated"] = State(36, self)
+        
+        # state /ParentStarted
+        self.states["/ParentStarted"] = State(37, self)
+        
+        # state /HybridTerminated
+        self.states["/HybridTerminated"] = State(38, self)
+        
+        # add children
+        self.states[""].addChild(self.states["/FSA"])
+        self.states[""].addChild(self.states["/ParentStarted"])
+        self.states[""].addChild(self.states["/HybridTerminated"])
+        self.states["/FSA"].addChild(self.states["/FSA/Started"])
+        self.states["/FSA"].addChild(self.states["/FSA/Initialized"])
+        self.states["/FSA"].addChild(self.states["/FSA/CheckTermination"])
+        self.states["/FSA"].addChild(self.states["/FSA/DoSimulation"])
+        self.states["/FSA"].addChild(self.states["/FSA/Terminated"])
+        self.states["/FSA/CheckTermination"].addChild(self.states["/FSA/CheckTermination/MacroStepProcessed"])
+        self.states["/FSA/DoSimulation"].addChild(self.states["/FSA/DoSimulation/MacroStepPrepared"])
+        self.states["/FSA/DoSimulation"].addChild(self.states["/FSA/DoSimulation/MicroStepProcessed"])
+        self.states["/FSA/DoSimulation"].addChild(self.states["/FSA/DoSimulation/MicroStepPrepared"])
+        self.states["/FSA/DoSimulation"].addChild(self.states["/FSA/DoSimulation/ParentMicroStepProcessed"])
+        self.states["/FSA/DoSimulation/MacroStepPrepared"].addChild(self.states["/FSA/DoSimulation/MacroStepPrepared/ParentPaused"])
+        self.states["/FSA/DoSimulation/MacroStepPrepared"].addChild(self.states["/FSA/DoSimulation/MacroStepPrepared/ChildNotDetected"])
+        self.states["/FSA/DoSimulation/MacroStepPrepared"].addChild(self.states["/FSA/DoSimulation/MacroStepPrepared/ChildDetected"])
+        self.states["/FSA/DoSimulation/MacroStepPrepared"].addChild(self.states["/FSA/DoSimulation/MacroStepPrepared/ChildInitialized"])
+        self.states["/FSA/DoSimulation/MacroStepPrepared"].addChild(self.states["/FSA/DoSimulation/MacroStepPrepared/ChildNotInitialized"])
+        self.states["/FSA/DoSimulation/MacroStepPrepared"].addChild(self.states["/FSA/DoSimulation/MacroStepPrepared/CBD"])
+        self.states["/FSA/DoSimulation/MacroStepPrepared"].addChild(self.states["/FSA/DoSimulation/MacroStepPrepared/ChildProcessed"])
+        self.states["/FSA/DoSimulation/MacroStepPrepared/CBD"].addChild(self.states["/FSA/DoSimulation/MacroStepPrepared/CBD/Started"])
+        self.states["/FSA/DoSimulation/MacroStepPrepared/CBD"].addChild(self.states["/FSA/DoSimulation/MacroStepPrepared/CBD/Initialized"])
+        self.states["/FSA/DoSimulation/MicroStepProcessed"].addChild(self.states["/FSA/DoSimulation/MicroStepProcessed/ParentPaused"])
+        self.states["/FSA/DoSimulation/MicroStepProcessed"].addChild(self.states["/FSA/DoSimulation/MicroStepProcessed/ChildNotDetected"])
+        self.states["/FSA/DoSimulation/MicroStepProcessed"].addChild(self.states["/FSA/DoSimulation/MicroStepProcessed/ChildDetected"])
+        self.states["/FSA/DoSimulation/MicroStepProcessed"].addChild(self.states["/FSA/DoSimulation/MicroStepProcessed/ChildInitialized"])
+        self.states["/FSA/DoSimulation/MicroStepProcessed"].addChild(self.states["/FSA/DoSimulation/MicroStepProcessed/CBD"])
+        self.states["/FSA/DoSimulation/MicroStepProcessed"].addChild(self.states["/FSA/DoSimulation/MicroStepProcessed/ChildPaused"])
+        self.states["/FSA/DoSimulation/MicroStepProcessed"].addChild(self.states["/FSA/DoSimulation/MicroStepProcessed/NoStateEventDetected"])
+        self.states["/FSA/DoSimulation/MicroStepProcessed"].addChild(self.states["/FSA/DoSimulation/MicroStepProcessed/StateEventDetected"])
+        self.states["/FSA/DoSimulation/MicroStepProcessed"].addChild(self.states["/FSA/DoSimulation/MicroStepProcessed/ChildProcessed"])
+        self.states["/FSA/DoSimulation/MicroStepProcessed/CBD"].addChild(self.states["/FSA/DoSimulation/MicroStepProcessed/CBD/CheckTermination"])
+        self.states["/FSA/DoSimulation/MicroStepProcessed/CBD"].addChild(self.states["/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation"])
+        self.states["/FSA/DoSimulation/MicroStepProcessed/CBD"].addChild(self.states["/FSA/DoSimulation/MicroStepProcessed/CBD/Terminated"])
+        self.states["/FSA/DoSimulation/MicroStepProcessed/CBD/CheckTermination"].addChild(self.states["/FSA/DoSimulation/MicroStepProcessed/CBD/CheckTermination/MacroStepProcessed"])
+        self.states["/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation"].addChild(self.states["/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MacroStepPrepared"])
+        self.states["/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation"].addChild(self.states["/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MicroStepProcessed"])
+        self.states["/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation"].addChild(self.states["/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MicroStepPrepared"])
+        self.states[""].fixTree()
+        self.states[""].default_state = self.states["/FSA"]
+        self.states["/FSA"].default_state = self.states["/FSA/Started"]
+        self.states["/FSA/CheckTermination"].default_state = self.states["/FSA/CheckTermination/MacroStepProcessed"]
+        self.states["/FSA/DoSimulation"].default_state = self.states["/FSA/DoSimulation/MacroStepPrepared"]
+        self.states["/FSA/DoSimulation/MacroStepPrepared"].default_state = self.states["/FSA/DoSimulation/MacroStepPrepared/ParentPaused"]
+        self.states["/FSA/DoSimulation/MacroStepPrepared/CBD"].default_state = self.states["/FSA/DoSimulation/MacroStepPrepared/CBD/Started"]
+        self.states["/FSA/DoSimulation/MicroStepProcessed"].default_state = self.states["/FSA/DoSimulation/MicroStepProcessed/ParentPaused"]
+        self.states["/FSA/DoSimulation/MicroStepProcessed/CBD"].default_state = self.states["/FSA/DoSimulation/MicroStepProcessed/CBD/CheckTermination"]
+        self.states["/FSA/DoSimulation/MicroStepProcessed/CBD/CheckTermination"].default_state = self.states["/FSA/DoSimulation/MicroStepProcessed/CBD/CheckTermination/MacroStepProcessed"]
+        self.states["/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation"].default_state = self.states["/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MacroStepPrepared"]
+        
+        # transition /FSA/Started
+        _FSA_Started_0 = Transition(self, self.states["/FSA/Started"], [self.states["/ParentStarted"]])
+        _FSA_Started_0.setAction(self._FSA_Started_0_exec)
+        _FSA_Started_0.setTrigger(None)
+        self.states["/FSA/Started"].addTransition(_FSA_Started_0)
+        
+        # transition /FSA/Initialized
+        _FSA_Initialized_0 = Transition(self, self.states["/FSA/Initialized"], [self.states["/FSA/CheckTermination"]])
+        _FSA_Initialized_0.setAction(self._FSA_Initialized_0_exec)
+        _FSA_Initialized_0.setTrigger(None)
+        self.states["/FSA/Initialized"].addTransition(_FSA_Initialized_0)
+        
+        # transition /FSA/CheckTermination/MacroStepProcessed
+        _FSA_CheckTermination_MacroStepProcessed_0 = Transition(self, self.states["/FSA/CheckTermination/MacroStepProcessed"], [self.states["/FSA/DoSimulation"]])
+        _FSA_CheckTermination_MacroStepProcessed_0.setAction(self._FSA_CheckTermination_MacroStepProcessed_0_exec)
+        _FSA_CheckTermination_MacroStepProcessed_0.setTrigger(None)
+        _FSA_CheckTermination_MacroStepProcessed_0.setGuard(self._FSA_CheckTermination_MacroStepProcessed_0_guard)
+        self.states["/FSA/CheckTermination/MacroStepProcessed"].addTransition(_FSA_CheckTermination_MacroStepProcessed_0)
+        _FSA_CheckTermination_MacroStepProcessed_1 = Transition(self, self.states["/FSA/CheckTermination/MacroStepProcessed"], [self.states["/FSA/Terminated"]])
+        _FSA_CheckTermination_MacroStepProcessed_1.setAction(self._FSA_CheckTermination_MacroStepProcessed_1_exec)
+        _FSA_CheckTermination_MacroStepProcessed_1.setTrigger(None)
+        _FSA_CheckTermination_MacroStepProcessed_1.setGuard(self._FSA_CheckTermination_MacroStepProcessed_1_guard)
+        self.states["/FSA/CheckTermination/MacroStepProcessed"].addTransition(_FSA_CheckTermination_MacroStepProcessed_1)
+        
+        # transition /FSA/DoSimulation/MacroStepPrepared/ParentPaused
+        _FSA_DoSimulation_MacroStepPrepared_ParentPaused_0 = Transition(self, self.states["/FSA/DoSimulation/MacroStepPrepared/ParentPaused"], [self.states["/FSA/DoSimulation/MacroStepPrepared/ChildDetected"]])
+        _FSA_DoSimulation_MacroStepPrepared_ParentPaused_0.setAction(self._FSA_DoSimulation_MacroStepPrepared_ParentPaused_0_exec)
+        _FSA_DoSimulation_MacroStepPrepared_ParentPaused_0.setTrigger(None)
+        _FSA_DoSimulation_MacroStepPrepared_ParentPaused_0.setGuard(self._FSA_DoSimulation_MacroStepPrepared_ParentPaused_0_guard)
+        self.states["/FSA/DoSimulation/MacroStepPrepared/ParentPaused"].addTransition(_FSA_DoSimulation_MacroStepPrepared_ParentPaused_0)
+        _FSA_DoSimulation_MacroStepPrepared_ParentPaused_1 = Transition(self, self.states["/FSA/DoSimulation/MacroStepPrepared/ParentPaused"], [self.states["/FSA/DoSimulation/MacroStepPrepared/ChildNotDetected"]])
+        _FSA_DoSimulation_MacroStepPrepared_ParentPaused_1.setAction(self._FSA_DoSimulation_MacroStepPrepared_ParentPaused_1_exec)
+        _FSA_DoSimulation_MacroStepPrepared_ParentPaused_1.setTrigger(None)
+        _FSA_DoSimulation_MacroStepPrepared_ParentPaused_1.setGuard(self._FSA_DoSimulation_MacroStepPrepared_ParentPaused_1_guard)
+        self.states["/FSA/DoSimulation/MacroStepPrepared/ParentPaused"].addTransition(_FSA_DoSimulation_MacroStepPrepared_ParentPaused_1)
+        
+        # transition /FSA/DoSimulation/MacroStepPrepared/ChildNotDetected
+        _FSA_DoSimulation_MacroStepPrepared_ChildNotDetected_0 = Transition(self, self.states["/FSA/DoSimulation/MacroStepPrepared/ChildNotDetected"], [self.states["/FSA/DoSimulation/MacroStepPrepared/ChildProcessed"]])
+        _FSA_DoSimulation_MacroStepPrepared_ChildNotDetected_0.setAction(self._FSA_DoSimulation_MacroStepPrepared_ChildNotDetected_0_exec)
+        _FSA_DoSimulation_MacroStepPrepared_ChildNotDetected_0.setTrigger(None)
+        self.states["/FSA/DoSimulation/MacroStepPrepared/ChildNotDetected"].addTransition(_FSA_DoSimulation_MacroStepPrepared_ChildNotDetected_0)
+        
+        # transition /FSA/DoSimulation/MacroStepPrepared/ChildDetected
+        _FSA_DoSimulation_MacroStepPrepared_ChildDetected_0 = Transition(self, self.states["/FSA/DoSimulation/MacroStepPrepared/ChildDetected"], [self.states["/FSA/DoSimulation/MacroStepPrepared/ChildInitialized"]])
+        _FSA_DoSimulation_MacroStepPrepared_ChildDetected_0.setAction(self._FSA_DoSimulation_MacroStepPrepared_ChildDetected_0_exec)
+        _FSA_DoSimulation_MacroStepPrepared_ChildDetected_0.setTrigger(None)
+        _FSA_DoSimulation_MacroStepPrepared_ChildDetected_0.setGuard(self._FSA_DoSimulation_MacroStepPrepared_ChildDetected_0_guard)
+        self.states["/FSA/DoSimulation/MacroStepPrepared/ChildDetected"].addTransition(_FSA_DoSimulation_MacroStepPrepared_ChildDetected_0)
+        _FSA_DoSimulation_MacroStepPrepared_ChildDetected_1 = Transition(self, self.states["/FSA/DoSimulation/MacroStepPrepared/ChildDetected"], [self.states["/FSA/DoSimulation/MacroStepPrepared/ChildNotInitialized"]])
+        _FSA_DoSimulation_MacroStepPrepared_ChildDetected_1.setAction(self._FSA_DoSimulation_MacroStepPrepared_ChildDetected_1_exec)
+        _FSA_DoSimulation_MacroStepPrepared_ChildDetected_1.setTrigger(None)
+        _FSA_DoSimulation_MacroStepPrepared_ChildDetected_1.setGuard(self._FSA_DoSimulation_MacroStepPrepared_ChildDetected_1_guard)
+        self.states["/FSA/DoSimulation/MacroStepPrepared/ChildDetected"].addTransition(_FSA_DoSimulation_MacroStepPrepared_ChildDetected_1)
+        
+        # transition /FSA/DoSimulation/MacroStepPrepared/ChildInitialized
+        _FSA_DoSimulation_MacroStepPrepared_ChildInitialized_0 = Transition(self, self.states["/FSA/DoSimulation/MacroStepPrepared/ChildInitialized"], [self.states["/FSA/DoSimulation/MacroStepPrepared/ChildProcessed"]])
+        _FSA_DoSimulation_MacroStepPrepared_ChildInitialized_0.setAction(self._FSA_DoSimulation_MacroStepPrepared_ChildInitialized_0_exec)
+        _FSA_DoSimulation_MacroStepPrepared_ChildInitialized_0.setTrigger(None)
+        self.states["/FSA/DoSimulation/MacroStepPrepared/ChildInitialized"].addTransition(_FSA_DoSimulation_MacroStepPrepared_ChildInitialized_0)
+        
+        # transition /FSA/DoSimulation/MacroStepPrepared/ChildNotInitialized
+        _FSA_DoSimulation_MacroStepPrepared_ChildNotInitialized_0 = Transition(self, self.states["/FSA/DoSimulation/MacroStepPrepared/ChildNotInitialized"], [self.states["/FSA/DoSimulation/MacroStepPrepared/CBD/Started"]])
+        _FSA_DoSimulation_MacroStepPrepared_ChildNotInitialized_0.setAction(self._FSA_DoSimulation_MacroStepPrepared_ChildNotInitialized_0_exec)
+        _FSA_DoSimulation_MacroStepPrepared_ChildNotInitialized_0.setTrigger(None)
+        self.states["/FSA/DoSimulation/MacroStepPrepared/ChildNotInitialized"].addTransition(_FSA_DoSimulation_MacroStepPrepared_ChildNotInitialized_0)
+        
+        # transition /FSA/DoSimulation/MacroStepPrepared/CBD/Started
+        _FSA_DoSimulation_MacroStepPrepared_CBD_Started_0 = Transition(self, self.states["/FSA/DoSimulation/MacroStepPrepared/CBD/Started"], [self.states["/FSA/DoSimulation/MacroStepPrepared/CBD/Initialized"]])
+        _FSA_DoSimulation_MacroStepPrepared_CBD_Started_0.setAction(self._FSA_DoSimulation_MacroStepPrepared_CBD_Started_0_exec)
+        _FSA_DoSimulation_MacroStepPrepared_CBD_Started_0.setTrigger(None)
+        self.states["/FSA/DoSimulation/MacroStepPrepared/CBD/Started"].addTransition(_FSA_DoSimulation_MacroStepPrepared_CBD_Started_0)
+        
+        # transition /FSA/DoSimulation/MacroStepPrepared/CBD/Initialized
+        _FSA_DoSimulation_MacroStepPrepared_CBD_Initialized_0 = Transition(self, self.states["/FSA/DoSimulation/MacroStepPrepared/CBD/Initialized"], [self.states["/FSA/DoSimulation/MacroStepPrepared/ChildInitialized"]])
+        _FSA_DoSimulation_MacroStepPrepared_CBD_Initialized_0.setAction(self._FSA_DoSimulation_MacroStepPrepared_CBD_Initialized_0_exec)
+        _FSA_DoSimulation_MacroStepPrepared_CBD_Initialized_0.setTrigger(None)
+        self.states["/FSA/DoSimulation/MacroStepPrepared/CBD/Initialized"].addTransition(_FSA_DoSimulation_MacroStepPrepared_CBD_Initialized_0)
+        
+        # transition /FSA/DoSimulation/MacroStepPrepared/ChildProcessed
+        _FSA_DoSimulation_MacroStepPrepared_ChildProcessed_0 = Transition(self, self.states["/FSA/DoSimulation/MacroStepPrepared/ChildProcessed"], [self.states["/FSA/DoSimulation/MicroStepProcessed"]])
+        _FSA_DoSimulation_MacroStepPrepared_ChildProcessed_0.setAction(self._FSA_DoSimulation_MacroStepPrepared_ChildProcessed_0_exec)
+        _FSA_DoSimulation_MacroStepPrepared_ChildProcessed_0.setTrigger(None)
+        self.states["/FSA/DoSimulation/MacroStepPrepared/ChildProcessed"].addTransition(_FSA_DoSimulation_MacroStepPrepared_ChildProcessed_0)
+        
+        # transition /FSA/DoSimulation/MicroStepProcessed/ParentPaused
+        _FSA_DoSimulation_MicroStepProcessed_ParentPaused_0 = Transition(self, self.states["/FSA/DoSimulation/MicroStepProcessed/ParentPaused"], [self.states["/FSA/DoSimulation/MicroStepProcessed/ChildDetected"]])
+        _FSA_DoSimulation_MicroStepProcessed_ParentPaused_0.setAction(self._FSA_DoSimulation_MicroStepProcessed_ParentPaused_0_exec)
+        _FSA_DoSimulation_MicroStepProcessed_ParentPaused_0.setTrigger(None)
+        _FSA_DoSimulation_MicroStepProcessed_ParentPaused_0.setGuard(self._FSA_DoSimulation_MicroStepProcessed_ParentPaused_0_guard)
+        self.states["/FSA/DoSimulation/MicroStepProcessed/ParentPaused"].addTransition(_FSA_DoSimulation_MicroStepProcessed_ParentPaused_0)
+        _FSA_DoSimulation_MicroStepProcessed_ParentPaused_1 = Transition(self, self.states["/FSA/DoSimulation/MicroStepProcessed/ParentPaused"], [self.states["/FSA/DoSimulation/MicroStepProcessed/ChildNotDetected"]])
+        _FSA_DoSimulation_MicroStepProcessed_ParentPaused_1.setAction(self._FSA_DoSimulation_MicroStepProcessed_ParentPaused_1_exec)
+        _FSA_DoSimulation_MicroStepProcessed_ParentPaused_1.setTrigger(None)
+        _FSA_DoSimulation_MicroStepProcessed_ParentPaused_1.setGuard(self._FSA_DoSimulation_MicroStepProcessed_ParentPaused_1_guard)
+        self.states["/FSA/DoSimulation/MicroStepProcessed/ParentPaused"].addTransition(_FSA_DoSimulation_MicroStepProcessed_ParentPaused_1)
+        
+        # transition /FSA/DoSimulation/MicroStepProcessed/ChildNotDetected
+        _FSA_DoSimulation_MicroStepProcessed_ChildNotDetected_0 = Transition(self, self.states["/FSA/DoSimulation/MicroStepProcessed/ChildNotDetected"], [self.states["/FSA/DoSimulation/MicroStepProcessed/ChildProcessed"]])
+        _FSA_DoSimulation_MicroStepProcessed_ChildNotDetected_0.setAction(self._FSA_DoSimulation_MicroStepProcessed_ChildNotDetected_0_exec)
+        _FSA_DoSimulation_MicroStepProcessed_ChildNotDetected_0.setTrigger(None)
+        self.states["/FSA/DoSimulation/MicroStepProcessed/ChildNotDetected"].addTransition(_FSA_DoSimulation_MicroStepProcessed_ChildNotDetected_0)
+        
+        # transition /FSA/DoSimulation/MicroStepProcessed/ChildDetected
+        _FSA_DoSimulation_MicroStepProcessed_ChildDetected_0 = Transition(self, self.states["/FSA/DoSimulation/MicroStepProcessed/ChildDetected"], [self.states["/FSA/DoSimulation/MicroStepProcessed/ChildInitialized"]])
+        _FSA_DoSimulation_MicroStepProcessed_ChildDetected_0.setAction(self._FSA_DoSimulation_MicroStepProcessed_ChildDetected_0_exec)
+        _FSA_DoSimulation_MicroStepProcessed_ChildDetected_0.setTrigger(None)
+        _FSA_DoSimulation_MicroStepProcessed_ChildDetected_0.setGuard(self._FSA_DoSimulation_MicroStepProcessed_ChildDetected_0_guard)
+        self.states["/FSA/DoSimulation/MicroStepProcessed/ChildDetected"].addTransition(_FSA_DoSimulation_MicroStepProcessed_ChildDetected_0)
+        
+        # transition /FSA/DoSimulation/MicroStepProcessed/ChildInitialized
+        _FSA_DoSimulation_MicroStepProcessed_ChildInitialized_0 = Transition(self, self.states["/FSA/DoSimulation/MicroStepProcessed/ChildInitialized"], [self.states["/FSA/DoSimulation/MicroStepProcessed/CBD/CheckTermination"]])
+        _FSA_DoSimulation_MicroStepProcessed_ChildInitialized_0.setAction(self._FSA_DoSimulation_MicroStepProcessed_ChildInitialized_0_exec)
+        _FSA_DoSimulation_MicroStepProcessed_ChildInitialized_0.setTrigger(None)
+        self.states["/FSA/DoSimulation/MicroStepProcessed/ChildInitialized"].addTransition(_FSA_DoSimulation_MicroStepProcessed_ChildInitialized_0)
+        
+        # transition /FSA/DoSimulation/MicroStepProcessed/CBD/CheckTermination/MacroStepProcessed
+        _FSA_DoSimulation_MicroStepProcessed_CBD_CheckTermination_MacroStepProcessed_0 = Transition(self, self.states["/FSA/DoSimulation/MicroStepProcessed/CBD/CheckTermination/MacroStepProcessed"], [self.states["/FSA/DoSimulation/MicroStepProcessed/CBD/Terminated"]])
+        _FSA_DoSimulation_MicroStepProcessed_CBD_CheckTermination_MacroStepProcessed_0.setAction(self._FSA_DoSimulation_MicroStepProcessed_CBD_CheckTermination_MacroStepProcessed_0_exec)
+        _FSA_DoSimulation_MicroStepProcessed_CBD_CheckTermination_MacroStepProcessed_0.setTrigger(None)
+        _FSA_DoSimulation_MicroStepProcessed_CBD_CheckTermination_MacroStepProcessed_0.setGuard(self._FSA_DoSimulation_MicroStepProcessed_CBD_CheckTermination_MacroStepProcessed_0_guard)
+        self.states["/FSA/DoSimulation/MicroStepProcessed/CBD/CheckTermination/MacroStepProcessed"].addTransition(_FSA_DoSimulation_MicroStepProcessed_CBD_CheckTermination_MacroStepProcessed_0)
+        _FSA_DoSimulation_MicroStepProcessed_CBD_CheckTermination_MacroStepProcessed_1 = Transition(self, self.states["/FSA/DoSimulation/MicroStepProcessed/CBD/CheckTermination/MacroStepProcessed"], [self.states["/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation"]])
+        _FSA_DoSimulation_MicroStepProcessed_CBD_CheckTermination_MacroStepProcessed_1.setAction(self._FSA_DoSimulation_MicroStepProcessed_CBD_CheckTermination_MacroStepProcessed_1_exec)
+        _FSA_DoSimulation_MicroStepProcessed_CBD_CheckTermination_MacroStepProcessed_1.setTrigger(None)
+        _FSA_DoSimulation_MicroStepProcessed_CBD_CheckTermination_MacroStepProcessed_1.setGuard(self._FSA_DoSimulation_MicroStepProcessed_CBD_CheckTermination_MacroStepProcessed_1_guard)
+        self.states["/FSA/DoSimulation/MicroStepProcessed/CBD/CheckTermination/MacroStepProcessed"].addTransition(_FSA_DoSimulation_MicroStepProcessed_CBD_CheckTermination_MacroStepProcessed_1)
+        
+        # transition /FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MacroStepPrepared
+        _FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MacroStepPrepared_0 = Transition(self, self.states["/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MacroStepPrepared"], [self.states["/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MicroStepProcessed"]])
+        _FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MacroStepPrepared_0.setAction(self._FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MacroStepPrepared_0_exec)
+        _FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MacroStepPrepared_0.setTrigger(None)
+        self.states["/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MacroStepPrepared"].addTransition(_FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MacroStepPrepared_0)
+        
+        # transition /FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MicroStepProcessed
+        _FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepProcessed_0 = Transition(self, self.states["/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MicroStepProcessed"], [self.states["/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MicroStepPrepared"]])
+        _FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepProcessed_0.setAction(self._FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepProcessed_0_exec)
+        _FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepProcessed_0.setTrigger(None)
+        _FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepProcessed_0.setGuard(self._FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepProcessed_0_guard)
+        self.states["/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MicroStepProcessed"].addTransition(_FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepProcessed_0)
+        _FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepProcessed_1 = Transition(self, self.states["/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MicroStepProcessed"], [self.states["/FSA/DoSimulation/MicroStepProcessed/ChildPaused"]])
+        _FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepProcessed_1.setAction(self._FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepProcessed_1_exec)
+        _FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepProcessed_1.setTrigger(None)
+        _FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepProcessed_1.setGuard(self._FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepProcessed_1_guard)
+        self.states["/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MicroStepProcessed"].addTransition(_FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepProcessed_1)
+        
+        # transition /FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MicroStepPrepared
+        _FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepPrepared_0 = Transition(self, self.states["/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MicroStepPrepared"], [self.states["/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MicroStepProcessed"]])
+        _FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepPrepared_0.setAction(self._FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepPrepared_0_exec)
+        _FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepPrepared_0.setTrigger(None)
+        self.states["/FSA/DoSimulation/MicroStepProcessed/CBD/DoSimulation/MicroStepPrepared"].addTransition(_FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepPrepared_0)
+        
+        # transition /FSA/DoSimulation/MicroStepProcessed/CBD/Terminated
+        _FSA_DoSimulation_MicroStepProcessed_CBD_Terminated_0 = Transition(self, self.states["/FSA/DoSimulation/MicroStepProcessed/CBD/Terminated"], [self.states["/HybridTerminated"]])
+        _FSA_DoSimulation_MicroStepProcessed_CBD_Terminated_0.setAction(self._FSA_DoSimulation_MicroStepProcessed_CBD_Terminated_0_exec)
+        _FSA_DoSimulation_MicroStepProcessed_CBD_Terminated_0.setTrigger(None)
+        self.states["/FSA/DoSimulation/MicroStepProcessed/CBD/Terminated"].addTransition(_FSA_DoSimulation_MicroStepProcessed_CBD_Terminated_0)
+        
+        # transition /FSA/DoSimulation/MicroStepProcessed/ChildPaused
+        _FSA_DoSimulation_MicroStepProcessed_ChildPaused_0 = Transition(self, self.states["/FSA/DoSimulation/MicroStepProcessed/ChildPaused"], [self.states["/FSA/DoSimulation/MicroStepProcessed/NoStateEventDetected"]])
+        _FSA_DoSimulation_MicroStepProcessed_ChildPaused_0.setAction(self._FSA_DoSimulation_MicroStepProcessed_ChildPaused_0_exec)
+        _FSA_DoSimulation_MicroStepProcessed_ChildPaused_0.setTrigger(None)
+        _FSA_DoSimulation_MicroStepProcessed_ChildPaused_0.setGuard(self._FSA_DoSimulation_MicroStepProcessed_ChildPaused_0_guard)
+        self.states["/FSA/DoSimulation/MicroStepProcessed/ChildPaused"].addTransition(_FSA_DoSimulation_MicroStepProcessed_ChildPaused_0)
+        _FSA_DoSimulation_MicroStepProcessed_ChildPaused_1 = Transition(self, self.states["/FSA/DoSimulation/MicroStepProcessed/ChildPaused"], [self.states["/FSA/DoSimulation/MicroStepProcessed/StateEventDetected"]])
+        _FSA_DoSimulation_MicroStepProcessed_ChildPaused_1.setAction(self._FSA_DoSimulation_MicroStepProcessed_ChildPaused_1_exec)
+        _FSA_DoSimulation_MicroStepProcessed_ChildPaused_1.setTrigger(None)
+        _FSA_DoSimulation_MicroStepProcessed_ChildPaused_1.setGuard(self._FSA_DoSimulation_MicroStepProcessed_ChildPaused_1_guard)
+        self.states["/FSA/DoSimulation/MicroStepProcessed/ChildPaused"].addTransition(_FSA_DoSimulation_MicroStepProcessed_ChildPaused_1)
+        
+        # transition /FSA/DoSimulation/MicroStepProcessed/NoStateEventDetected
+        _FSA_DoSimulation_MicroStepProcessed_NoStateEventDetected_0 = Transition(self, self.states["/FSA/DoSimulation/MicroStepProcessed/NoStateEventDetected"], [self.states["/FSA/DoSimulation/MicroStepProcessed/ChildProcessed"]])
+        _FSA_DoSimulation_MicroStepProcessed_NoStateEventDetected_0.setAction(self._FSA_DoSimulation_MicroStepProcessed_NoStateEventDetected_0_exec)
+        _FSA_DoSimulation_MicroStepProcessed_NoStateEventDetected_0.setTrigger(None)
+        self.states["/FSA/DoSimulation/MicroStepProcessed/NoStateEventDetected"].addTransition(_FSA_DoSimulation_MicroStepProcessed_NoStateEventDetected_0)
+        
+        # transition /FSA/DoSimulation/MicroStepProcessed/StateEventDetected
+        _FSA_DoSimulation_MicroStepProcessed_StateEventDetected_0 = Transition(self, self.states["/FSA/DoSimulation/MicroStepProcessed/StateEventDetected"], [self.states["/FSA/DoSimulation/MicroStepProcessed/ChildProcessed"]])
+        _FSA_DoSimulation_MicroStepProcessed_StateEventDetected_0.setAction(self._FSA_DoSimulation_MicroStepProcessed_StateEventDetected_0_exec)
+        _FSA_DoSimulation_MicroStepProcessed_StateEventDetected_0.setTrigger(None)
+        self.states["/FSA/DoSimulation/MicroStepProcessed/StateEventDetected"].addTransition(_FSA_DoSimulation_MicroStepProcessed_StateEventDetected_0)
+        
+        # transition /FSA/DoSimulation/MicroStepProcessed/ChildProcessed
+        _FSA_DoSimulation_MicroStepProcessed_ChildProcessed_0 = Transition(self, self.states["/FSA/DoSimulation/MicroStepProcessed/ChildProcessed"], [self.states["/FSA/DoSimulation/MicroStepPrepared"]])
+        _FSA_DoSimulation_MicroStepProcessed_ChildProcessed_0.setAction(self._FSA_DoSimulation_MicroStepProcessed_ChildProcessed_0_exec)
+        _FSA_DoSimulation_MicroStepProcessed_ChildProcessed_0.setTrigger(None)
+        _FSA_DoSimulation_MicroStepProcessed_ChildProcessed_0.setGuard(self._FSA_DoSimulation_MicroStepProcessed_ChildProcessed_0_guard)
+        self.states["/FSA/DoSimulation/MicroStepProcessed/ChildProcessed"].addTransition(_FSA_DoSimulation_MicroStepProcessed_ChildProcessed_0)
+        _FSA_DoSimulation_MicroStepProcessed_ChildProcessed_1 = Transition(self, self.states["/FSA/DoSimulation/MicroStepProcessed/ChildProcessed"], [self.states["/FSA/CheckTermination"]])
+        _FSA_DoSimulation_MicroStepProcessed_ChildProcessed_1.setAction(self._FSA_DoSimulation_MicroStepProcessed_ChildProcessed_1_exec)
+        _FSA_DoSimulation_MicroStepProcessed_ChildProcessed_1.setTrigger(None)
+        _FSA_DoSimulation_MicroStepProcessed_ChildProcessed_1.setGuard(self._FSA_DoSimulation_MicroStepProcessed_ChildProcessed_1_guard)
+        self.states["/FSA/DoSimulation/MicroStepProcessed/ChildProcessed"].addTransition(_FSA_DoSimulation_MicroStepProcessed_ChildProcessed_1)
+        
+        # transition /FSA/DoSimulation/MicroStepPrepared
+        _FSA_DoSimulation_MicroStepPrepared_0 = Transition(self, self.states["/FSA/DoSimulation/MicroStepPrepared"], [self.states["/FSA/DoSimulation/ParentMicroStepProcessed"]])
+        _FSA_DoSimulation_MicroStepPrepared_0.setAction(self._FSA_DoSimulation_MicroStepPrepared_0_exec)
+        _FSA_DoSimulation_MicroStepPrepared_0.setTrigger(None)
+        self.states["/FSA/DoSimulation/MicroStepPrepared"].addTransition(_FSA_DoSimulation_MicroStepPrepared_0)
+        
+        # transition /FSA/DoSimulation/ParentMicroStepProcessed
+        _FSA_DoSimulation_ParentMicroStepProcessed_0 = Transition(self, self.states["/FSA/DoSimulation/ParentMicroStepProcessed"], [self.states["/FSA/DoSimulation/MacroStepPrepared"]])
+        _FSA_DoSimulation_ParentMicroStepProcessed_0.setAction(self._FSA_DoSimulation_ParentMicroStepProcessed_0_exec)
+        _FSA_DoSimulation_ParentMicroStepProcessed_0.setTrigger(None)
+        self.states["/FSA/DoSimulation/ParentMicroStepProcessed"].addTransition(_FSA_DoSimulation_ParentMicroStepProcessed_0)
+        
+        # transition /FSA/Terminated
+        _FSA_Terminated_0 = Transition(self, self.states["/FSA/Terminated"], [self.states["/HybridTerminated"]])
+        _FSA_Terminated_0.setAction(self._FSA_Terminated_0_exec)
+        _FSA_Terminated_0.setTrigger(None)
+        self.states["/FSA/Terminated"].addTransition(_FSA_Terminated_0)
+        
+        # transition /ParentStarted
+        _ParentStarted_0 = Transition(self, self.states["/ParentStarted"], [self.states["/FSA/Initialized"]])
+        _ParentStarted_0.setAction(self._ParentStarted_0_exec)
+        _ParentStarted_0.setTrigger(None)
+        self.states["/ParentStarted"].addTransition(_ParentStarted_0)
+    
+    def _FSA_Started_0_exec(self, parameters):
+        print('From FSA/Started to ParentStarted... ')
+        self.weaved_delta = min(self.fsa_timestep, self.cbd_delta)
+        self.fsa_logicalTime = 0.0
+        self.fsa_elapsed = 0
+        self.fsa_timestep = self.weaved_delta
+        self.fsa_currentState = self.weaved_model.initialState
+    
+    def _FSA_Initialized_0_exec(self, parameters):
+        print('From FSA/Initialized to FSA/CheckTermination... ')
+    
+    def _FSA_CheckTermination_MacroStepProcessed_0_exec(self, parameters):
+        print('From FSA/CheckTermination/MacroStepProcessed to FSA/DoSimulation and reading events... ')
+        self.fsa_currentEvent = self.fsa_getInputEventAt(self.fsa_logicalTime)
+        self.fsa_selectedTransition = self.weaved_model.getTransitionFrom(self.fsa_currentState, self.fsa_currentEvent, self.fsa_elapsed)
+        print('Current event:' + str(self.fsa_currentEvent))
+        print('Current transition:' + str(self.fsa_selectedTransition))
+        print('Child detected?:' + str(isinstance(self.fsa_currentState, CBDState)))
+    
+    def _FSA_CheckTermination_MacroStepProcessed_0_guard(self, parameters):
+        return not self.fsa_currentState.final
+    
+    def _FSA_CheckTermination_MacroStepProcessed_1_exec(self, parameters):
+        print('From FSA/CheckTermination/MacroStepProcessed to Terminated... ')
+    
+    def _FSA_CheckTermination_MacroStepProcessed_1_guard(self, parameters):
+        return self.fsa_currentState.final
+    
+    def _FSA_DoSimulation_MacroStepPrepared_ParentPaused_0_exec(self, parameters):
+        print('From FSA/ParentPaused to FSA/ChildDetected... ')
+        self.cbd_model = self.fsa_currentState.cbd
+    
+    def _FSA_DoSimulation_MacroStepPrepared_ParentPaused_0_guard(self, parameters):
+        return isinstance(self.fsa_currentState, CBDState)
+    
+    def _FSA_DoSimulation_MacroStepPrepared_ParentPaused_1_exec(self, parameters):
+        print('From ParentPaused to ChildNotDetected without any child to process... ')
+    
+    def _FSA_DoSimulation_MacroStepPrepared_ParentPaused_1_guard(self, parameters):
+        return not isinstance(self.fsa_currentState, CBDState)
+    
+    def _FSA_DoSimulation_MacroStepPrepared_ChildNotDetected_0_exec(self, parameters):
+        print('From ChildNotDetected to ChildProcessed... ')
+    
+    def _FSA_DoSimulation_MacroStepPrepared_ChildDetected_0_exec(self, parameters):
+        print('From ChildDetected to ChildInitialized... ')
+    
+    def _FSA_DoSimulation_MacroStepPrepared_ChildDetected_0_guard(self, parameters):
+        return self.woven_child_initialized
+    
+    def _FSA_DoSimulation_MacroStepPrepared_ChildDetected_1_exec(self, parameters):
+        print('From ChildDetected to ChildNotInitialized... ')
+    
+    def _FSA_DoSimulation_MacroStepPrepared_ChildDetected_1_guard(self, parameters):
+        return not self.woven_child_initialized
+    
+    def _FSA_DoSimulation_MacroStepPrepared_ChildInitialized_0_exec(self, parameters):
+        print('From ChildInitialized to ChildProcessed... ')
+    
+    def _FSA_DoSimulation_MacroStepPrepared_ChildNotInitialized_0_exec(self, parameters):
+        print('From ChildNotInitialized to CBD/Started... ')
+        self.cbd_delta = self.weaved_delta
+        self.updateCBDState()
+        self.woven_child_initialized = True
+    
+    def _FSA_DoSimulation_MacroStepPrepared_CBD_Started_0_exec(self, parameters):
+        print('From CBD/Started to Initialized... ')
+        print('Performing initialization...')
+        self.cbd_iteration = 0
+        self.cbd_clock = 0
+        self.cbd_controller = CBDController(self.cbd_model, self.cbd_delta)
+        self.cbd_controller.initSimulation()
+        print('Performing initialization... DONE')
+    
+    def _FSA_DoSimulation_MacroStepPrepared_CBD_Initialized_0_exec(self, parameters):
+        print('From CBD/Initialized to ChildInitialized... ')
+    
+    def _FSA_DoSimulation_MacroStepPrepared_ChildProcessed_0_exec(self, parameters):
+        print('From MacroStepPrepared/ChildProcessed to MicroStepProcessed... ')
+    
+    def _FSA_DoSimulation_MicroStepProcessed_ParentPaused_0_exec(self, parameters):
+        print('From FSA/ParentPaused to FSA/ChildDetected... ')
+        self.cbd_model = self.fsa_currentState.cbd
+    
+    def _FSA_DoSimulation_MicroStepProcessed_ParentPaused_0_guard(self, parameters):
+        return isinstance(self.fsa_currentState, CBDState)
+    
+    def _FSA_DoSimulation_MicroStepProcessed_ParentPaused_1_exec(self, parameters):
+        print('From ParentPaused to ChildNotDetected without any child to process... ')
+    
+    def _FSA_DoSimulation_MicroStepProcessed_ParentPaused_1_guard(self, parameters):
+        return not isinstance(self.fsa_currentState, CBDState)
+    
+    def _FSA_DoSimulation_MicroStepProcessed_ChildNotDetected_0_exec(self, parameters):
+        print('From ChildNotDetected to ChildProcessed... ')
+    
+    def _FSA_DoSimulation_MicroStepProcessed_ChildDetected_0_exec(self, parameters):
+        print('From ChildDetected to ChildInitialized... ')
+    
+    def _FSA_DoSimulation_MicroStepProcessed_ChildDetected_0_guard(self, parameters):
+        return self.woven_child_initialized
+    
+    def _FSA_DoSimulation_MicroStepProcessed_ChildInitialized_0_exec(self, parameters):
+        print('From ChildInitialized to ChildProcessed... ')
+    
+    def _FSA_DoSimulation_MicroStepProcessed_CBD_CheckTermination_MacroStepProcessed_0_exec(self, parameters):
+        print('From CBD/MacroStepProcessed to Terminated... ')
+    
+    def _FSA_DoSimulation_MicroStepProcessed_CBD_CheckTermination_MacroStepProcessed_0_guard(self, parameters):
+        return self.cbd_maxIterationsReached()
+    
+    def _FSA_DoSimulation_MicroStepProcessed_CBD_CheckTermination_MacroStepProcessed_1_exec(self, parameters):
+        print('From CBD/MacroStepProcessed to MacroStepPrepared... ')
+        self.cbd_currentCompIdx = 0
+        self.cbd_depGraph = self.cbd_controller.createDepGraph(self.cbd_iteration)
+        self.cbd_strongComponentList = self.cbd_controller.createStrongComponents(self.cbd_depGraph, self.cbd_iteration)
+    
+    def _FSA_DoSimulation_MicroStepProcessed_CBD_CheckTermination_MacroStepProcessed_1_guard(self, parameters):
+        return not self.cbd_maxIterationsReached()
+    
+    def _FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MacroStepPrepared_0_exec(self, parameters):
+        print('From CBD/MacroStepPrepared to MicroStepProcessed... ')
+    
+    def _FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepProcessed_0_exec(self, parameters):
+        print('From CBD/MicroStepProcessed to MicroStepPrepared')
+    
+    def _FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepProcessed_0_guard(self, parameters):
+        return self.cbd_hasNextStrongComponent()
+    
+    def _FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepProcessed_1_exec(self, parameters):
+        print('From CBD/MicroStepProcessed to ChildPaused and detecting triggered transitions... ')
+        self.updateGlobalState()
+        self.weaved_lib.dumpGlobalState(self.weaved_model, self.weaved_global_state, self.fsa_logicalTime, self.fsa_currentState)
+        self.weaved_triggered_when_transition = self.getTriggeredWhenTransition()
+        self.cbd_clock = self.cbd_clock + self.cbd_delta
+        self.cbd_iteration = self.cbd_iteration + 1
+        self.cbd_controller.advanceTimeStep()
+        print('CBD clock: ' + str(self.cbd_clock))
+        print('CBD iteration: ' + str(self.cbd_iteration))
+    
+    def _FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepProcessed_1_guard(self, parameters):
+        return not self.cbd_hasNextStrongComponent()
+    
+    def _FSA_DoSimulation_MicroStepProcessed_CBD_DoSimulation_MicroStepPrepared_0_exec(self, parameters):
+        print('From CBD/MicroStepPrepared to MicroStepProcessed...')
+        self.cbd_computeBlock()
+        self.cbd_currentCompIdx = self.cbd_currentCompIdx + 1
+    
+    def _FSA_DoSimulation_MicroStepProcessed_CBD_Terminated_0_exec(self, parameters):
+        print('From CBD/Terminated to HybridTerminated... ')
+    
+    def _FSA_DoSimulation_MicroStepProcessed_ChildPaused_0_exec(self, parameters):
+        print('From ChildPaused to NoStateEventDetected... ')
+    
+    def _FSA_DoSimulation_MicroStepProcessed_ChildPaused_0_guard(self, parameters):
+        return self.weaved_triggered_when_transition == None
+    
+    def _FSA_DoSimulation_MicroStepProcessed_ChildPaused_1_exec(self, parameters):
+        print('From ChildPaused to StateEventDetected... ')
+    
+    def _FSA_DoSimulation_MicroStepProcessed_ChildPaused_1_guard(self, parameters):
+        return self.weaved_triggered_when_transition != None
+    
+    def _FSA_DoSimulation_MicroStepProcessed_NoStateEventDetected_0_exec(self, parameters):
+        print('From NoStateEventDetected to ChildProcessed... ')
+    
+    def _FSA_DoSimulation_MicroStepProcessed_StateEventDetected_0_exec(self, parameters):
+        print('From StateEventDetected to ChildProcessed... ')
+        if self.fsa_selectedTransition == None:
+        	self.fsa_selectedTransition = self.weaved_triggered_when_transition
+    
+    def _FSA_DoSimulation_MicroStepProcessed_ChildProcessed_0_exec(self, parameters):
+        print('From FSA/MicroStepProcessed/ChildProcessed to MicroStepPrepared... ')
+    
+    def _FSA_DoSimulation_MicroStepProcessed_ChildProcessed_0_guard(self, parameters):
+        return self.fsa_selectedTransition != None
+    
+    def _FSA_DoSimulation_MicroStepProcessed_ChildProcessed_1_exec(self, parameters):
+        print('From FSA/MicroStepProcessed/ChildProcessed to FSA/CheckTermination and advancing time... ')
+        self.fsa_logicalTime = self.fsa_logicalTime + self.fsa_timestep
+        self.fsa_elapsed = self.fsa_elapsed + self.fsa_timestep
+        print(self.fsa_logicalTime)
+        print(self.fsa_elapsed)
+    
+    def _FSA_DoSimulation_MicroStepProcessed_ChildProcessed_1_guard(self, parameters):
+        return self.fsa_selectedTransition == None
+    
+    def _FSA_DoSimulation_MicroStepPrepared_0_exec(self, parameters):
+        print('From FSA/MicroStepPrepared to ParentMicroStepProcessed and attempting to take transition... ')
+        print('Transition to be taken: ' + str(self.fsa_selectedTransition))
+        self.fsa_currentState = self.fsa_selectedTransition.target
+        self.fsa_elapsed = 0
+        self.fsa_processEvent(self.fsa_currentEvent)
+        self.weaved_lib.dumpDiscreteEvent(self.weaved_model, self.fsa_logicalTime, self.fsa_currentState, self.fsa_selectedTransition)
+        self.weaved_lib.dumpGlobalState(self.weaved_model, self.weaved_global_state, self.fsa_logicalTime, self.fsa_currentState)
+        print('New state: ' + str(self.fsa_currentState))
+        print('Reading events:')
+        self.fsa_currentEvent = self.fsa_getInputEventAt(self.fsa_logicalTime)
+        self.fsa_selectedTransition = self.weaved_model.getTransitionFrom(self.fsa_currentState, self.fsa_currentEvent, self.fsa_elapsed)
+        print(self.fsa_currentEvent)
+        print(self.fsa_selectedTransition)
+    
+    def _FSA_DoSimulation_ParentMicroStepProcessed_0_exec(self, parameters):
+        print('From ParentMicroStepProcessed to ParentPaused and resetting the child... ')
+        self.woven_child_initialized = False
+    
+    def _FSA_Terminated_0_exec(self, parameters):
+        print('From FSA/Terminated to HybridTerminated... ')
+    
+    def _ParentStarted_0_exec(self, parameters):
+        print('From ParentStarted to FSA/Initialized... ')
+        self.weaved_global_state = dict()
+        self.weaved_previous_global_state = dict()
+        self.woven_child_initialized = False
+    
+    def initializeStatechart(self):
+        # enter default state
+        self.default_targets = self.states["/FSA"].getEffectiveTargetStates()
+        RuntimeClassBase.initializeStatechart(self)
+
+class ObjectManager(ObjectManagerBase):
+    def __init__(self, controller):
+        ObjectManagerBase.__init__(self, controller)
+    
+    def instantiate(self, class_name, construct_params):
+        if class_name == "Weaved_CBD_FSA_Simulator":
+            instance = Weaved_CBD_FSA_Simulator(self.controller, construct_params[0], construct_params[1], construct_params[2])
+            instance.associations = {}
+        else:
+            raise Exception("Cannot instantiate class " + class_name)
+        return instance
+
+class Controller(ThreadsControllerBase):
+    def __init__(self, cbd_options, amodel, fsa_events, keep_running = None, behind_schedule_callback = None):
+        if keep_running == None: keep_running = True
+        if behind_schedule_callback == None: behind_schedule_callback = None
+        ThreadsControllerBase.__init__(self, ObjectManager(self), keep_running, behind_schedule_callback)
+        self.object_manager.createInstance("Weaved_CBD_FSA_Simulator", [cbd_options, amodel, fsa_events])

debugging_fsa_cbd_composition/fsa_cbd_simulator/weaved_runner.py

@@ -0,0 +1,73 @@
+'''
+Created on 10-sep.-2014
+
+@author: Bruno
+'''
+#from bokeh.plotting import figure, output_file, show
+from fsaclasses import State, Transition, After, Float, FSAModel, Event, RunTimeEvent, Events
+from fsa_cbd_weaved_classes import CBDState
+from CBDMultipleOutput.models.HarmonicOscilator import CircleCBDDerivative
+from weaved_cbd_fsa_simulator import Controller
+from Options import Options
+from models.bouncingball import BouncingBallFSA
+import os
+from weaved_cbd_fsa_lib import FSACBDLib
+
+CBD_DELTA = 0.01
+
+def buildModel():
+    statea = State("a")
+    stateb = State("b")
+    statec = CBDState("c", CircleCBDDerivative("Harmonic Oscilator", CBD_DELTA))
+    #statec = State("c")
+    stated = State("d")
+    statef = State("f", True)
+    
+    transitionab = Transition("a2b",statea,stateb)
+    transitionab.trigger = After(Float(5.0))
+    
+    transitionbc = Transition("b2c",stateb,statec)
+    transitionbc.trigger = After(Float(2.0))
+
+    transitioncd = Transition("c2d",statec,stated)
+    transitioncd.trigger = Event("c")
+
+    transitiondf = Transition("d2f",stated,statef)
+    transitiondf.trigger = After(Float(5.0))
+
+    fsamodel = FSAModel(
+                        [statea,stateb,statec,stated],
+                        [transitionab,transitionbc,transitioncd,transitiondf]
+                        )
+    fsamodel.initialState = statea
+    return fsamodel
+
+if __name__ == '__main__':
+    
+    if os.path.exists(FSACBDLib.OUTPUT_EVENTS):
+        os.remove(FSACBDLib.OUTPUT_EVENTS)
+    if os.path.exists(FSACBDLib.OUTPUT_SIGNALS):
+        os.remove(FSACBDLib.OUTPUT_SIGNALS)
+    
+    options = Options(delta = CBD_DELTA)
+    options.setMaxIterations(10000);
+    fsamodel = BouncingBallFSA()
+    events = Events([RunTimeEvent('kick',13.0), RunTimeEvent('kick',23.0), RunTimeEvent('kick',37.0) ,RunTimeEvent('enough',60.0)])
+    #events = Events([RunTimeEvent('enough',25.0)])
+    controller = Controller(options, fsamodel, events, keep_running=False)
+    controller.start()
+    
+    '''
+    cbdModel = fsamodel.states[2].cbd;
+    
+    times = []
+    values = []
+    for timeValuePair in cbdModel.getSignal("neg"):
+        times.append(timeValuePair.time)
+        values.append(timeValuePair.value)
+        
+    output_file("./plot.html", title="Plot")
+    p = figure(title="Something vs Otherthing", x_axis_label="Time", y_axis_label="Values")
+    p.line(times, values, legend="Something", line_width=1, line_color="red")
+    show(p)
+    '''

debugging_fsa_cbd_composition/fsa_cbd_simulator/woven_fsa_cbd_simulator_hierarchical.xml

@@ -0,0 +1,532 @@
+<?xml version="1.0" ?>
+<diagram name="Weaved_CBD_FSA_Simulator_Manual" author="Sadaf Mustafiz and Bruno Barroca and Claudio Gomes">
+	<description>
+		Automatically woven CBD and FSA simulators with the FSA being the dominant.
+	</description>
+	<top>
+		<![CDATA[
+			from sccd.runtime.libs.ui import *
+			from sccd.runtime.libs.utils import *
+			import copy
+			from CBD_Controller import CBDController
+			import Options
+			from fsa_cbd_weaved_classes import CBDState
+			from weaved_cbd_fsa_lib import FSACBDLib
+		]]>
+	</top>
+	<class name="Weaved_CBD_FSA_Simulator" default="True">
+		<attribute name="weaved_global_state"/>
+		<attribute name="fsa_elapsed"/>
+		<attribute name="cbd_options"/>
+		<attribute name="weaved_lib"/>
+		<attribute name="woven_child_initialized"/>
+		<attribute name="cbd_clock"/>
+		<attribute name="fsa_currentEvent"/>
+		<attribute name="weaved_delta"/>
+		<attribute name="weaved_model"/>
+		<attribute name="cbd_controller"/>
+		<attribute name="fsa_timestep"/>
+		<attribute name="cbd_currentCompIdx"/>
+		<attribute name="fsa_eventList"/>
+		<attribute name="cbd_depGraph"/>
+		<attribute name="fsa_selectedTransition"/>
+		<attribute name="cbd_strongComponentList"/>
+		<attribute name="weaved_previous_global_state"/>
+		<attribute name="cbd_delta"/>
+		<attribute name="weaved_triggered_when_transition"/>
+		<attribute name="cbd_iteration"/>
+		<attribute name="fsa_logicalTime"/>
+		<attribute name="fsa_currentState"/>
+		<method name="Weaved_CBD_FSA_Simulator">
+			<parameter name="cbd_options"/>
+			<parameter name="amodel"/>
+			<parameter name="fsa_events"/>
+			<body>
+			<![CDATA[
+				self.weaved_lib = FSACBDLib()
+				self.cbd_options = cbd_options
+				self.cbd_delta = self.cbd_options.getDeltaT()
+				self.weaved_model = amodel
+				self.fsa_eventList = fsa_events
+				self.fsa_timestep = 1.0
+			]]>
+			</body>
+		</method>
+		<method name="fsa_processEvent">
+			<parameter name="event"/>
+			<body>
+			<![CDATA[
+				if (event != None):
+					self.fsa_eventList.popEvent(event)
+					event.processed = True
+			]]>
+			</body>
+		</method>
+		<method name="updateCBDState">
+			<body>
+			<![CDATA[
+				self.weaved_lib.updateCBDState(self.weaved_global_state, self.fsa_currentState.cbd)
+			]]>
+			</body>
+		</method>
+		<method name="cbd_maxIterationsReached">
+			<body>
+			<![CDATA[
+				return self.cbd_iteration >= self.cbd_options.getMaxIterations()
+			]]>
+			</body>
+		</method>
+		<method name="fsa_getInputEventAt">
+			<parameter name="time"/>
+			<body>
+			<![CDATA[
+				return self.fsa_eventList.getInputAt(time)
+			]]>
+			</body>
+		</method>
+		<method name="cbd_computeBlock">
+			<body>
+			<![CDATA[
+				if self.cbd_currentComponentIsCycle():
+					self.cbd_controller.computeNextAlgebraicLoop(self.cbd_strongComponentList[self.cbd_currentCompIdx], self.cbd_iteration)
+				else:
+					self.cbd_controller.computeNextBlock(self.cbd_strongComponentList[self.cbd_currentCompIdx], self.cbd_iteration)
+			]]>
+			</body>
+		</method>
+		<method name="updateGlobalState">
+			<body>
+			<![CDATA[
+				self.weaved_previous_global_state = copy.deepcopy(self.weaved_global_state)
+				self.weaved_lib.updateGlobalState(self.weaved_global_state, self.fsa_currentState.cbd, self.cbd_clock)
+			]]>
+			</body>
+		</method>
+		<method name="cbd_currentComponentIsCycle">
+			<body>
+			<![CDATA[
+				return self.cbd_controller.componentIsCycle(self.cbd_strongComponentList[self.cbd_currentCompIdx], self.cbd_depGraph)
+			]]>
+			</body>
+		</method>
+		<method name="cbd_hasNextStrongComponent">
+			<body>
+			<![CDATA[
+				return (self.cbd_currentCompIdx) < len(self.cbd_strongComponentList)
+			]]>
+			</body>
+		</method>
+		<method name="getTriggeredWhenTransition">
+			<body>
+			<![CDATA[
+				return self.weaved_lib.getTriggeredWhenTransition(self.weaved_model, self.fsa_currentState, self.weaved_global_state, self.weaved_previous_global_state)
+			]]>
+			</body>
+		</method>
+		<scxml initial="FSA" final="HybridTerminated">
+			<state id="FSA" initial="Started">
+				<state id="Started">
+					<transition target="../../ParentStarted">
+						<script>
+							<![CDATA[
+								print('From FSA/Started to ParentStarted... ')
+								self.weaved_delta = min(self.fsa_timestep, self.cbd_delta)
+								self.fsa_logicalTime = 0.0
+								self.fsa_elapsed = 0
+								self.fsa_timestep = self.weaved_delta
+								self.fsa_currentState = self.weaved_model.initialState
+							]]>
+						</script>
+					</transition>
+				</state>
+				<state id="Initialized">
+					<transition target="../CheckTermination">
+						<script>
+							<![CDATA[
+								print('From FSA/Initialized to FSA/CheckTermination... ')
+							]]>
+						</script>
+					</transition>
+				</state>
+				<state id="CheckTermination" initial="MacroStepProcessed">
+					<state id="MacroStepProcessed">
+						<transition target="../../DoSimulation" cond="not self.fsa_currentState.final">
+							<script>
+								<![CDATA[
+									print('From FSA/CheckTermination/MacroStepProcessed to FSA/DoSimulation and reading events... ')
+									self.fsa_currentEvent = self.fsa_getInputEventAt(self.fsa_logicalTime)
+									self.fsa_selectedTransition = self.weaved_model.getTransitionFrom(self.fsa_currentState, self.fsa_currentEvent, self.fsa_elapsed)
+									print('Current event:' + str(self.fsa_currentEvent))
+									print('Current transition:' + str(self.fsa_selectedTransition))
+									print('Child detected?:' + str(isinstance(self.fsa_currentState, CBDState)))
+								]]>
+							</script>
+						</transition>
+						<transition target="../../Terminated" cond="self.fsa_currentState.final">
+							<script>
+								<![CDATA[
+									print('From FSA/CheckTermination/MacroStepProcessed to Terminated... ')
+								]]>
+							</script>
+						</transition>
+					</state>
+				</state>
+				<state id="DoSimulation" initial="MacroStepPrepared">
+					<state id="MacroStepPrepared" initial="ParentPaused">
+						<state id="ParentPaused">
+							<transition target="../ChildDetected" cond="isinstance(self.fsa_currentState, CBDState)">
+								<script>
+									<![CDATA[
+										print('From FSA/ParentPaused to FSA/ChildDetected... ')
+										self.cbd_model = self.fsa_currentState.cbd
+									]]>
+								</script>
+							</transition>
+							<transition target="../ChildNotDetected" cond="not isinstance(self.fsa_currentState, CBDState)">
+								<script>
+									<![CDATA[
+										print('From ParentPaused to ChildNotDetected without any child to process... ')
+									]]>
+								</script>
+							</transition>
+						</state>
+						<state id="ChildNotDetected">
+							<transition target="../ChildProcessed">
+								<script>
+									<![CDATA[
+										print('From ChildNotDetected to ChildProcessed... ')
+									]]>
+								</script>
+							</transition>
+						</state>
+						<state id="ChildDetected">
+							<transition target="../ChildInitialized" cond="self.woven_child_initialized">
+								<script>
+									<![CDATA[
+										print('From ChildDetected to ChildInitialized... ')
+									]]>
+								</script>
+							</transition>
+							<transition target="../ChildNotInitialized" cond="not self.woven_child_initialized">
+								<script>
+									<![CDATA[
+										print('From ChildDetected to ChildNotInitialized... ')
+									]]>
+								</script>
+							</transition>
+						</state>
+						<state id="ChildInitialized">
+							<transition target="../ChildProcessed">
+								<script>
+									<![CDATA[
+										print('From ChildInitialized to ChildProcessed... ')
+									]]>
+								</script>
+							</transition>
+						</state>
+						<state id="ChildNotInitialized">
+							<transition target="../CBD/Started">
+								<script>
+									<![CDATA[
+										print('From ChildNotInitialized to CBD/Started... ')
+										self.cbd_delta = self.weaved_delta
+										self.updateCBDState()
+										self.woven_child_initialized = True
+									]]>
+								</script>
+							</transition>
+						</state>
+						<state id="CBD" initial="Started">
+							<state id="Started">
+								<transition target="../Initialized">
+									<script>
+										<![CDATA[
+											print('From CBD/Started to Initialized... ')
+											print('Performing initialization...')
+											self.cbd_iteration = 0
+											self.cbd_clock = 0
+											self.cbd_controller = CBDController(self.cbd_model, self.cbd_delta)
+											self.cbd_controller.initSimulation()
+											print('Performing initialization... DONE')
+										]]>
+									</script>
+								</transition>
+							</state>
+							<state id="Initialized">
+								<transition target="../../ChildInitialized">
+									<script>
+										<![CDATA[
+											print('From CBD/Initialized to ChildInitialized... ')
+										]]>
+									</script>
+								</transition>
+							</state>
+						</state>
+						<state id="ChildProcessed">
+							<transition target="../../MicroStepProcessed">
+								<script>
+									<![CDATA[
+										print('From MacroStepPrepared/ChildProcessed to MicroStepProcessed... ')
+									]]>
+								</script>
+							</transition>
+						</state>
+					</state>
+					<state id="MicroStepProcessed" initial="ParentPaused">
+						<state id="ParentPaused">
+							<transition target="../ChildDetected" cond="isinstance(self.fsa_currentState, CBDState)">
+								<script>
+									<![CDATA[
+										print('From FSA/ParentPaused to FSA/ChildDetected... ')
+										self.cbd_model = self.fsa_currentState.cbd
+									]]>
+								</script>
+							</transition>
+							<transition target="../ChildNotDetected" cond="not isinstance(self.fsa_currentState, CBDState)">
+								<script>
+									<![CDATA[
+										print('From ParentPaused to ChildNotDetected without any child to process... ')
+									]]>
+								</script>
+							</transition>
+						</state>
+						<state id="ChildNotDetected">
+							<transition target="../ChildProcessed">
+								<script>
+									<![CDATA[
+										print('From ChildNotDetected to ChildProcessed... ')
+									]]>
+								</script>
+							</transition>
+						</state>
+						<state id="ChildDetected">
+							<transition target="../ChildInitialized" cond="self.woven_child_initialized">
+								<script>
+									<![CDATA[
+										print('From ChildDetected to ChildInitialized... ')
+									]]>
+								</script>
+							</transition>
+						</state>
+						<state id="ChildInitialized">
+							<transition target="../CBD/CheckTermination">
+								<script>
+									<![CDATA[
+										print('From ChildInitialized to ChildProcessed... ')
+									]]>
+								</script>
+							</transition>
+						</state>
+						<state id="CBD" initial="CheckTermination">
+							<state id="CheckTermination" initial="MacroStepProcessed">
+								<state id="MacroStepProcessed">
+									<transition target="../../Terminated" cond="self.cbd_maxIterationsReached()">
+										<script>
+											<![CDATA[
+												print('From CBD/MacroStepProcessed to Terminated... ')
+											]]>
+										</script>
+									</transition>
+									<transition target="../../DoSimulation" cond="not self.cbd_maxIterationsReached()">
+										<script>
+											<![CDATA[
+												print('From CBD/MacroStepProcessed to MacroStepPrepared... ')
+												self.cbd_currentCompIdx = 0
+												self.cbd_depGraph = self.cbd_controller.createDepGraph(self.cbd_iteration)
+												self.cbd_strongComponentList = self.cbd_controller.createStrongComponents(self.cbd_depGraph, self.cbd_iteration)
+											]]>
+										</script>
+									</transition>
+								</state>
+							</state>
+							<state id="DoSimulation" initial="MacroStepPrepared">
+								<state id="MacroStepPrepared">
+									<transition target="../MicroStepProcessed">
+										<script>
+											<![CDATA[
+												print('From CBD/MacroStepPrepared to MicroStepProcessed... ')
+											]]>
+										</script>
+									</transition>
+								</state>
+								<state id="MicroStepProcessed">
+									<transition target="../MicroStepPrepared" cond="self.cbd_hasNextStrongComponent()">
+										<script>
+											<![CDATA[
+												print('From CBD/MicroStepProcessed to MicroStepPrepared')
+											]]>
+										</script>
+									</transition>
+									<transition target="../../../ChildPaused" cond="not self.cbd_hasNextStrongComponent()">
+										<script>
+											<![CDATA[
+												print('From CBD/MicroStepProcessed to ChildPaused and detecting triggered transitions... ')
+												self.updateGlobalState()
+												self.weaved_lib.dumpGlobalState(self.weaved_model, self.weaved_global_state, self.fsa_logicalTime, self.fsa_currentState)
+												self.weaved_triggered_when_transition = self.getTriggeredWhenTransition()
+												self.cbd_clock = self.cbd_clock + self.cbd_delta
+												self.cbd_iteration = self.cbd_iteration + 1
+												self.cbd_controller.advanceTimeStep()
+												print('CBD clock: ' + str(self.cbd_clock))
+												print('CBD iteration: ' + str(self.cbd_iteration))
+											]]>
+										</script>
+									</transition>
+								</state>
+								<state id="MicroStepPrepared">
+									<transition target="../MicroStepProcessed">
+										<script>
+											<![CDATA[
+												print('From CBD/MicroStepPrepared to MicroStepProcessed...')
+												self.cbd_computeBlock()
+												self.cbd_currentCompIdx = self.cbd_currentCompIdx + 1
+											]]>
+										</script>
+									</transition>
+								</state>
+							</state>
+							<state id="Terminated">
+								<transition target="../../../../../HybridTerminated">
+									<script>
+										<![CDATA[
+											print('From CBD/Terminated to HybridTerminated... ')
+										]]>
+									</script>
+								</transition>
+							</state>
+						</state>
+						<state id="ChildPaused">
+							<transition target="../NoStateEventDetected" cond="self.weaved_triggered_when_transition == None">
+								<script>
+									<![CDATA[
+										print('From ChildPaused to NoStateEventDetected... ')
+									]]>
+								</script>
+							</transition>
+							<transition target="../StateEventDetected" cond="self.weaved_triggered_when_transition != None">
+								<script>
+									<![CDATA[
+										print('From ChildPaused to StateEventDetected... ')
+									]]>
+								</script>
+							</transition>
+						</state>
+						<state id="NoStateEventDetected">
+							<transition target="../ChildProcessed">
+								<script>
+									<![CDATA[
+										print('From NoStateEventDetected to ChildProcessed... ')
+									]]>
+								</script>
+							</transition>
+						</state>
+						<state id="StateEventDetected">
+							<transition target="../ChildProcessed">
+								<script>
+									<![CDATA[
+										print('From StateEventDetected to ChildProcessed... ')
+										if self.fsa_selectedTransition == None:
+											self.fsa_selectedTransition = self.weaved_triggered_when_transition
+									]]>
+								</script>
+							</transition>
+						</state>
+						<state id="ChildProcessed">
+							<transition target="../../MicroStepPrepared" cond="self.fsa_selectedTransition != None">
+								<script>
+									<![CDATA[
+										print('From FSA/MicroStepProcessed/ChildProcessed to MicroStepPrepared... ')
+									]]>
+								</script>
+							</transition>
+							<transition target="../../../CheckTermination" cond="self.fsa_selectedTransition == None">
+								<script>
+									<![CDATA[
+										print('From FSA/MicroStepProcessed/ChildProcessed to FSA/CheckTermination and advancing time... ')
+										self.fsa_logicalTime = self.fsa_logicalTime + self.fsa_timestep
+										self.fsa_elapsed = self.fsa_elapsed + self.fsa_timestep
+										print(self.fsa_logicalTime)
+										print(self.fsa_elapsed)
+									]]>
+								</script>
+							</transition>
+						</state>
+					</state>
+					<state id="MicroStepPrepared">
+						<transition target="../ParentMicroStepProcessed">
+							<script>
+								<![CDATA[
+									print('From FSA/MicroStepPrepared to ParentMicroStepProcessed and attempting to take transition... ')
+									print('Transition to be taken: ' + str(self.fsa_selectedTransition))
+									self.fsa_currentState = self.fsa_selectedTransition.target
+									self.fsa_elapsed = 0
+									self.fsa_processEvent(self.fsa_currentEvent)
+									self.weaved_lib.dumpDiscreteEvent(self.weaved_model, self.fsa_logicalTime, self.fsa_currentState, self.fsa_selectedTransition)
+									self.weaved_lib.dumpGlobalState(self.weaved_model, self.weaved_global_state, self.fsa_logicalTime, self.fsa_currentState)
+									print('New state: ' + str(self.fsa_currentState))
+									print('Reading events:')
+									self.fsa_currentEvent = self.fsa_getInputEventAt(self.fsa_logicalTime)
+									self.fsa_selectedTransition = self.weaved_model.getTransitionFrom(self.fsa_currentState, self.fsa_currentEvent, self.fsa_elapsed)
+									print(self.fsa_currentEvent)
+									print(self.fsa_selectedTransition)
+								]]>
+							</script>
+						</transition>
+						<transition target="../MicroStepProcessed" cond="False">
+							<script>
+								<![CDATA[
+									print('From FSA/MicroStepPrepared to MicroStepProcessed and attempting to take transition... ')
+									print('Transition to be taken: ' + str(self.fsa_selectedTransition))
+									self.fsa_currentState = self.fsa_selectedTransition.target
+									self.fsa_elapsed = 0
+									self.fsa_processEvent(self.fsa_currentEvent)
+									self.weaved_lib.dumpDiscreteEvent(self.weaved_model, self.fsa_logicalTime, self.fsa_currentState, self.fsa_selectedTransition)
+									self.weaved_lib.dumpGlobalState(self.weaved_model, self.weaved_global_state, self.fsa_logicalTime, self.fsa_currentState)
+									print('New state: ' + str(self.fsa_currentState))
+									print('Reading events:')
+									self.fsa_currentEvent = self.fsa_getInputEventAt(self.fsa_logicalTime)
+									self.fsa_selectedTransition = self.weaved_model.getTransitionFrom(self.fsa_currentState, self.fsa_currentEvent, self.fsa_elapsed)
+									print(self.fsa_currentEvent)
+									print(self.fsa_selectedTransition)
+								]]>
+							</script>
+						</transition>
+					</state>
+					<state id="ParentMicroStepProcessed">
+						<transition target="../MacroStepPrepared">
+							<script>
+								<![CDATA[
+									print('From ParentMicroStepProcessed to ParentPaused and resetting the child... ')
+									self.woven_child_initialized = False
+								]]>
+							</script>
+						</transition>
+					</state>
+				</state>
+				<state id="Terminated">
+					<transition target="../../HybridTerminated">
+						<script>
+							<![CDATA[
+								print('From FSA/Terminated to HybridTerminated... ')
+							]]>
+						</script>
+					</transition>
+				</state>
+			</state>
+			<state id="ParentStarted">
+				<transition target="../FSA/Initialized">
+					<script>
+						<![CDATA[
+							print('From ParentStarted to FSA/Initialized... ')
+							self.weaved_global_state = dict()
+							self.weaved_previous_global_state = dict()
+							self.woven_child_initialized = False
+						]]>
+					</script>
+				</transition>
+			</state>
+			<state id="HybridTerminated">
+			</state>
+		</scxml>
+	</class>
+</diagram>