# $Revision: 1.1.4.2 $
Model {
  Name			  "sf_elevator"
  Version		  6.2
  MdlSubVersion		  0
  GraphicalInterface {
    NumRootInports	    0
    NumRootOutports	    0
    ParameterArgumentNames  ""
    ComputedModelVersion    "1.315"
    NumModelReferences	    0
    NumTestPointedSignals   0
  }
  SavedCharacterEncoding  "US-ASCII"
  SaveDefaultBlockParams  on
  SampleTimeColors	  off
  LibraryLinkDisplay	  "none"
  WideLines		  off
  ShowLineDimensions	  off
  ShowPortDataTypes	  off
  ShowLoopsOnError	  on
  IgnoreBidirectionalLines off
  ShowStorageClass	  off
  ShowTestPointIcons	  on
  ShowViewerIcons	  on
  SortedOrder		  off
  ExecutionContextIcon	  off
  ShowLinearizationAnnotations on
  RecordCoverage	  off
  CovPath		  "/"
  CovSaveName		  "covdata"
  CovMetricSettings	  "dcmtr"
  CovNameIncrementing	  off
  CovHtmlReporting	  on
  covSaveCumulativeToWorkspaceVar on
  CovSaveSingleToWorkspaceVar on
  CovCumulativeVarName	  "covCumulativeData"
  CovCumulativeReport	  off
  CovReportOnPause	  on
  ScopeRefreshTime	  0.035000
  OverrideScopeRefreshTime on
  DisableAllScopes	  off
  DataTypeOverride	  "UseLocalSettings"
  MinMaxOverflowLogging	  "UseLocalSettings"
  MinMaxOverflowArchiveMode "Overwrite"
  BlockNameDataTip	  off
  BlockParametersDataTip  off
  BlockDescriptionStringDataTip	off
  ToolBar		  on
  StatusBar		  on
  BrowserShowLibraryLinks off
  BrowserLookUnderMasks	  off
  CloseFcn		  "sf_elevator_gui('close');"
  StopFcn		  "sf_elevator_gui('close');"
  Created		  "Fri Oct 04 10:28:03 2002"
  Creator		  "The MathWorks Inc."
  UpdateHistory		  "UpdateHistoryNever"
  ModifiedByFormat	  "%<Auto>"
  LastModifiedBy	  "batserve"
  ModifiedDateFormat	  "%<Auto>"
  LastModifiedDate	  "Sat Jan 22 19:11:59 2005"
  ModelVersionFormat	  "1.%<AutoIncrement:315>"
  ConfigurationManager	  "None"
  LinearizationMsg	  "none"
  Profile		  off
  ParamWorkspaceSource	  "MATLABWorkspace"
  AccelSystemTargetFile	  "accel.tlc"
  AccelTemplateMakefile	  "accel_default_tmf"
  AccelMakeCommand	  "make_rtw"
  TryForcingSFcnDF	  off
  ExtModeBatchMode	  off
  ExtModeEnableFloating	  on
  ExtModeTrigType	  "manual"
  ExtModeTrigMode	  "normal"
  ExtModeTrigPort	  "1"
  ExtModeTrigElement	  "any"
  ExtModeTrigDuration	  1000
  ExtModeTrigDurationFloating "auto"
  ExtModeTrigHoldOff	  0
  ExtModeTrigDelay	  0
  ExtModeTrigDirection	  "rising"
  ExtModeTrigLevel	  0
  ExtModeArchiveMode	  "off"
  ExtModeAutoIncOneShot	  off
  ExtModeIncDirWhenArm	  off
  ExtModeAddSuffixToVar	  off
  ExtModeWriteAllDataToWs off
  ExtModeArmWhenConnect	  on
  ExtModeSkipDownloadWhenConnect off
  ExtModeLogAll		  on
  ExtModeAutoUpdateStatusClock off
  BufferReuse		  on
  StrictBusMsg		  "None"
  ProdHWDeviceType	  "32-bit Generic"
  ShowModelReferenceBlockVersion off
  ShowModelReferenceBlockIO off
  Array {
    Type		    "Handle"
    Dimension		    1
    Simulink.ConfigSet {
      $ObjectID		      1
      Version		      "1.1.0"
      Array {
	Type			"Handle"
	Dimension		7
	Simulink.SolverCC {
	  $ObjectID		  2
	  Version		  "1.1.0"
	  StartTime		  "0.0"
	  StopTime		  "inf"
	  AbsTol		  "auto"
	  FixedStep		  "auto"
	  InitialStep		  "auto"
	  MaxNumMinSteps	  "-1"
	  MaxOrder		  5
	  ExtrapolationOrder	  4
	  NumberNewtonIterations  1
	  MaxStep		  "auto"
	  MinStep		  "auto"
	  RelTol		  "1e-3"
	  SolverMode		  "Auto"
	  Solver		  "ode45"
	  SolverName		  "ode45"
	  ZeroCrossControl	  "UseLocalSettings"
	  AlgebraicLoopSolver	  "TrustRegion"
	  SolverResetMethod	  "Fast"
	  PositivePriorityOrder	  off
	  AutoInsertRateTranBlk	  off
	  SampleTimeConstraint	  "Unconstrained"
	  RateTranMode		  "Deterministic"
	}
	Simulink.DataIOCC {
	  $ObjectID		  3
	  Version		  "1.1.0"
	  Decimation		  "1"
	  ExternalInput		  "[t, u]"
	  FinalStateName	  "xFinal"
	  InitialState		  "xInitial"
	  LimitDataPoints	  on
	  MaxDataPoints		  "1000"
	  LoadExternalInput	  off
	  LoadInitialState	  off
	  SaveFinalState	  off
	  SaveFormat		  "Array"
	  SaveOutput		  on
	  SaveState		  off
	  SignalLogging		  on
	  SaveTime		  on
	  StateSaveName		  "xout"
	  TimeSaveName		  "tout"
	  OutputSaveName	  "yout"
	  SignalLoggingName	  "sigsOut"
	  OutputOption		  "RefineOutputTimes"
	  OutputTimes		  "[]"
	  Refine		  "1"
	}
	Simulink.OptimizationCC {
	  $ObjectID		  4
	  Array {
	    Type		    "Cell"
	    Dimension		    5
	    Cell		    "ZeroExternalMemoryAtStartup"
	    Cell		    "ZeroInternalMemoryAtStartup"
	    Cell		    "InitFltsAndDblsToZero"
	    Cell		    "OptimizeModelRefInitCode"
	    Cell		    "NoFixptDivByZeroProtection"
	    PropName		    "DisabledProps"
	  }
	  Version		  "1.1.0"
	  BlockReduction	  on
	  BooleanDataType	  on
	  ConditionallyExecuteInputs on
	  InlineParams		  off
	  InlineInvariantSignals  on
	  OptimizeBlockIOStorage  on
	  BufferReuse		  on
	  EnforceIntegerDowncast  on
	  ExpressionFolding	  on
	  FoldNonRolledExpr	  on
	  LocalBlockOutputs	  on
	  ParameterPooling	  on
	  RollThreshold		  5
	  SystemCodeInlineAuto	  off
	  StateBitsets		  off
	  DataBitsets		  off
	  UseTempVars		  off
	  ZeroExternalMemoryAtStartup on
	  ZeroInternalMemoryAtStartup on
	  InitFltsAndDblsToZero	  on
	  NoFixptDivByZeroProtection off
	  EfficientFloat2IntCast  off
	  OptimizeModelRefInitCode off
	  LifeSpan		  "inf"
	  BufferReusableBoundary  on
	}
	Simulink.DebuggingCC {
	  $ObjectID		  5
	  Version		  "1.1.0"
	  RTPrefix		  "error"
	  ConsistencyChecking	  "none"
	  ArrayBoundsChecking	  "none"
	  SignalInfNanChecking	  "none"
	  AlgebraicLoopMsg	  "warning"
	  ArtificialAlgebraicLoopMsg "warning"
	  CheckSSInitialOutputMsg on
	  CheckExecutionContextPreStartOutputMsg off
	  CheckExecutionContextRuntimeOutputMsg	off
	  SignalResolutionControl "TryResolveAllWithWarning"
	  BlockPriorityViolationMsg "warning"
	  MinStepSizeMsg	  "warning"
	  SolverPrmCheckMsg	  "none"
	  InheritedTsInSrcMsg	  "warning"
	  DiscreteInheritContinuousMsg "warning"
	  MultiTaskDSMMsg	  "warning"
	  MultiTaskRateTransMsg	  "error"
	  SingleTaskRateTransMsg  "none"
	  TasksWithSamePriorityMsg "warning"
	  CheckMatrixSingularityMsg "none"
	  IntegerOverflowMsg	  "warning"
	  Int32ToFloatConvMsg	  "warning"
	  ParameterDowncastMsg	  "error"
	  ParameterOverflowMsg	  "error"
	  ParameterPrecisionLossMsg "warning"
	  UnderSpecifiedDataTypeMsg "none"
	  UnnecessaryDatatypeConvMsg "none"
	  VectorMatrixConversionMsg "none"
	  InvalidFcnCallConnMsg	  "error"
	  FcnCallInpInsideContextMsg "Use local settings"
	  SignalLabelMismatchMsg  "none"
	  UnconnectedInputMsg	  "warning"
	  UnconnectedOutputMsg	  "warning"
	  UnconnectedLineMsg	  "warning"
	  SFcnCompatibilityMsg	  "none"
	  UniqueDataStoreMsg	  "none"
	  BusObjectLabelMismatch  "warning"
	  RootOutportRequireBusObject "warning"
	  AssertControl		  "UseLocalSettings"
	  EnableOverflowDetection off
	  ModelReferenceIOMsg	  "none"
	  ModelReferenceVersionMismatchMessage "none"
	  ModelReferenceIOMismatchMessage "none"
	  ModelReferenceCSMismatchMessage "none"
	  ModelReferenceSimTargetVerbose off
	  UnknownTsInhSupMsg	  "warning"
	  ModelReferenceDataLoggingMessage "warning"
	  ModelReferenceSymbolNameMessage "warning"
	  ModelReferenceExtraNoncontSigs "error"
	}
	Simulink.HardwareCC {
	  $ObjectID		  6
	  Version		  "1.1.0"
	  ProdBitPerChar	  8
	  ProdBitPerShort	  16
	  ProdBitPerInt		  32
	  ProdBitPerLong	  32
	  ProdIntDivRoundTo	  "Undefined"
	  ProdEndianess		  "Unspecified"
	  ProdWordSize		  32
	  ProdShiftRightIntArith  on
	  ProdHWDeviceType	  "32-bit Generic"
	  TargetBitPerChar	  8
	  TargetBitPerShort	  16
	  TargetBitPerInt	  32
	  TargetBitPerLong	  32
	  TargetShiftRightIntArith on
	  TargetIntDivRoundTo	  "Undefined"
	  TargetEndianess	  "Unspecified"
	  TargetWordSize	  32
	  TargetTypeEmulationWarnSuppressLevel 0
	  TargetPreprocMaxBitsSint 32
	  TargetPreprocMaxBitsUint 32
	  TargetHWDeviceType	  "Specified"
	  TargetUnknown		  on
	  ProdEqTarget		  on
	}
	Simulink.ModelReferenceCC {
	  $ObjectID		  7
	  Version		  "1.1.0"
	  UpdateModelReferenceTargets "IfOutOfDateOrStructuralChange"
	  CheckModelReferenceTargetMessage "error"
	  ModelReferenceNumInstancesAllowed "Multi"
	  ModelReferencePassRootInputsByReference on
	  ModelReferenceMinAlgLoopOccurrences off
	}
	Simulink.RTWCC {
	  $BackupClass		  "Simulink.RTWCC"
	  $ObjectID		  8
	  Array {
	    Type		    "Cell"
	    Dimension		    1
	    Cell		    "IncludeHyperlinkInReport"
	    PropName		    "DisabledProps"
	  }
	  Version		  "1.1.0"
	  SystemTargetFile	  "grt.tlc"
	  GenCodeOnly		  off
	  MakeCommand		  "make_rtw"
	  TemplateMakefile	  "grt_default_tmf"
	  GenerateReport	  off
	  SaveLog		  off
	  RTWVerbose		  on
	  RetainRTWFile		  off
	  ProfileTLC		  off
	  TLCDebug		  off
	  TLCCoverage		  off
	  TLCAssert		  off
	  ProcessScriptMode	  "Default"
	  ConfigurationMode	  "Optimized"
	  ConfigAtBuild		  off
	  IncludeHyperlinkInReport off
	  LaunchReport		  off
	  TargetLang		  "C"
	  Array {
	    Type		    "Handle"
	    Dimension		    2
	    Simulink.CodeAppCC {
	      $ObjectID		      9
	      Array {
		Type			"Cell"
		Dimension		9
		Cell			"IgnoreCustomStorageClasses"
		Cell			"InsertBlockDesc"
		Cell			"SFDataObjDesc"
		Cell			"SimulinkDataObjDesc"
		Cell			"DefineNamingRule"
		Cell			"SignalNamingRule"
		Cell			"ParamNamingRule"
		Cell			"InlinedPrmAccess"
		Cell			"CustomSymbolStr"
		PropName		"DisabledProps"
	      }
	      Version		      "1.1.0"
	      ForceParamTrailComments off
	      GenerateComments	      on
	      IgnoreCustomStorageClasses on
	      IncHierarchyInIds	      off
	      MaxIdLength	      31
	      PreserveName	      off
	      PreserveNameWithParent  off
	      ShowEliminatedStatement off
	      IncAutoGenComments      off
	      SimulinkDataObjDesc     off
	      SFDataObjDesc	      off
	      IncDataTypeInIds	      off
	      PrefixModelToSubsysFcnNames on
	      CustomSymbolStr	      "$R$N$M"
	      MangleLength	      1
	      DefineNamingRule	      "None"
	      ParamNamingRule	      "None"
	      SignalNamingRule	      "None"
	      InsertBlockDesc	      off
	      SimulinkBlockComments   on
	      EnableCustomComments    off
	      InlinedPrmAccess	      "Literals"
	      ReqsInCode	      off
	    }
	    Simulink.GRTTargetCC {
	      $BackupClass	      "Simulink.TargetCC"
	      $ObjectID		      10
	      Array {
		Type			"Cell"
		Dimension		12
		Cell			"IncludeMdlTerminateFcn"
		Cell			"CombineOutputUpdateFcns"
		Cell			"SuppressErrorStatus"
		Cell			"ERTCustomFileBanners"
		Cell			"GenerateSampleERTMain"
		Cell			"MultiInstanceERTCode"
		Cell			"PurelyIntegerCode"
		Cell			"SupportNonFinite"
		Cell			"SupportComplex"
		Cell			"SupportAbsoluteTime"
		Cell			"SupportContinuousTime"
		Cell			"SupportNonInlinedSFcns"
		PropName		"DisabledProps"
	      }
	      Version		      "1.1.0"
	      TargetFcnLib	      "ansi_tfl_tmw.mat"
	      TargetLibSuffix	      ""
	      TargetPreCompLibLocation ""
	      GenFloatMathFcnCalls    "ANSI_C"
	      UtilityFuncGeneration   "Auto"
	      GenerateFullHeader      on
	      GenerateSampleERTMain   off
	      IsPILTarget	      off
	      ModelReferenceCompliant on
	      IncludeMdlTerminateFcn  on
	      CombineOutputUpdateFcns off
	      SuppressErrorStatus     off
	      IncludeFileDelimiter    "Auto"
	      ERTCustomFileBanners    off
	      SupportAbsoluteTime     on
	      LogVarNameModifier      "rt_"
	      MatFileLogging	      on
	      MultiInstanceERTCode    off
	      SupportNonFinite	      on
	      SupportComplex	      on
	      PurelyIntegerCode	      off
	      SupportContinuousTime   on
	      SupportNonInlinedSFcns  on
	      ExtMode		      off
	      ExtModeStaticAlloc      off
	      ExtModeTesting	      off
	      ExtModeStaticAllocSize  1000000
	      ExtModeTransport	      0
	      ExtModeMexFile	      "ext_comm"
	      RTWCAPISignals	      off
	      RTWCAPIParams	      off
	      RTWCAPIStates	      off
	      GenerateASAP2	      off
	    }
	    PropName		    "Components"
	  }
	}
	PropName		"Components"
      }
      Name		      "Configuration"
      SimulationMode	      "normal"
      CurrentDlgPage	      "Solver"
    }
    PropName		    "ConfigurationSets"
  }
  Simulink.ConfigSet {
    $PropName		    "ActiveConfigurationSet"
    $ObjectID		    1
  }
  BlockDefaults {
    Orientation		    "right"
    ForegroundColor	    "black"
    BackgroundColor	    "white"
    DropShadow		    off
    NamePlacement	    "normal"
    FontName		    "Helvetica"
    FontSize		    10
    FontWeight		    "normal"
    FontAngle		    "normal"
    ShowName		    on
  }
  BlockParameterDefaults {
    Block {
      BlockType		      Constant
      Value		      "1"
      VectorParams1D	      on
      OutDataTypeMode	      "Inherit from 'Constant value'"
      OutDataType	      "sfix(16)"
      ConRadixGroup	      "Use specified scaling"
      OutScaling	      "2^0"
      SampleTime	      "inf"
    }
    Block {
      BlockType		      Demux
      Outputs		      "4"
      DisplayOption	      "none"
      BusSelectionMode	      off
    }
    Block {
      BlockType		      DiscretePulseGenerator
      PulseType		      "Sample based"
      TimeSource	      "Use simulation time"
      Amplitude		      "1"
      Period		      "2"
      PulseWidth	      "1"
      PhaseDelay	      "0"
      SampleTime	      "1"
      VectorParams1D	      on
    }
    Block {
      BlockType		      Display
      Format		      "short"
      Decimation	      "10"
      Floating		      off
      SampleTime	      "-1"
    }
    Block {
      BlockType		      Inport
      UseBusObject	      off
      BusObject		      "BusObject"
      BusOutputAsStruct	      off
      PortDimensions	      "-1"
      SampleTime	      "-1"
      DataType		      "auto"
      OutDataType	      "sfix(16)"
      OutScaling	      "2^0"
      SignalType	      "auto"
      SamplingMode	      "auto"
      Interpolate	      on
    }
    Block {
      BlockType		      Mux
      Inputs		      "4"
      DisplayOption	      "none"
      UseBusObject	      off
      BusObject		      "BusObject"
      NonVirtualBus	      off
    }
    Block {
      BlockType		      Outport
      Port		      "1"
      UseBusObject	      off
      BusObject		      "BusObject"
      BusOutputAsStruct	      off
      PortDimensions	      "-1"
      SampleTime	      "-1"
      DataType		      "auto"
      OutDataType	      "sfix(16)"
      OutScaling	      "2^0"
      SignalType	      "auto"
      SamplingMode	      "auto"
      OutputWhenDisabled      "held"
      InitialOutput	      "[]"
    }
    Block {
      BlockType		      "S-Function"
      FunctionName	      "system"
      SFunctionModules	      "''"
      PortCounts	      "[]"
    }
    Block {
      BlockType		      SubSystem
      ShowPortLabels	      on
      Permissions	      "ReadWrite"
      PermitHierarchicalResolution "All"
      SystemSampleTime	      "-1"
      RTWFcnNameOpts	      "Auto"
      RTWFileNameOpts	      "Auto"
      SimViewingDevice	      off
      DataTypeOverride	      "UseLocalSettings"
      MinMaxOverflowLogging   "UseLocalSettings"
    }
    Block {
      BlockType		      Terminator
    }
    Block {
      BlockType		      TriggerPort
      TriggerType	      "rising"
      StatesWhenEnabling      "inherit"
      ShowOutputPort	      off
      OutputDataType	      "auto"
      SampleTimeType	      "triggered"
      SampleTime	      "1"
      ZeroCross		      on
    }
  }
  AnnotationDefaults {
    HorizontalAlignment	    "center"
    VerticalAlignment	    "middle"
    ForegroundColor	    "black"
    BackgroundColor	    "white"
    DropShadow		    off
    FontName		    "Helvetica"
    FontSize		    10
    FontWeight		    "normal"
    FontAngle		    "normal"
  }
  LineDefaults {
    FontName		    "Helvetica"
    FontSize		    9
    FontWeight		    "normal"
    FontAngle		    "normal"
  }
  System {
    Name		    "sf_elevator"
    Location		    [545, 75, 1132, 508]
    Open		    on
    ModelBrowserVisibility  off
    ModelBrowserWidth	    200
    ScreenColor		    "white"
    PaperOrientation	    "landscape"
    PaperPositionMode	    "auto"
    PaperType		    "usletter"
    PaperUnits		    "inches"
    ZoomFactor		    "100"
    ReportName		    "simulink-default.rpt"
    Block {
      BlockType		      Constant
      Name		      "Car Call A"
      Position		      [90, 55, 120, 85]
      Value		      "0"
    }
    Block {
      BlockType		      Constant
      Name		      "Car Call A Floor"
      Position		      [140, 225, 170, 255]
      Value		      "0"
    }
    Block {
      BlockType		      Constant
      Name		      "Car Call B"
      Position		      [40, 90, 70, 120]
      Value		      "0"
    }
    Block {
      BlockType		      Constant
      Name		      "Car Call B Floor"
      Position		      [140, 275, 170, 305]
      Value		      "0"
    }
    Block {
      BlockType		      Display
      Name		      "Elevator A Position"
      Ports		      [1]
      Position		      [415, 200, 505, 230]
      Decimation	      "1"
    }
    Block {
      BlockType		      Display
      Name		      "Elevator B Position"
      Ports		      [1]
      Position		      [415, 300, 505, 330]
      Decimation	      "1"
    }
    Block {
      BlockType		      SubSystem
      Name		      "Elevator System"
      Ports		      [4, 2, 0, 1]
      Position		      [255, 165, 380, 365]
      TreatAsAtomicUnit	      off
      MinAlgLoopOccurrences   off
      RTWSystemCode	      "Auto"
      MaskType		      "Stateflow"
      MaskDescription	      "Stateflow diagram"
      MaskDisplay	      "plot(sf('Private','sfblk','xIcon'),sf('Private'"
",'sfblk','yIcon'));text(0.5,0,sf('Private', 'sfblk', 'tIcon'),'HorizontalAl',"
"'Center','VerticalAl','Bottom');"
      MaskSelfModifiable      on
      MaskIconFrame	      off
      MaskIconOpaque	      off
      MaskIconRotate	      "none"
      MaskIconUnits	      "autoscale"
      System {
	Name			"Elevator System"
	Location		[257, 457, 812, 717]
	Open			off
	ModelBrowserVisibility	off
	ModelBrowserWidth	200
	ScreenColor		"white"
	PaperOrientation	"landscape"
	PaperPositionMode	"auto"
	PaperType		"usletter"
	PaperUnits		"inches"
	ZoomFactor		"100"
	Block {
	  BlockType		  Inport
	  Name			  "hall_call"
	  Position		  [20, 101, 40, 119]
	  Port			  "1"
	  IconDisplay		  "Port number"
	  LatchInput		  off
	}
	Block {
	  BlockType		  Inport
	  Name			  "car_call_A"
	  Position		  [20, 136, 40, 154]
	  Port			  "2"
	  IconDisplay		  "Port number"
	  LatchInput		  off
	}
	Block {
	  BlockType		  Inport
	  Name			  "car_call_B"
	  Position		  [20, 171, 40, 189]
	  Port			  "3"
	  IconDisplay		  "Port number"
	  LatchInput		  off
	}
	Block {
	  BlockType		  Inport
	  Name			  "fire_alarm"
	  Position		  [20, 206, 40, 224]
	  Port			  "4"
	  IconDisplay		  "Port number"
	  LatchInput		  off
	}
	Block {
	  BlockType		  TriggerPort
	  Name			  " input events "
	  Ports			  [0, 1]
	  Position		  [20, 246, 40, 264]
	  TriggerType		  "either"
	  ShowOutputPort	  on
	}
	Block {
	  BlockType		  Demux
	  Name			  " Demux "
	  Ports			  [1, 1]
	  Position		  [270, 220, 320, 260]
	  Outputs		  "1"
	}
	Block {
	  BlockType		  "S-Function"
	  Name			  " SFunction "
	  Tag			  "Stateflow S-Function sf_elevator 1"
	  Ports			  [5, 3]
	  Position		  [180, 100, 230, 220]
	  FunctionName		  "sf_sfun"
	  PortCounts		  "[5 3]"
	  Port {
	    PortNumber		    2
	    Name		    "A_position"
	    RTWStorageClass	    "Auto"
	    DataLoggingNameMode	    "SignalName"
	    ShowSigGenPortName	    on
	  }
	  Port {
	    PortNumber		    3
	    Name		    "B_position"
	    RTWStorageClass	    "Auto"
	    DataLoggingNameMode	    "SignalName"
	    ShowSigGenPortName	    on
	  }
	}
	Block {
	  BlockType		  Terminator
	  Name			  " Terminator "
	  Position		  [460, 231, 480, 249]
	}
	Block {
	  BlockType		  Outport
	  Name			  "A_position"
	  Position		  [460, 101, 480, 119]
	  IconDisplay		  "Port number"
	  BusOutputAsStruct	  off
	}
	Block {
	  BlockType		  Outport
	  Name			  "B_position"
	  Position		  [460, 136, 480, 154]
	  Port			  "2"
	  IconDisplay		  "Port number"
	  BusOutputAsStruct	  off
	}
	Line {
	  SrcBlock		  " SFunction "
	  SrcPort		  1
	  Points		  [0, 120]
	  DstBlock		  " Demux "
	  DstPort		  1
	}
	Line {
	  SrcBlock		  " Demux "
	  SrcPort		  1
	  DstBlock		  " Terminator "
	  DstPort		  1
	}
	Line {
	  SrcBlock		  "hall_call"
	  SrcPort		  1
	  DstBlock		  " SFunction "
	  DstPort		  1
	}
	Line {
	  SrcBlock		  "car_call_A"
	  SrcPort		  1
	  Points		  [120, 0]
	  DstBlock		  " SFunction "
	  DstPort		  2
	}
	Line {
	  SrcBlock		  "car_call_B"
	  SrcPort		  1
	  DstBlock		  " SFunction "
	  DstPort		  3
	}
	Line {
	  SrcBlock		  "fire_alarm"
	  SrcPort		  1
	  DstBlock		  " SFunction "
	  DstPort		  4
	}
	Line {
	  SrcBlock		  " input events "
	  SrcPort		  1
	  DstBlock		  " SFunction "
	  DstPort		  5
	}
	Line {
	  Name			  "A_position"
	  Labels		  [0, 0]
	  SrcBlock		  " SFunction "
	  SrcPort		  2
	  DstBlock		  "A_position"
	  DstPort		  1
	}
	Line {
	  Name			  "B_position"
	  Labels		  [0, 0]
	  SrcBlock		  " SFunction "
	  SrcPort		  3
	  DstBlock		  "B_position"
	  DstPort		  1
	}
      }
    }
    Block {
      BlockType		      Constant
      Name		      "Fire Alarm"
      Position		      [140, 325, 170, 355]
      Value		      "0"
    }
    Block {
      BlockType		      Constant
      Name		      "Hall Call"
      Position		      [135, 20, 165, 50]
      Value		      "0"
    }
    Block {
      BlockType		      Constant
      Name		      "Hall Call Floor"
      Position		      [140, 175, 170, 205]
      Value		      "0"
    }
    Block {
      BlockType		      Mux
      Name		      "Mux"
      Ports		      [4, 1]
      Position		      [195, 16, 200, 159]
      ShowName		      off
      DisplayOption	      "bar"
    }
    Block {
      BlockType		      DiscretePulseGenerator
      Name		      "Ticks"
      Ports		      [0, 1]
      Position		      [90, 123, 135, 157]
      PulseType		      "Time based"
      PulseWidth	      "50"
    }
    Line {
      SrcBlock		      "Hall Call Floor"
      SrcPort		      1
      DstBlock		      "Elevator System"
      DstPort		      1
    }
    Line {
      SrcBlock		      "Hall Call"
      SrcPort		      1
      DstBlock		      "Mux"
      DstPort		      1
    }
    Line {
      SrcBlock		      "Mux"
      SrcPort		      1
      Points		      [110, 0]
      DstBlock		      "Elevator System"
      DstPort		      trigger
    }
    Line {
      SrcBlock		      "Elevator System"
      SrcPort		      1
      DstBlock		      "Elevator A Position"
      DstPort		      1
    }
    Line {
      SrcBlock		      "Elevator System"
      SrcPort		      2
      DstBlock		      "Elevator B Position"
      DstPort		      1
    }
    Line {
      SrcBlock		      "Car Call A Floor"
      SrcPort		      1
      DstBlock		      "Elevator System"
      DstPort		      2
    }
    Line {
      SrcBlock		      "Car Call B Floor"
      SrcPort		      1
      DstBlock		      "Elevator System"
      DstPort		      3
    }
    Line {
      SrcBlock		      "Ticks"
      SrcPort		      1
      DstBlock		      "Mux"
      DstPort		      4
    }
    Line {
      SrcBlock		      "Car Call A"
      SrcPort		      1
      DstBlock		      "Mux"
      DstPort		      2
    }
    Line {
      SrcBlock		      "Car Call B"
      SrcPort		      1
      DstBlock		      "Mux"
      DstPort		      3
    }
    Line {
      SrcBlock		      "Fire Alarm"
      SrcPort		      1
      DstBlock		      "Elevator System"
      DstPort		      4
    }
    Annotation {
      Name		      "Start simulation to bring up the Elevator Syste"
"m GUI"
      Position		      [299, 405]
      FontName		      "Arial"
      FontSize		      14
      FontWeight	      "bold"
    }
  }
}

# Finite State Machines
#
#    Stateflow Version 6.2 (R14SP2) dated Jan 21 2005, 03:46:19
#
#

Stateflow {

	machine {
		id                   		1
		name                 		"sf_elevator"
		created              		"04-Oct-2002 10:28:04"
		isLibrary            		0
		firstTarget          		444
		debug {
			runTimeCheck         		[1 0 1 1]
			animation            		[0 0]
		}
		sfVersion            		62014000
		sfDemoChecksum       		[3683078798 474110674 4058319750 2641427429]
	}

	chart {
		id                                        		2
		name                                      		"Elevator System"
		windowPosition                            		[171 -114 673.5 582]
		viewLimits                                		[0 315 0 273]
		zoomFactor                                		0.5
		screen                                    		[1 1 1280 1024 1.333333333333333]
		treeNode                                  		[0 4 0 0]
		viewObj                                   		2
		machine                                   		1
		subviewS {
			zoomFactor		0.5
		}
		decomposition                             		SET_CHART
		firstEvent                                		423
		firstData                                 		427
		chartFileNumber                           		1
	}

	state {
		id                  		3
		labelString         		"process_hall_call()"
		position            		[41.6158 236.56 137.125 43.875]
		fontSize            		12
		chart               		2
		treeNode            		[4 0 0 23]
		firstTransition     		202
		firstJunction       		74
		superState          		SUBCHART
		visible             		0
		subviewer           		4
		subviewS {
			x1        		-42.78
			y1        		-42.78
			zoomFactor		2.852
			pos       		[0 0 1274.925 1807.875]
		}
		type                		FUNC_STATE
		decomposition       		CLUSTER_STATE
		firstData           		356
		truthTable {
			isTruthTable  		1
			predicateArray		"100 C6x9{T\"Fire alarm is on\",T\"There is outstand"
								"ing request\",T\"Elevator A is idle\",T\"Elevator B"
								" is idle\",T\"Elevator A is closer to request\",T\""
								"\",T\"fire_alarm_on:\n"
								"fire_alarm\",T\"request_outstanding:\n"
								"request_floor > 0\",T\"elevator_A_idle:\n"
								"Elevator_A.get_status() == IDLE\",T\"elevator_B_idl"
								"e:\n"
								"Elevator_B.get_status() == IDLE\",T\"elevator_A_clo"
								"ser:\n"
								"fabs(Elevator_A.get_position() - request_floor) <= "
								"fabs(Elevator_B.get_position() - request_floor)\",T"
								"\"Actions\",T\"T\",T\"-\",T\"-\",T\"-\",T\"-\",T\"E"
								"MR\",T\"-\",T\"F\",T\"-\",T\"-\",T\"-\",T\"NONE\",T"
								"\"-\",T\"-\",T\"F\",T\"F\",T\"-\",T\"NONE\",T\"-\","
								"T\"-\",T\"T\",T\"F\",T\"-\",T\"A\",T\"-\",T\"-\",T\""
								"F\",T\"T\",T\"-\",T\"B\",T\"-\",T\"-\",T\"T\",T\"T\""
								",T\"T\",T\"A\",T\"-\",T\"-\",T\"T\",T\"T\",T\"F\",T"
								"\"B\"}"
			actionArray   		"100 C5x2{T\"Initialization\",T\"Elevator A should resp"
							"ond to request\",T\"Elevator B should respond to reque"
							"st\",T\"Both elevators are busy, OR no request present"
							"\",T\"Emergency\",T\"INIT:\n"
							"request_floor = hall_call_queue[0];\",T\"A:\n"
							"Elevator_A.enqueue(request_floor);\n"
							"dequeue(request_floor);\",T\"B:\n"
							"Elevator_B.enqueue(request_floor);\n"
							"dequeue(request_floor);\",T\"NONE:\",T\"EMR:\n"
							"Elevator_A.register(floor(Elevator_A.get_position()+El"
							"evator_A.get_direction()/2));\n"
							"Elevator_B.register(floor(Elevator_B.get_position()+El"
							"evator_B.get_direction()/2));\"}"
			checksum      		[908140854 2232212583 1681069234 1238083266]
			editorLayout  		"100 S'dim','div','pcw','acw','prh','arh'{{M2x1[716 80"
								"6],M[455],M9x1[160 275 30 30 30 30 30 30 30],M2x1[160"
								" 486],M1x6[55 55 55 55 105 55],M1x5[60 75 75 60 100]}"
								"}"
		}
	}

	state {
		id                  		4
		labelString         		"Elevator_Manager\n"
						"\n"
						"en: ml.sf_elevator_gui(\"init\");\n"
						"du: process_hall_call();\n"
						"      A_position = Elevator_A.get_position();\n"
						"      B_position = Elevator_B.get_position();"
		position            		[18.4272 17.6029 156.2828 68.4172]
		fontSize            		12
		chart               		2
		treeNode            		[2 3 0 5]
		firstTransition     		224
		firstJunction       		61
		superState          		SUBCHART
		subviewer           		2
		subviewS {
			x1        		-15
			y1        		-15
			pos       		[27.125 0 357.853 433.039]
		}
		type                		AND_STATE
		decomposition       		CLUSTER_STATE
		firstData           		362
	}

	state {
		id                  		5
		labelString         		"Elevator_A"
		position            		[17.2562 93.5847 69.8348 59.4532]
		fontSize            		12
		chart               		2
		treeNode            		[2 15 4 24]
		firstTransition     		215
		firstJunction       		72
		superState          		SUBCHART
		subviewer           		2
		subviewS {
			x1        		-16.995
			y1        		-16.995
			zoomFactor		1.133
			pos       		[0 0 678.225 416.814]
		}
		type                		AND_STATE
		decomposition       		CLUSTER_STATE
		firstData           		364
	}

	state {
		id                  		6
		labelString         		"stat = get_status()"
		position            		[442.0416 342.9485 182.6439 43.4132]
		fontSize            		12
		chart               		2
		treeNode            		[5 0 10 12]
		firstTransition     		189
		firstJunction       		41
		superState          		SUBCHART
		visible             		0
		subviewer           		5
		subviewS {
			x1        		-15
			y1        		-15
			pos       		[0 0 206.435 62.485]
		}
		type                		FUNC_STATE
		decomposition       		CLUSTER_STATE
		firstData           		371
	}

	state {
		id                  		7
		labelString         		"pos = get_position()"
		position            		[440.7873 286.9563 183.5189 43.9719]
		fontSize            		12
		chart               		2
		treeNode            		[5 0 18 10]
		firstTransition     		190
		firstJunction       		42
		superState          		SUBCHART
		visible             		0
		subviewer           		5
		subviewS {
			x1        		-15
			y1        		-15
			pos       		[0 0 239.935 69.235]
		}
		type                		FUNC_STATE
		decomposition       		CLUSTER_STATE
		firstData           		372
	}

	state {
		id                  		8
		labelString         		"register(car_call_floor)"
		position            		[227.5476 286.9227 178.8305 43.089]
		fontSize            		12
		chart               		2
		treeNode            		[5 0 22 18]
		firstTransition     		225
		firstJunction       		102
		superState          		SUBCHART
		visible             		0
		subviewer           		5
		subviewS {
			x1        		-15
			y1        		-15
			pos       		[0 0 225.132 85.08]
		}
		type                		FUNC_STATE
		decomposition       		CLUSTER_STATE
		firstData           		373
	}

	state {
		id                  		9
		labelString         		"deregister(hall_call_floor)"
		position            		[193.0544 294.0262 164.2123 44.5679]
		fontSize            		12
		chart               		2
		treeNode            		[4 0 19 14]
		firstTransition     		263
		firstJunction       		104
		superState          		SUBCHART
		visible             		0
		subviewer           		4
		subviewS {
			x1        		-15
			y1        		-15
			pos       		[0 0 320.64 107.089]
		}
		type                		FUNC_STATE
		decomposition       		CLUSTER_STATE
		firstData           		374
	}

	state {
		id                  		10
		labelString         		"deregister(car_call_floor)"
		position            		[228.1014 342.1718 179.6724 43.9309]
		fontSize            		12
		chart               		2
		treeNode            		[5 0 7 6]
		firstTransition     		262
		firstJunction       		103
		superState          		SUBCHART
		visible             		0
		subviewer           		5
		subviewS {
			x1        		-15
			y1        		-15
			pos       		[0 0 335.699 128.272]
		}
		type                		FUNC_STATE
		decomposition       		CLUSTER_STATE
		firstData           		375
	}

	state {
		id                  		11
		labelString         		"Idle\n"
						"en: status = IDLE;\n"
						"ex: status = BUSY;"
		position            		[23.818 59.1058 120.2528 61.2113]
		fontSize            		12
		chart               		2
		treeNode            		[5 0 15 13]
		visible             		0
		subviewer           		5
		type                		OR_STATE
		decomposition       		CLUSTER_STATE
	}

	state {
		id                  		12
		labelString         		"dequeue(task_floor)"
		position            		[26.0371 344.075 171.4582 42.7343]
		fontSize            		12
		chart               		2
		treeNode            		[5 0 6 0]
		firstTransition     		192
		firstJunction       		40
		superState          		SUBCHART
		visible             		0
		subviewer           		5
		subviewS {
			x1        		-15
			y1        		-15
			pos       		[0 0 303.56 195.013]
		}
		type                		FUNC_STATE
		decomposition       		CLUSTER_STATE
		firstData           		376
	}

	state {
		id                  		13
		labelString         		"MoveToTask\n"
						"du: move_to(task_queue[0]);"
		position            		[22.9897 158.8925 178.2735 50.433]
		fontSize            		12
		chart               		2
		treeNode            		[5 0 11 16]
		visible             		0
		subviewer           		5
		type                		OR_STATE
		decomposition       		CLUSTER_STATE
	}

	state {
		id                  		14
		labelString         		"enqueue(hall_call_floor)"
		position            		[41.4228 354.02 137.2063 45.3155]
		fontSize            		12
		chart               		2
		treeNode            		[4 0 9 17]
		firstTransition     		200
		firstJunction       		49
		superState          		SUBCHART
		visible             		0
		subviewer           		4
		subviewS {
			x1        		-15
			y1        		-15
			pos       		[0 0 322.965 240.426]
		}
		type                		FUNC_STATE
		decomposition       		CLUSTER_STATE
		firstData           		378
	}

	state {
		id                  		15
		labelString         		"PickUpDropOff\n"
						"en: Elevator_Manager.deregister(cur_floor);\n"
						"      deregister(cur_floor);\n"
						"      direction = MOVE_IDLE;\n"
						"      ml.sf_elevator_gui(\"open_door\",\"carA\");\n"
						"du: Elevator_Manager.deregister(cur_floor);\n"
						"      deregister(cur_floor);\n"
						"ex: ml.sf_elevator_gui(\"close_door\",\"carA\");"
		position            		[376.5319 29.9723 281.1464 186.632]
		fontSize            		12
		chart               		2
		treeNode            		[5 20 0 11]
		firstTransition     		237
		visible             		0
		subviewer           		5
		type                		OR_STATE
		decomposition       		CLUSTER_STATE
	}

	state {
		id                  		16
		labelString         		"move_to(destination)"
		position            		[228.5193 227.4256 177.2732 45.0384]
		fontSize            		12
		chart               		2
		treeNode            		[5 0 13 21]
		firstTransition     		313
		firstJunction       		146
		superState          		SUBCHART
		visible             		0
		subviewer           		5
		subviewS {
			x1        		-15
			y1        		-15
			pos       		[0 0 769.504 639.504]
		}
		type                		FUNC_STATE
		decomposition       		CLUSTER_STATE
		firstData           		380
		truthTable {
			isTruthTable  		1
			predicateArray		"100 C3x4{T\"Move up\",T\"Move down\",T\"\",T\"move_"
								"up:\n"
								"destination - position > ERR_TOR\",T\"move_down:\n"
								"position - destination > ERR_TOR\",T\"Actions\",T\""
								"T\",T\"F\",T\"1\",T\"F\",T\"T\",T\"2\"}"
			actionArray   		"100 C2x2{T\"Move up\",T\"Move down\",T\"position = pos"
							"ition + VELOCITY;\n"
							"direction = MOVE_UP;\n"
							"ml.sf_elevator_gui(\"\"move_car\"\", \"\"carA\"\", pos"
							"ition);\",T\"position = position - VELOCITY;\n"
							"direction = MOVE_DOWN;\n"
							"ml.sf_elevator_gui(\"\"move_car\"\", \"\"carA\"\", pos"
							"ition);\"}"
			checksum      		[3229225765 1581173541 3086043570 3510651863]
			diagnostic {
				underSpecification		2
			}
			editorLayout  		"100 S'dim','div','pcw','acw','prh','arh'{{M2x1[597 53"
								"6],M[219],M4x1[160 316 30 30],M2x1[161 378],M1x3[55 5"
								"5 55],M1x2[85 85]}}"
		}
	}

	state {
		id                  		17
		labelString         		"dequeue(hall_call_floor)"
		position            		[193.3796 354.5315 164.1745 43.455]
		fontSize            		12
		chart               		2
		treeNode            		[4 0 14 0]
		firstTransition     		221
		firstJunction       		63
		superState          		SUBCHART
		visible             		0
		subviewer           		4
		subviewS {
			x1        		-15
			y1        		-15
			pos       		[0 0 317.905 199.324]
		}
		type                		FUNC_STATE
		decomposition       		CLUSTER_STATE
		firstData           		383
	}

	state {
		id                  		18
		labelString         		"enqueue(task_floor)"
		position            		[24.5387 286.9239 172.6191 43.7594]
		fontSize            		12
		chart               		2
		treeNode            		[5 0 8 7]
		firstTransition     		195
		firstJunction       		47
		superState          		SUBCHART
		visible             		0
		subviewer           		5
		subviewS {
			x1        		-15
			y1        		-15
			pos       		[0 0 322.655 253.134]
		}
		type                		FUNC_STATE
		decomposition       		CLUSTER_STATE
		firstData           		385
	}

	state {
		id                  		19
		labelString         		"register(hall_call_floor)"
		position            		[40.9371 292.4397 136.8654 49.0398]
		fontSize            		12
		chart               		2
		treeNode            		[4 0 23 9]
		firstTransition     		261
		firstJunction       		101
		superState          		SUBCHART
		visible             		0
		subviewer           		4
		subviewS {
			x1        		-15
			y1        		-15
			pos       		[0 0 267.132 88.08]
		}
		type                		FUNC_STATE
		decomposition       		CLUSTER_STATE
		firstData           		387
	}

	state {
		id                  		20
		labelString         		"Stopped"
		position            		[388.8965 165.4446 71.54 35.259]
		fontSize            		12
		chart               		2
		treeNode            		[15 0 0 0]
		visible             		0
		subviewer           		5
		type                		OR_STATE
		decomposition       		CLUSTER_STATE
	}

	state {
		id                  		21
		labelString         		"ans = should_stop()"
		position            		[24.2486 227.4975 172.7722 45.6509]
		fontSize            		12
		chart               		2
		treeNode            		[5 0 16 22]
		firstTransition     		292
		firstJunction       		132
		superState          		SUBCHART
		visible             		0
		subviewer           		5
		subviewS {
			pos       		[0 0 884.565 1327.565]
		}
		type                		FUNC_STATE
		decomposition       		CLUSTER_STATE
		firstData           		388
		truthTable {
			isTruthTable  		1
			predicateArray		"100 C6x7{T\"Arrived destination\",T\"Arrived a floo"
								"r\",T\"There is car call to stop at this floor\",T\""
								"There is hall call from this floor\",T\"This hall c"
								"all is still outstanding in queue\",T\"\",T\"at_des"
								"tination:\n"
								"fabs(position - task_queue[0]) < ERR_TOR\",T\"at_a_"
								"floor:\n"
								"fabs(position - cur_floor) < ERR_TOR\",T\"request_f"
								"rom_car:\n"
								"car_call_status[cur_floor]\",T\"request_from_hall:\n"
								"Elevator_Manager.hall_call_status[cur_floor]\",T\"t"
								"his_hall_call_outstanding:\n"
								"Elevator_Manager.exists_in_queue(cur_floor)\",T\"Ac"
								"tions\",T\"T\",T\"-\",T\"-\",T\"-\",T\"-\",T\"S\",T"
								"\"-\",T\"F\",T\"-\",T\"-\",T\"-\",T\"C\",T\"-\",T\""
								"-\",T\"T\",T\"-\",T\"-\",T\"S\",T\"-\",T\"-\",T\"-\""
								",T\"T\",T\"T\",T\"S\",T\"-\",T\"-\",T\"-\",T\"-\",T"
								"\"-\",T\"C\"}"
			actionArray   		"100 C3x2{T\"Initialization\",T\"Should stop at this fl"
							"oor\",T\"Should not stop, continue\",T\"INIT:\n"
							"cur_floor = ml.round(position);\",T\"S:\n"
							"position = cur_floor; /* Adjust position */\n"
							"ans = 1;\",T\"C:\n"
							"ans = 0;\"}"
			checksum      		[3016938286 2645421136 3374398794 4150570788]
			editorLayout  		"100 S'dim','div','pcw','acw','prh','arh'{{M2x1[709 70"
								"2],M[378],M7x1[169 336 30 30 30 30 30],M2x1[171 483],"
								"M1x6[55 55 55 55 55 55],M1x3[55 70 55]}}"
		}
	}

	state {
		id                  		22
		labelString         		"dir = get_direction()"
		position            		[438.6835 227.6305 183.5189 43.9719]
		fontSize            		12
		chart               		2
		treeNode            		[5 0 21 8]
		firstTransition     		246
		firstJunction       		79
		superState          		SUBCHART
		visible             		0
		subviewer           		5
		subviewS {
			x1        		-15
			y1        		-15
			pos       		[0 0 239.935 69.235]
		}
		type                		FUNC_STATE
		decomposition       		CLUSTER_STATE
		firstData           		394
	}

	state {
		id                  		23
		labelString         		"ans = exists_in_queue(floor)"
		position            		[193.4754 237.0971 164.7531 44.2406]
		fontSize            		12
		chart               		2
		treeNode            		[4 0 3 19]
		firstTransition     		297
		firstJunction       		136
		superState          		SUBCHART
		visible             		0
		subviewer           		4
		subviewS {
			x1        		-15
			y1        		-15
			pos       		[0 0 348.915 184.722]
		}
		type                		FUNC_STATE
		decomposition       		CLUSTER_STATE
		firstData           		395
	}

	state {
		id                  		24
		labelString         		"Elevator_B"
		position            		[101.3187 94.8972 69.8348 59.4532]
		fontSize            		12
		chart               		2
		treeNode            		[2 25 5 0]
		firstTransition     		298
		firstJunction       		137
		superState          		SUBCHART
		subviewer           		2
		subviewS {
			x1        		-16.995
			y1        		-16.995
			zoomFactor		1.133
			pos       		[0 0 678.225 416.814]
		}
		type                		AND_STATE
		decomposition       		CLUSTER_STATE
		firstData           		398
	}

	state {
		id                  		25
		labelString         		"PickUpDropOff\n"
						"en: Elevator_Manager.deregister(cur_floor);\n"
						"      deregister(cur_floor);\n"
						"      direction = MOVE_IDLE;\n"
						"      ml.sf_elevator_gui(\"open_door\",\"carB\");\n"
						"du: Elevator_Manager.deregister(cur_floor);\n"
						"      deregister(cur_floor);\n"
						"ex: ml.sf_elevator_gui(\"close_door\",\"carB\");"
		position            		[376.5319 29.9723 281.1464 186.632]
		fontSize            		12
		chart               		2
		treeNode            		[24 26 0 27]
		firstTransition     		304
		visible             		0
		subviewer           		24
		type                		OR_STATE
		decomposition       		CLUSTER_STATE
	}

	state {
		id                  		26
		labelString         		"Stopped"
		position            		[388.8965 165.4446 71.54 35.259]
		fontSize            		12
		chart               		2
		treeNode            		[25 0 0 0]
		visible             		0
		subviewer           		24
		type                		OR_STATE
		decomposition       		CLUSTER_STATE
	}

	state {
		id                  		27
		labelString         		"Idle\n"
						"en: status = IDLE;\n"
						"ex: status = BUSY;"
		position            		[23.818 59.1058 120.2528 61.2113]
		fontSize            		12
		chart               		2
		treeNode            		[24 0 25 28]
		visible             		0
		subviewer           		24
		type                		OR_STATE
		decomposition       		CLUSTER_STATE
	}

	state {
		id                  		28
		labelString         		"MoveToTask\n"
						"du: move_to(task_queue[0]);"
		position            		[22.9897 158.8925 178.2735 50.433]
		fontSize            		12
		chart               		2
		treeNode            		[24 0 27 29]
		visible             		0
		subviewer           		24
		type                		OR_STATE
		decomposition       		CLUSTER_STATE
	}

	state {
		id                  		29
		labelString         		"move_to(destination)"
		position            		[228.5193 227.4256 177.2732 45.0384]
		fontSize            		12
		chart               		2
		treeNode            		[24 0 28 30]
		firstTransition     		347
		firstJunction       		177
		superState          		SUBCHART
		visible             		0
		subviewer           		24
		subviewS {
			x1        		-15
			y1        		-15
			pos       		[0 0 769.504 639.504]
		}
		type                		FUNC_STATE
		decomposition       		CLUSTER_STATE
		firstData           		405
		truthTable {
			isTruthTable  		1
			predicateArray		"100 C3x4{T\"Move up\",T\"Move down\",T\"\",T\"move_"
								"up:\n"
								"destination - position > ERR_TOR\",T\"move_down:\n"
								"position - destination > ERR_TOR\",T\"Actions\",T\""
								"T\",T\"F\",T\"1\",T\"F\",T\"T\",T\"2\"}"
			actionArray   		"100 C2x2{T\"Move up\",T\"Move down\",T\"position = pos"
							"ition + VELOCITY;\n"
							"direction = MOVE_UP;\n"
							"ml.sf_elevator_gui(\"\"move_car\"\", \"\"carB\"\", pos"
							"ition);\",T\"position = position - VELOCITY;\n"
							"direction = MOVE_DOWN;\n"
							"ml.sf_elevator_gui(\"\"move_car\"\", \"\"carB\"\", pos"
							"ition);\"}"
			checksum      		[1994480090 2294082238 2196767039 167135666]
			diagnostic {
				underSpecification		2
			}
			editorLayout  		"100 S'dim','div','pcw','acw','prh','arh'{{M2x1[597 53"
								"6],M[219],M4x1[160 316 30 30],M2x1[161 378],M1x3[55 5"
								"5 55],M1x2[85 85]}}"
		}
	}

	state {
		id                  		30
		labelString         		"ans = should_stop()"
		position            		[24.2486 227.4975 172.7722 45.6509]
		fontSize            		12
		chart               		2
		treeNode            		[24 0 29 31]
		firstTransition     		314
		firstJunction       		147
		superState          		SUBCHART
		visible             		0
		subviewer           		24
		subviewS {
			pos       		[0 0 884.565 1327.565]
		}
		type                		FUNC_STATE
		decomposition       		CLUSTER_STATE
		firstData           		408
		truthTable {
			isTruthTable  		1
			predicateArray		"100 C6x7{T\"Arrived destination\",T\"Arrived a floo"
								"r\",T\"There is car call to stop at this floor\",T\""
								"There is hall call from this floor\",T\"This hall c"
								"all is still outstanding in queue\",T\"\",T\"at_des"
								"tination:\n"
								"fabs(position - task_queue[0]) < ERR_TOR\",T\"at_a_"
								"floor:\n"
								"fabs(position - cur_floor) < ERR_TOR\",T\"request_f"
								"rom_car:\n"
								"car_call_status[cur_floor]\",T\"request_from_hall:\n"
								"Elevator_Manager.hall_call_status[cur_floor]\",T\"t"
								"his_hall_call_outstanding:\n"
								"Elevator_Manager.exists_in_queue(cur_floor)\",T\"Ac"
								"tions\",T\"T\",T\"-\",T\"-\",T\"-\",T\"-\",T\"S\",T"
								"\"-\",T\"F\",T\"-\",T\"-\",T\"-\",T\"C\",T\"-\",T\""
								"-\",T\"T\",T\"-\",T\"-\",T\"S\",T\"-\",T\"-\",T\"-\""
								",T\"T\",T\"T\",T\"S\",T\"-\",T\"-\",T\"-\",T\"-\",T"
								"\"-\",T\"C\"}"
			actionArray   		"100 C3x2{T\"Initialization\",T\"Should stop at this fl"
							"oor\",T\"Should not stop, continue\",T\"INIT:\n"
							"cur_floor = ml.round(position);\",T\"S:\n"
							"position = cur_floor; /* Adjust position */\n"
							"ans = 1;\",T\"C:\n"
							"ans = 0;\"}"
			checksum      		[3016938286 2645421136 3374398794 4150570788]
			editorLayout  		"100 S'dim','div','pcw','acw','prh','arh'{{M2x1[709 70"
								"2],M[378],M7x1[169 336 30 30 30 30 30],M2x1[171 483],"
								"M1x6[55 55 55 55 55 55],M1x3[55 70 55]}}"
		}
	}

	state {
		id                  		31
		labelString         		"dir = get_direction()"
		position            		[438.6835 227.6305 183.5189 43.9719]
		fontSize            		12
		chart               		2
		treeNode            		[24 0 30 32]
		firstTransition     		335
		firstJunction       		168
		superState          		SUBCHART
		visible             		0
		subviewer           		24
		subviewS {
			x1        		-15
			y1        		-15
			pos       		[0 0 239.935 69.235]
		}
		type                		FUNC_STATE
		decomposition       		CLUSTER_STATE
		firstData           		414
	}

	state {
		id                  		32
		labelString         		"register(car_call_floor)"
		position            		[227.5476 286.9227 178.8305 43.089]
		fontSize            		12
		chart               		2
		treeNode            		[24 0 31 33]
		firstTransition     		336
		firstJunction       		169
		superState          		SUBCHART
		visible             		0
		subviewer           		24
		subviewS {
			x1        		-15
			y1        		-15
			pos       		[0 0 225.132 85.08]
		}
		type                		FUNC_STATE
		decomposition       		CLUSTER_STATE
		firstData           		415
	}

	state {
		id                  		33
		labelString         		"enqueue(task_floor)"
		position            		[24.5387 286.9239 172.6191 43.7594]
		fontSize            		12
		chart               		2
		treeNode            		[24 0 32 34]
		firstTransition     		337
		firstJunction       		170
		superState          		SUBCHART
		visible             		0
		subviewer           		24
		subviewS {
			x1        		-15
			y1        		-15
			pos       		[0 0 322.655 253.134]
		}
		type                		FUNC_STATE
		decomposition       		CLUSTER_STATE
		firstData           		416
	}

	state {
		id                  		34
		labelString         		"pos = get_position()"
		position            		[440.7873 286.9563 183.5189 43.9719]
		fontSize            		12
		chart               		2
		treeNode            		[24 0 33 35]
		firstTransition     		345
		firstJunction       		119
		superState          		SUBCHART
		visible             		0
		subviewer           		24
		subviewS {
			x1        		-15
			y1        		-15
			pos       		[0 0 239.935 69.235]
		}
		type                		FUNC_STATE
		decomposition       		CLUSTER_STATE
		firstData           		418
	}

	state {
		id                  		35
		labelString         		"deregister(car_call_floor)"
		position            		[228.1014 342.1718 179.6724 43.9309]
		fontSize            		12
		chart               		2
		treeNode            		[24 0 34 36]
		firstTransition     		346
		firstJunction       		118
		superState          		SUBCHART
		visible             		0
		subviewer           		24
		subviewS {
			x1        		-15
			y1        		-15
			pos       		[0 0 335.699 128.272]
		}
		type                		FUNC_STATE
		decomposition       		CLUSTER_STATE
		firstData           		419
	}

	state {
		id                  		36
		labelString         		"stat = get_status()"
		position            		[442.0416 342.9485 182.6439 43.4132]
		fontSize            		12
		chart               		2
		treeNode            		[24 0 35 37]
		firstTransition     		279
		firstJunction       		117
		superState          		SUBCHART
		visible             		0
		subviewer           		24
		subviewS {
			x1        		-15
			y1        		-15
			pos       		[0 0 206.435 62.485]
		}
		type                		FUNC_STATE
		decomposition       		CLUSTER_STATE
		firstData           		420
	}

	state {
		id                  		37
		labelString         		"dequeue(task_floor)"
		position            		[26.0371 344.075 171.4582 42.7343]
		fontSize            		12
		chart               		2
		treeNode            		[24 0 36 0]
		firstTransition     		278
		firstJunction       		116
		superState          		SUBCHART
		visible             		0
		subviewer           		24
		subviewS {
			x1        		-15
			y1        		-15
			pos       		[0 0 303.56 195.013]
		}
		type                		FUNC_STATE
		decomposition       		CLUSTER_STATE
		firstData           		421
	}

	junction {
		id         		38
		position   		[27.4918 145.1638 7]
		chart      		2
		linkNode   		[17 43 62]
		visible    		0
		subviewer  		17
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		39
		position   		[27.4918 114.5242 7]
		chart      		2
		linkNode   		[12 40 67]
		visible    		0
		subviewer  		12
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		40
		position   		[27.4918 65.0637 7]
		chart      		2
		linkNode   		[12 0 39]
		visible    		0
		subviewer  		12
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		41
		position   		[43.4221 45.8061 7]
		chart      		2
		linkNode   		[6 0 0]
		visible    		0
		subviewer  		6
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		42
		position   		[48.6721 48.8061 7]
		chart      		2
		linkNode   		[7 0 0]
		visible    		0
		subviewer  		7
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		43
		position   		[296.7868 114.5242 7]
		chart      		2
		linkNode   		[17 44 38]
		visible    		0
		subviewer  		17
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		44
		position   		[27.4918 114.5242 7]
		chart      		2
		linkNode   		[17 63 43]
		visible    		0
		subviewer  		17
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		45
		position   		[26.3394 223.825 7]
		chart      		2
		linkNode   		[18 55 0]
		visible    		0
		subviewer  		18
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		46
		position   		[232.0232 64.1154 7]
		chart      		2
		linkNode   		[18 47 58]
		visible    		0
		subviewer  		18
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		47
		position   		[26.3394 64.1154 7]
		chart      		2
		linkNode   		[18 0 46]
		visible    		0
		subviewer  		18
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		48
		position   		[253.6334 54.4595 7]
		chart      		2
		linkNode   		[14 49 65]
		visible    		0
		subviewer  		14
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		49
		position   		[22.0754 54.4595 7]
		chart      		2
		linkNode   		[14 0 48]
		visible    		0
		subviewer  		14
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		50
		position   		[276.839 145.1638 7]
		chart      		2
		linkNode   		[12 68 105]
		visible    		0
		subviewer  		12
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		51
		position   		[20 721 5]
		chart      		2
		linkNode   		[3 52 75]
		visible    		0
		subviewer  		3
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[5]}}"
		}
	}

	junction {
		id         		52
		position   		[20 610 5]
		chart      		2
		linkNode   		[3 53 51]
		visible    		0
		subviewer  		3
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[4]}}"
		}
	}

	junction {
		id         		53
		position   		[20 499 5]
		chart      		2
		linkNode   		[3 54 52]
		visible    		0
		subviewer  		3
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[3]}}"
		}
	}

	junction {
		id         		54
		position   		[20 388 5]
		chart      		2
		linkNode   		[3 69 53]
		visible    		0
		subviewer  		3
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[2]}}"
		}
	}

	junction {
		id         		55
		position   		[175.1106 175.8435 7]
		chart      		2
		linkNode   		[18 56 45]
		visible    		0
		subviewer  		18
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		56
		position   		[26.3394 175.8435 7]
		chart      		2
		linkNode   		[18 57 55]
		visible    		0
		subviewer  		18
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		57
		position   		[26.3394 128.3922 7]
		chart      		2
		linkNode   		[18 58 56]
		visible    		0
		subviewer  		18
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		58
		position   		[173.9734 104.1349 7]
		chart      		2
		linkNode   		[18 46 57]
		visible    		0
		subviewer  		18
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		59
		position   		[174.8333 161.9231 7]
		chart      		2
		linkNode   		[14 64 60]
		visible    		0
		subviewer  		14
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		60
		position   		[22.5483 205.4211 7]
		chart      		2
		linkNode   		[14 59 0]
		visible    		0
		subviewer  		14
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		61
		position   		[334.5754 139.8183 7]
		chart      		2
		linkNode   		[4 0 71]
		visible    		0
		subviewer  		4
		quantum    		[0 0 0 224]
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		62
		position   		[298.5321 145.1638 7]
		chart      		2
		linkNode   		[17 38 106]
		visible    		0
		subviewer  		17
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		63
		position   		[27.4918 65.0637 7]
		chart      		2
		linkNode   		[17 0 44]
		visible    		0
		subviewer  		17
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		64
		position   		[22.5483 161.9231 7]
		chart      		2
		linkNode   		[14 66 59]
		visible    		0
		subviewer  		14
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		65
		position   		[175.5695 94.003 7]
		chart      		2
		linkNode   		[14 48 66]
		visible    		0
		subviewer  		14
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		66
		position   		[22.5483 103.5089 7]
		chart      		2
		linkNode   		[14 65 64]
		visible    		0
		subviewer  		14
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		67
		position   		[276.9741 114.5242 7]
		chart      		2
		linkNode   		[12 39 68]
		visible    		0
		subviewer  		12
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		68
		position   		[27.4918 145.1638 7]
		chart      		2
		linkNode   		[12 67 50]
		visible    		0
		subviewer  		12
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		69
		position   		[20 277 5]
		chart      		2
		linkNode   		[3 73 54]
		visible    		0
		subviewer  		3
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[1]}}"
		}
	}

	junction {
		id         		70
		position   		[333.5888 205.4448 7]
		chart      		2
		linkNode   		[4 71 0]
		visible    		0
		subviewer  		4
		quantum    		[0 0 0 217]
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		71
		position   		[334.8864 172.1898 7]
		chart      		2
		linkNode   		[4 61 70]
		visible    		0
		subviewer  		4
		quantum    		[0 0 0 218]
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		72
		position   		[206.7375 108.8302 7]
		chart      		2
		linkNode   		[5 0 0]
		visible    		0
		subviewer  		5
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		73
		position   		[20 166 5]
		chart      		2
		linkNode   		[3 74 69]
		visible    		0
		subviewer  		3
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[1]}}"
		}
	}

	junction {
		id         		74
		position   		[20 55 5]
		chart      		2
		linkNode   		[3 0 73]
		visible    		0
		subviewer  		3
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		3
		}
	}

	junction {
		id         		75
		position   		[240 721 5]
		chart      		2
		linkNode   		[3 51 76]
		visible    		0
		subviewer  		3
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"c\",M[1]}}"
		}
	}

	junction {
		id         		76
		position   		[925 721 5]
		chart      		2
		linkNode   		[3 75 120]
		visible    		0
		subviewer  		3
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[5]}}"
		}
	}

	junction {
		id         		77
		position   		[20 1007 5]
		chart      		2
		linkNode   		[21 121 78]
		visible    		0
		subviewer  		21
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		21
		}
	}

	junction {
		id         		78
		position   		[264 1007 5]
		chart      		2
		linkNode   		[21 77 110]
		visible    		0
		subviewer  		21
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		21
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"c\",M[3]}}"
		}
	}

	junction {
		id         		79
		position   		[48.6721 48.8061 7]
		chart      		2
		linkNode   		[22 0 0]
		visible    		0
		subviewer  		22
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		80
		position   		[20 1752 5]
		chart      		2
		linkNode   		[3 81 0]
		visible    		0
		subviewer  		3
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		3
		}
	}

	junction {
		id         		81
		position   		[1006 1599 5]
		chart      		2
		linkNode   		[3 82 80]
		visible    		0
		subviewer  		3
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[3]}}"
		}
	}

	junction {
		id         		82
		position   		[558 1599 5]
		chart      		2
		linkNode   		[3 83 81]
		visible    		0
		subviewer  		3
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"c\",M[7]}}"
		}
	}

	junction {
		id         		83
		position   		[20 1599 5]
		chart      		2
		linkNode   		[3 84 82]
		visible    		0
		subviewer  		3
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		3
		}
	}

	junction {
		id         		84
		position   		[998 1446 5]
		chart      		2
		linkNode   		[3 85 83]
		visible    		0
		subviewer  		3
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[2]}}"
		}
	}

	junction {
		id         		85
		position   		[550 1446 5]
		chart      		2
		linkNode   		[3 86 84]
		visible    		0
		subviewer  		3
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"c\",M[6]}}"
		}
	}

	junction {
		id         		86
		position   		[20 1446 5]
		chart      		2
		linkNode   		[3 87 85]
		visible    		0
		subviewer  		3
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		3
		}
	}

	junction {
		id         		87
		position   		[851 1293 5]
		chart      		2
		linkNode   		[3 88 86]
		visible    		0
		subviewer  		3
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[3]}}"
		}
	}

	junction {
		id         		88
		position   		[403 1293 5]
		chart      		2
		linkNode   		[3 89 87]
		visible    		0
		subviewer  		3
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"c\",M[5]}}"
		}
	}

	junction {
		id         		89
		position   		[20 1293 5]
		chart      		2
		linkNode   		[3 90 88]
		visible    		0
		subviewer  		3
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		3
		}
	}

	junction {
		id         		90
		position   		[851 1140 5]
		chart      		2
		linkNode   		[3 91 89]
		visible    		0
		subviewer  		3
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[2]}}"
		}
	}

	junction {
		id         		91
		position   		[403 1140 5]
		chart      		2
		linkNode   		[3 92 90]
		visible    		0
		subviewer  		3
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"c\",M[4]}}"
		}
	}

	junction {
		id         		92
		position   		[20 1140 5]
		chart      		2
		linkNode   		[3 93 91]
		visible    		0
		subviewer  		3
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		3
		}
	}

	junction {
		id         		93
		position   		[965 1007 5]
		chart      		2
		linkNode   		[3 94 92]
		visible    		0
		subviewer  		3
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[4]}}"
		}
	}

	junction {
		id         		94
		position   		[411 1007 5]
		chart      		2
		linkNode   		[3 95 93]
		visible    		0
		subviewer  		3
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"c\",M[3]}}"
		}
	}

	junction {
		id         		95
		position   		[20 1007 5]
		chart      		2
		linkNode   		[3 96 94]
		visible    		0
		subviewer  		3
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		3
		}
	}

	junction {
		id         		96
		position   		[851 874 5]
		chart      		2
		linkNode   		[3 97 95]
		visible    		0
		subviewer  		3
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[4]}}"
		}
	}

	junction {
		id         		97
		position   		[297 874 5]
		chart      		2
		linkNode   		[3 120 96]
		visible    		0
		subviewer  		3
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"c\",M[2]}}"
		}
	}

	junction {
		id         		98
		position   		[493 1313 5]
		chart      		2
		linkNode   		[21 99 0]
		visible    		0
		subviewer  		21
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		21
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[3]}}"
		}
	}

	junction {
		id         		99
		position   		[134 1313 5]
		chart      		2
		linkNode   		[21 100 98]
		visible    		0
		subviewer  		21
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		21
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"c\",M[5]}}"
		}
	}

	junction {
		id         		100
		position   		[20 1313 5]
		chart      		2
		linkNode   		[21 107 99]
		visible    		0
		subviewer  		21
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		21
		}
	}

	junction {
		id         		101
		position   		[25.7427 68.7608 7]
		chart      		2
		linkNode   		[19 0 0]
		visible    		0
		subviewer  		19
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		102
		position   		[25.7427 68.7608 7]
		chart      		2
		linkNode   		[8 0 0]
		visible    		0
		subviewer  		8
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		103
		position   		[27.7869 103.9651 7]
		chart      		2
		linkNode   		[10 0 0]
		visible    		0
		subviewer  		10
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		104
		position   		[25.8044 95.9695 7]
		chart      		2
		linkNode   		[9 0 0]
		visible    		0
		subviewer  		9
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		105
		position   		[277.0122 175.7152 7]
		chart      		2
		linkNode   		[12 50 0]
		visible    		0
		subviewer  		12
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		106
		position   		[298.5321 178.0318 7]
		chart      		2
		linkNode   		[17 62 0]
		visible    		0
		subviewer  		17
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		107
		position   		[860 1160 5]
		chart      		2
		linkNode   		[21 108 100]
		visible    		0
		subviewer  		21
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		21
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[2]}}"
		}
	}

	junction {
		id         		108
		position   		[501 1160 5]
		chart      		2
		linkNode   		[21 109 107]
		visible    		0
		subviewer  		21
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		21
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"c\",M[4]}}"
		}
	}

	junction {
		id         		109
		position   		[20 1160 5]
		chart      		2
		linkNode   		[21 110 108]
		visible    		0
		subviewer  		21
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		21
		}
	}

	junction {
		id         		110
		position   		[623 1007 5]
		chart      		2
		linkNode   		[21 78 109]
		visible    		0
		subviewer  		21
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		21
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[2]}}"
		}
	}

	junction {
		id         		111
		position   		[277.0122 175.7152 7]
		chart      		2
		linkNode   		[37 112 0]
		visible    		0
		subviewer  		37
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		112
		position   		[276.839 145.1638 7]
		chart      		2
		linkNode   		[37 113 111]
		visible    		0
		subviewer  		37
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		113
		position   		[27.4918 145.1638 7]
		chart      		2
		linkNode   		[37 114 112]
		visible    		0
		subviewer  		37
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		114
		position   		[276.9741 114.5242 7]
		chart      		2
		linkNode   		[37 115 113]
		visible    		0
		subviewer  		37
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		115
		position   		[27.4918 114.5242 7]
		chart      		2
		linkNode   		[37 116 114]
		visible    		0
		subviewer  		37
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		116
		position   		[27.4918 65.0637 7]
		chart      		2
		linkNode   		[37 0 115]
		visible    		0
		subviewer  		37
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		117
		position   		[43.4221 45.8061 7]
		chart      		2
		linkNode   		[36 0 0]
		visible    		0
		subviewer  		36
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		118
		position   		[27.7869 103.9651 7]
		chart      		2
		linkNode   		[35 0 0]
		visible    		0
		subviewer  		35
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		119
		position   		[48.6721 48.8061 7]
		chart      		2
		linkNode   		[34 0 0]
		visible    		0
		subviewer  		34
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		120
		position   		[20 874 5]
		chart      		2
		linkNode   		[3 76 97]
		visible    		0
		subviewer  		3
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		3
		}
	}

	junction {
		id         		121
		position   		[583 874 5]
		chart      		2
		linkNode   		[21 122 77]
		visible    		0
		subviewer  		21
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		21
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[3]}}"
		}
	}

	junction {
		id         		122
		position   		[224 874 5]
		chart      		2
		linkNode   		[21 123 121]
		visible    		0
		subviewer  		21
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		21
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"c\",M[2]}}"
		}
	}

	junction {
		id         		123
		position   		[20 874 5]
		chart      		2
		linkNode   		[21 124 122]
		visible    		0
		subviewer  		21
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		21
		}
	}

	junction {
		id         		124
		position   		[607 721 5]
		chart      		2
		linkNode   		[21 125 123]
		visible    		0
		subviewer  		21
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		21
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[2]}}"
		}
	}

	junction {
		id         		125
		position   		[248 721 5]
		chart      		2
		linkNode   		[21 126 124]
		visible    		0
		subviewer  		21
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		21
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"c\",M[1]}}"
		}
	}

	junction {
		id         		126
		position   		[20 721 5]
		chart      		2
		linkNode   		[21 127 125]
		visible    		0
		subviewer  		21
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		21
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[5]}}"
		}
	}

	junction {
		id         		127
		position   		[20 610 5]
		chart      		2
		linkNode   		[21 128 126]
		visible    		0
		subviewer  		21
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		21
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[4]}}"
		}
	}

	junction {
		id         		128
		position   		[20 499 5]
		chart      		2
		linkNode   		[21 129 127]
		visible    		0
		subviewer  		21
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		21
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[3]}}"
		}
	}

	junction {
		id         		129
		position   		[20 388 5]
		chart      		2
		linkNode   		[21 130 128]
		visible    		0
		subviewer  		21
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		21
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[2]}}"
		}
	}

	junction {
		id         		130
		position   		[20 277 5]
		chart      		2
		linkNode   		[21 131 129]
		visible    		0
		subviewer  		21
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		21
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[1]}}"
		}
	}

	junction {
		id         		131
		position   		[20 166 5]
		chart      		2
		linkNode   		[21 132 130]
		visible    		0
		subviewer  		21
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		21
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[1]}}"
		}
	}

	junction {
		id         		132
		position   		[20 55 5]
		chart      		2
		linkNode   		[21 0 131]
		visible    		0
		subviewer  		21
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		21
		}
	}

	junction {
		id         		133
		position   		[15.5 157.7999 7]
		chart      		2
		linkNode   		[23 134 0]
		visible    		0
		subviewer  		23
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		134
		position   		[331.545 116.6603 7]
		chart      		2
		linkNode   		[23 135 133]
		visible    		0
		subviewer  		23
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		135
		position   		[15.5 116.6603 7]
		chart      		2
		linkNode   		[23 136 134]
		visible    		0
		subviewer  		23
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		136
		position   		[15.5 67.1998 7]
		chart      		2
		linkNode   		[23 0 135]
		visible    		0
		subviewer  		23
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		137
		position   		[206.7375 108.8302 7]
		chart      		2
		linkNode   		[24 0 0]
		visible    		0
		subviewer  		24
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		138
		position   		[20 625 5]
		chart      		2
		linkNode   		[16 139 0]
		visible    		0
		subviewer  		16
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		16
		}
	}

	junction {
		id         		139
		position   		[697 451 5]
		chart      		2
		linkNode   		[16 140 138]
		visible    		0
		subviewer  		16
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		16
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[2]}}"
		}
	}

	junction {
		id         		140
		position   		[289 451 5]
		chart      		2
		linkNode   		[16 141 139]
		visible    		0
		subviewer  		16
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		16
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"c\",M[2]}}"
		}
	}

	junction {
		id         		141
		position   		[20 451 5]
		chart      		2
		linkNode   		[16 142 140]
		visible    		0
		subviewer  		16
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		16
		}
	}

	junction {
		id         		142
		position   		[697 277 5]
		chart      		2
		linkNode   		[16 143 141]
		visible    		0
		subviewer  		16
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		16
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[1]}}"
		}
	}

	junction {
		id         		143
		position   		[289 277 5]
		chart      		2
		linkNode   		[16 144 142]
		visible    		0
		subviewer  		16
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		16
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"c\",M[1]}}"
		}
	}

	junction {
		id         		144
		position   		[20 277 5]
		chart      		2
		linkNode   		[16 145 143]
		visible    		0
		subviewer  		16
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		16
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[2]}}"
		}
	}

	junction {
		id         		145
		position   		[20 166 5]
		chart      		2
		linkNode   		[16 146 144]
		visible    		0
		subviewer  		16
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		16
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[1]}}"
		}
	}

	junction {
		id         		146
		position   		[20 55 5]
		chart      		2
		linkNode   		[16 0 145]
		visible    		0
		subviewer  		16
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		16
		}
	}

	junction {
		id         		147
		position   		[20 55 5]
		chart      		2
		linkNode   		[30 0 148]
		visible    		0
		subviewer  		30
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		30
		}
	}

	junction {
		id         		148
		position   		[20 166 5]
		chart      		2
		linkNode   		[30 147 149]
		visible    		0
		subviewer  		30
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		30
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[1]}}"
		}
	}

	junction {
		id         		149
		position   		[20 277 5]
		chart      		2
		linkNode   		[30 148 150]
		visible    		0
		subviewer  		30
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		30
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[1]}}"
		}
	}

	junction {
		id         		150
		position   		[20 388 5]
		chart      		2
		linkNode   		[30 149 151]
		visible    		0
		subviewer  		30
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		30
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[2]}}"
		}
	}

	junction {
		id         		151
		position   		[20 499 5]
		chart      		2
		linkNode   		[30 150 152]
		visible    		0
		subviewer  		30
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		30
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[3]}}"
		}
	}

	junction {
		id         		152
		position   		[20 610 5]
		chart      		2
		linkNode   		[30 151 153]
		visible    		0
		subviewer  		30
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		30
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[4]}}"
		}
	}

	junction {
		id         		153
		position   		[20 721 5]
		chart      		2
		linkNode   		[30 152 154]
		visible    		0
		subviewer  		30
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		30
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[5]}}"
		}
	}

	junction {
		id         		154
		position   		[248 721 5]
		chart      		2
		linkNode   		[30 153 155]
		visible    		0
		subviewer  		30
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		30
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"c\",M[1]}}"
		}
	}

	junction {
		id         		155
		position   		[607 721 5]
		chart      		2
		linkNode   		[30 154 156]
		visible    		0
		subviewer  		30
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		30
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[2]}}"
		}
	}

	junction {
		id         		156
		position   		[20 874 5]
		chart      		2
		linkNode   		[30 155 157]
		visible    		0
		subviewer  		30
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		30
		}
	}

	junction {
		id         		157
		position   		[224 874 5]
		chart      		2
		linkNode   		[30 156 158]
		visible    		0
		subviewer  		30
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		30
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"c\",M[2]}}"
		}
	}

	junction {
		id         		158
		position   		[583 874 5]
		chart      		2
		linkNode   		[30 157 159]
		visible    		0
		subviewer  		30
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		30
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[3]}}"
		}
	}

	junction {
		id         		159
		position   		[20 1007 5]
		chart      		2
		linkNode   		[30 158 160]
		visible    		0
		subviewer  		30
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		30
		}
	}

	junction {
		id         		160
		position   		[264 1007 5]
		chart      		2
		linkNode   		[30 159 161]
		visible    		0
		subviewer  		30
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		30
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"c\",M[3]}}"
		}
	}

	junction {
		id         		161
		position   		[623 1007 5]
		chart      		2
		linkNode   		[30 160 162]
		visible    		0
		subviewer  		30
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		30
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[2]}}"
		}
	}

	junction {
		id         		162
		position   		[20 1160 5]
		chart      		2
		linkNode   		[30 161 163]
		visible    		0
		subviewer  		30
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		30
		}
	}

	junction {
		id         		163
		position   		[501 1160 5]
		chart      		2
		linkNode   		[30 162 164]
		visible    		0
		subviewer  		30
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		30
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"c\",M[4]}}"
		}
	}

	junction {
		id         		164
		position   		[860 1160 5]
		chart      		2
		linkNode   		[30 163 165]
		visible    		0
		subviewer  		30
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		30
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[2]}}"
		}
	}

	junction {
		id         		165
		position   		[20 1313 5]
		chart      		2
		linkNode   		[30 164 166]
		visible    		0
		subviewer  		30
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		30
		}
	}

	junction {
		id         		166
		position   		[134 1313 5]
		chart      		2
		linkNode   		[30 165 167]
		visible    		0
		subviewer  		30
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		30
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"c\",M[5]}}"
		}
	}

	junction {
		id         		167
		position   		[493 1313 5]
		chart      		2
		linkNode   		[30 166 0]
		visible    		0
		subviewer  		30
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		30
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[3]}}"
		}
	}

	junction {
		id         		168
		position   		[48.6721 48.8061 7]
		chart      		2
		linkNode   		[31 0 0]
		visible    		0
		subviewer  		31
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		169
		position   		[25.7427 68.7608 7]
		chart      		2
		linkNode   		[32 0 0]
		visible    		0
		subviewer  		32
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		170
		position   		[26.3394 64.1154 7]
		chart      		2
		linkNode   		[33 0 171]
		visible    		0
		subviewer  		33
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		171
		position   		[232.0232 64.1154 7]
		chart      		2
		linkNode   		[33 170 172]
		visible    		0
		subviewer  		33
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		172
		position   		[173.9734 104.1349 7]
		chart      		2
		linkNode   		[33 171 173]
		visible    		0
		subviewer  		33
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		173
		position   		[26.3394 128.3922 7]
		chart      		2
		linkNode   		[33 172 174]
		visible    		0
		subviewer  		33
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		174
		position   		[26.3394 175.8435 7]
		chart      		2
		linkNode   		[33 173 175]
		visible    		0
		subviewer  		33
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		175
		position   		[175.1106 175.8435 7]
		chart      		2
		linkNode   		[33 174 176]
		visible    		0
		subviewer  		33
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		176
		position   		[26.3394 223.825 7]
		chart      		2
		linkNode   		[33 175 0]
		visible    		0
		subviewer  		33
		type       		CONNECTIVE_JUNCTION
	}

	junction {
		id         		177
		position   		[20 55 5]
		chart      		2
		linkNode   		[29 0 178]
		visible    		0
		subviewer  		29
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		29
		}
	}

	junction {
		id         		178
		position   		[20 166 5]
		chart      		2
		linkNode   		[29 177 179]
		visible    		0
		subviewer  		29
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		29
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[1]}}"
		}
	}

	junction {
		id         		179
		position   		[20 277 5]
		chart      		2
		linkNode   		[29 178 180]
		visible    		0
		subviewer  		29
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		29
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[2]}}"
		}
	}

	junction {
		id         		180
		position   		[289 277 5]
		chart      		2
		linkNode   		[29 179 181]
		visible    		0
		subviewer  		29
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		29
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"c\",M[1]}}"
		}
	}

	junction {
		id         		181
		position   		[697 277 5]
		chart      		2
		linkNode   		[29 180 182]
		visible    		0
		subviewer  		29
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		29
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[1]}}"
		}
	}

	junction {
		id         		182
		position   		[20 451 5]
		chart      		2
		linkNode   		[29 181 183]
		visible    		0
		subviewer  		29
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		29
		}
	}

	junction {
		id         		183
		position   		[289 451 5]
		chart      		2
		linkNode   		[29 182 184]
		visible    		0
		subviewer  		29
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		29
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"c\",M[2]}}"
		}
	}

	junction {
		id         		184
		position   		[697 451 5]
		chart      		2
		linkNode   		[29 183 185]
		visible    		0
		subviewer  		29
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		29
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[2]}}"
		}
	}

	junction {
		id         		185
		position   		[20 625 5]
		chart      		2
		linkNode   		[29 184 0]
		visible    		0
		subviewer  		29
		type       		CONNECTIVE_JUNCTION
		autogen {
			isAutoCreated		1
			source       		29
		}
	}

	transition {
		id             		186
		labelPosition  		[27.624 127.003 14.97 28.424]
		fontSize       		12
		src {
			id          		44
			intersection		[0 0 1 -1 27.4918 121.5242 0 0]
		}
		dst {
			id          		38
			intersection		[0 0 -1 -1 27.4918 138.1638 0 0]
		}
		midPoint       		[27.4918 125.945]
		chart          		2
		linkNode       		[17 193 226]
		visible        		0
		dataLimits     		[25.092 29.892 121.524 138.164]
		subviewer      		17
		drawStyle      		SMART
		executionOrder 		2
	}

	transition {
		id             		187
		labelString    		"[i >= NUM_FLOOR || task_queue[i] == 0]"
		labelPosition  		[39.804 97.475 434.884 28.424]
		fontSize       		12
		src {
			id          		39
			intersection		[0 1 0 -1 34.4918 114.5242 0 0]
		}
		dst {
			id          		67
			intersection		[0 -1 0 -1 269.9741 114.5242 0 0]
		}
		midPoint       		[153.0914 114.5242]
		chart          		2
		linkNode       		[12 188 201]
		visible        		0
		dataLimits     		[34.492 269.974 112.124 116.924]
		subviewer      		12
		drawStyle      		SMART
		executionOrder 		1
	}

	transition {
		id             		188
		labelPosition  		[25.549 116.155 14.97 28.424]
		fontSize       		12
		src {
			id          		40
			intersection		[0 0 1 -1 27.4918 72.0637 0 0]
		}
		dst {
			id          		39
			intersection		[0 0 -1 -1 27.4918 107.5242 0 0]
		}
		midPoint       		[27.4918 86.3041]
		chart          		2
		linkNode       		[12 191 187]
		visible        		0
		dataLimits     		[25.092 29.892 72.064 107.524]
		subviewer      		12
		drawStyle      		SMART
		executionOrder 		2
	}

	transition {
		id             		189
		labelString    		"{stat = status;}"
		labelPosition  		[51.101 25.954 154.193 28.424]
		fontSize       		12
		src {
			intersection		[0 0.7071 0.7071 0 17.2592 19.6432 0 0]
		}
		dst {
			id          		41
			intersection		[7 -0.7071 -0.7071 -1 38.4724 40.8564 0 0]
		}
		midPoint       		[25.3142 27.6982]
		chart          		2
		linkNode       		[6 0 0]
		visible        		0
		dataLimits     		[17.259 38.472 19.643 40.856]
		subviewer      		6
		drawStyle      		SMART
		executionOrder 		1
	}

	transition {
		id             		190
		labelString    		"{pos = position;}"
		labelPosition  		[60.15 26.913 170.66 28.424]
		fontSize       		12
		src {
			intersection		[0 0.7071 0.7071 0 22.5092 22.6432 0 0]
		}
		dst {
			id          		42
			intersection		[7 -0.7071 -0.7071 -1 43.7224 43.8564 0 0]
		}
		midPoint       		[30.5642 30.6982]
		chart          		2
		linkNode       		[7 0 0]
		visible        		0
		dataLimits     		[22.509 43.722 22.643 43.856]
		subviewer      		7
		drawStyle      		SMART
		executionOrder 		1
	}

	transition {
		id             		191
		labelString    		"[task_queue[i] > 0 && ...\n"
						"i<NUM_FLOOR && ...\n"
						"task_queue[i] != task_floor]{i++;}"
		labelPosition  		[82.152 46.927 345.063 82.279]
		fontSize       		12
		src {
			id          		40
			intersection		[0 0.8603 -0.5098 -1 33.5138 61.4951 0 0]
		}
		dst {
			id          		40
			intersection		[0 0.6207 0.784 -1 31.8369 70.5518 0 0]
		}
		midPoint       		[64.1289 61.1695]
		chart          		2
		linkNode       		[12 192 188]
		visible        		0
		dataLimits     		[31.837 64.151 58.529 78.313]
		subviewer      		12
		slide {
			midPointSticky		1
		}
		executionOrder 		1
	}

	transition {
		id             		192
		labelString    		"{i=0;}"
		labelPosition  		[38.85 33.157 57.635 28.424]
		fontSize       		12
		src {
			intersection		[0 0 1 0 27.4918 26.3639 0 0]
		}
		dst {
			id          		40
			intersection		[7 0 -1 -1 27.4918 58.0637 0 0]
		}
		midPoint       		[27.4918 38.6422]
		chart          		2
		linkNode       		[12 0 191]
		visible        		0
		dataLimits     		[25.092 29.892 26.364 58.064]
		subviewer      		12
		slide {
			sticky        		BOTH_STICK
		}
		executionOrder 		1
	}

	transition {
		id             		193
		labelString    		"[i >= NUM_FLOOR || hall_call_queue[i] == 0]"
		labelPosition  		[40.475 97.887 476.8 28.424]
		fontSize       		12
		src {
			id          		44
			intersection		[0 1 0 -1 34.4918 114.5242 0 0]
		}
		dst {
			id          		43
			intersection		[0 -1 0 -1 289.7868 114.5242 0 0]
		}
		midPoint       		[163.4285 114.5242]
		chart          		2
		linkNode       		[17 197 186]
		visible        		0
		dataLimits     		[34.492 289.787 112.124 116.924]
		subviewer      		17
		drawStyle      		SMART
		executionOrder 		1
	}

	transition {
		id             		194
		labelString    		"[car_call_status[task_floor] != 0]"
		labelPosition  		[45.794 45.132 339.823 28.424]
		fontSize       		12
		src {
			id          		47
			intersection		[0 1 0 -1 33.3394 64.1154 0 0]
		}
		dst {
			id          		46
			intersection		[0 -1 0 -1 225.0232 64.1154 0 0]
		}
		midPoint       		[129.0876 64.1154]
		chart          		2
		linkNode       		[18 195 212]
		visible        		0
		dataLimits     		[33.339 225.023 61.715 66.515]
		subviewer      		18
		drawStyle      		SMART
		executionOrder 		1
	}

	transition {
		id             		195
		labelPosition  		[27.292 33.26 14.97 28.424]
		fontSize       		12
		src {
			intersection		[0 0 1 0 26.3394 33.9908 0 0]
		}
		dst {
			id          		47
			intersection		[7 0 -1 -1 26.3394 57.1154 0 0]
		}
		midPoint       		[26.3394 41.7951]
		chart          		2
		linkNode       		[18 0 194]
		visible        		0
		dataLimits     		[23.939 28.739 33.991 57.115]
		subviewer      		18
		drawStyle      		SMART
		executionOrder 		1
	}

	transition {
		id             		196
		labelString    		"[hall_call_queue[i] > 0 && ...\n"
						"i<NUM_FLOOR && ...\n"
						"hall_call_queue[i] != hall_call_floor]{i++;}"
		labelPosition  		[82.152 46.927 428.896 82.279]
		fontSize       		12
		src {
			id          		63
			intersection		[0 0.8603 -0.5098 -1 33.5138 61.4951 0 0]
		}
		dst {
			id          		63
			intersection		[0 0.6207 0.784 -1 31.8369 70.5518 0 0]
		}
		midPoint       		[64.1289 61.1695]
		chart          		2
		linkNode       		[17 221 197]
		visible        		0
		dataLimits     		[31.837 64.151 58.529 78.313]
		subviewer      		17
		slide {
			midPointSticky		1
		}
		executionOrder 		1
	}

	transition {
		id             		197
		labelPosition  		[25.549 116.155 14.97 28.424]
		fontSize       		12
		src {
			id          		63
			intersection		[0 0 1 -1 27.4918 72.0637 0 0]
		}
		dst {
			id          		44
			intersection		[0 0 -1 -1 27.4918 107.5242 0 0]
		}
		midPoint       		[27.4918 86.3041]
		chart          		2
		linkNode       		[17 196 193]
		visible        		0
		dataLimits     		[25.092 29.892 72.064 107.524]
		subviewer      		17
		drawStyle      		SMART
		executionOrder 		2
	}

	transition {
		id             		198
		labelString    		"{task_queue[i] = task_floor;}"
		labelPosition  		[34.719 190.855 296.41 28.424]
		fontSize       		12
		src {
			id          		56
			intersection		[0 0 1 -1 26.3394 182.8435 0 0]
		}
		dst {
			id          		45
			intersection		[0 0 -1 -1 26.3394 216.825 0 0]
		}
		midPoint       		[26.3394 196.3123]
		chart          		2
		linkNode       		[18 206 0]
		visible        		0
		dataLimits     		[23.939 28.739 182.844 216.825]
		subviewer      		18
		drawStyle      		SMART
		executionOrder 		2
	}

	transition {
		id             		199
		labelString    		"[hall_call_status[hall_call_floor] != 0]"
		labelPosition  		[40.104 36.387 385.482 28.424]
		fontSize       		12
		src {
			id          		49
			intersection		[0 1 0 -1 29.0754 54.4595 0 0]
		}
		dst {
			id          		48
			intersection		[0 -1 0 -1 246.6334 54.4595 0 0]
		}
		midPoint       		[138.3232 54.4595]
		chart          		2
		linkNode       		[14 200 232]
		visible        		0
		dataLimits     		[29.075 246.633 52.06 56.859]
		subviewer      		14
		drawStyle      		SMART
		executionOrder 		1
	}

	transition {
		id             		200
		labelPosition  		[21.871 34.272 14.97 28.424]
		fontSize       		12
		src {
			intersection		[0 0 1 0 22.0754 25.1347 0 0]
		}
		dst {
			id          		49
			intersection		[7 0 -1 -1 22.0754 47.4595 0 0]
		}
		midPoint       		[22.0754 32.5217]
		chart          		2
		linkNode       		[14 0 199]
		visible        		0
		dataLimits     		[19.675 24.475 25.135 47.459]
		subviewer      		14
		drawStyle      		SMART
		executionOrder 		1
	}

	transition {
		id             		201
		labelPosition  		[27.624 127.003 14.97 28.424]
		fontSize       		12
		src {
			id          		39
			intersection		[0 0 1 -1 27.4918 121.5242 0 0]
		}
		dst {
			id          		68
			intersection		[0 0 -1 -1 27.4918 138.1638 0 0]
		}
		midPoint       		[27.4918 125.945]
		chart          		2
		linkNode       		[12 187 223]
		visible        		0
		dataLimits     		[25.092 29.892 121.524 138.164]
		subviewer      		12
		drawStyle      		SMART
		executionOrder 		2
	}

	transition {
		id             		202
		labelPosition  		[20.45 57.121 14.97 28.424]
		fontSize       		12
		src {
			intersection		[1 1.4142 1.4142 0 20 25 0 0]
		}
		dst {
			id          		74
			intersection		[1 0 -1 0 20 50 0 0]
		}
		midPoint       		[24.2193 35.0186]
		chart          		2
		linkNode       		[3 0 203]
		visible        		0
		dataLimits     		[17.6 25.089 25 50]
		subviewer      		3
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		3
		}
	}

	transition {
		id             		203
		labelString    		"{\n"
						"$ $\n"
						"/* Action 'INIT': Initialization */\n"
						"request_floor = hall_call_queue[0];\n"
						"}"
		labelPosition  		[28.638 237.223 365.272 136.134]
		fontSize       		12
		src {
			id          		74
			intersection		[1 0 1 0 20 60 0 0]
		}
		dst {
			id          		73
			intersection		[1 0 -1 0 20 161 0 0]
		}
		midPoint       		[20 108.4349]
		chart          		2
		linkNode       		[3 202 204]
		visible        		0
		dataLimits     		[17.6 22.4 60 161]
		subviewer      		3
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[1]}}"
		}
	}

	transition {
		id             		204
		labelString    		"{\n"
						"$ $\n"
						"/* Condition 'fire_alarm_on': Fire alarm is on */\n"
						"fire_alarm_on = (fire_alarm);\n"
						"}"
		labelPosition  		[28.638 347.74 485.034 136.134]
		fontSize       		12
		src {
			id          		73
			intersection		[1 0 1 0 20 171 0 0]
		}
		dst {
			id          		69
			intersection		[1 0 -1 0 20 272 0 0]
		}
		midPoint       		[20 219.4349]
		chart          		2
		linkNode       		[3 203 205]
		visible        		0
		dataLimits     		[17.6 22.4 171 272]
		subviewer      		3
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[1]}}"
		}
	}

	transition {
		id             		205
		labelString    		"{\n"
						"$ $\n"
						"/* Condition 'request_outstanding': There is outstanding r"
						"equest */\n"
						"request_outstanding = (request_floor > 0);\n"
						"}"
		labelPosition  		[28.638 459.076 688.628 136.134]
		fontSize       		12
		src {
			id          		69
			intersection		[1 0 1 0 20 282 0 0]
		}
		dst {
			id          		54
			intersection		[1 0 -1 0 20 383 0 0]
		}
		midPoint       		[20 330.4349]
		chart          		2
		linkNode       		[3 204 222]
		visible        		0
		dataLimits     		[17.6 22.4 282 383]
		subviewer      		3
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[2]}}"
		}
	}

	transition {
		id             		206
		labelString    		"[i >= NUM_FLOOR]"
		labelPosition  		[49.282 156.661 213.325 28.424]
		fontSize       		12
		src {
			id          		56
			intersection		[0 1 0 -1 33.3394 175.8435 0 0]
		}
		dst {
			id          		55
			intersection		[0 -1 0 -1 168.1106 175.8435 0 0]
		}
		midPoint       		[99.3941 175.8435]
		chart          		2
		linkNode       		[18 207 198]
		visible        		0
		dataLimits     		[33.339 168.111 173.444 178.244]
		subviewer      		18
		drawStyle      		SMART
		executionOrder 		1
	}

	transition {
		id             		207
		labelPosition  		[45.265 135.709 14.97 28.424]
		fontSize       		12
		src {
			id          		57
			intersection		[0 0 1 -1 26.3394 135.3922 0 0]
		}
		dst {
			id          		56
			intersection		[0 0 -1 -1 26.3394 168.8435 0 0]
		}
		midPoint       		[26.3394 148.5843]
		chart          		2
		linkNode       		[18 208 206]
		visible        		0
		dataLimits     		[23.939 28.739 135.392 168.844]
		subviewer      		18
		drawStyle      		SMART
		executionOrder 		3
	}

	transition {
		id             		208
		labelString    		"[task_queue[i] > 0 && i<NUM_FLOOR]{i++;}"
		labelPosition  		[62.367 120.813 469.315 28.424]
		fontSize       		12
		src {
			id          		57
			intersection		[0 1 0.004 -1 33.3394 128.4202 0 0]
		}
		dst {
			id          		57
			intersection		[0 0.6454 0.7638 -1 30.8572 133.7388 0 0]
		}
		midPoint       		[51.9562 132.7716]
		chart          		2
		linkNode       		[18 209 207]
		visible        		0
		dataLimits     		[30.857 51.96 128.42 141.398]
		subviewer      		18
		slide {
			sticky        		SRC_STICK
			midPointSticky		1
		}
		executionOrder 		2
	}

	transition {
		id             		209
		labelString    		"[task_queue[i] == task_floor]"
		labelPosition  		[87.22 72.203 300.901 28.424]
		fontSize       		12
		src {
			id          		57
			intersection		[0 0.8619 -0.507 -1 32.3727 124.8432 0 0]
		}
		dst {
			id          		58
			intersection		[0 -0.9789 -0.2046 -1 167.1211 102.7027 0 0]
		}
		midPoint       		[96.8703 96.5944]
		chart          		2
		linkNode       		[18 212 208]
		visible        		0
		dataLimits     		[32.373 167.121 95.179 124.843]
		stampAngle     		-0.3689
		subviewer      		18
		drawStyle      		SMART
		executionOrder 		1
	}

	transition {
		id             		210
		labelString    		"[task_queue[0]]"
		labelPosition  		[55.933 131.085 85.723 16.123]
		fontSize       		12
		src {
			id          		11
			intersection		[3 0 1 0.7796 50.319 120.3171 0 21.875]
		}
		dst {
			id          		13
			intersection		[1 0 -1 0.1533 50.319 158.8925 0 -24.125]
		}
		midPoint       		[50.3176 136.1827]
		chart          		2
		linkNode       		[5 219 211]
		visible        		0
		dataLimits     		[47.919 52.719 120.317 158.893]
		subviewer      		5
		drawStyle      		SMART
		executionOrder 		1
	}

	transition {
		id             		211
		labelString    		"[should_stop()]"
		labelPosition  		[239.803 178.01 84.025 16.123]
		fontSize       		12
		src {
			id          		13
			intersection		[2 1 0 0.744 201.2632 196.4147 0 12.3035]
		}
		dst {
			id          		15
			intersection		[4 -1 0 0.1082 376.5319 196.4147 0 -12.3035]
		}
		midPoint       		[288.4471 196.4147]
		chart          		2
		linkNode       		[5 210 0]
		visible        		0
		dataLimits     		[201.263 376.532 194.015 198.815]
		subviewer      		5
		drawStyle      		SMART
		executionOrder 		1
	}

	transition {
		id             		212
		labelString    		"{i = 0;}"
		labelPosition  		[36.617 81.43 71.108 28.424]
		fontSize       		12
		src {
			id          		47
			intersection		[0 0 1 -1 26.3394 71.1154 0 0]
		}
		dst {
			id          		57
			intersection		[7 0 -1 -1 26.3394 121.3922 0 0]
		}
		midPoint       		[26.3394 93.0861]
		chart          		2
		linkNode       		[18 194 209]
		visible        		0
		dataLimits     		[23.939 28.739 71.115 121.392]
		subviewer      		18
		drawStyle      		SMART
		slide {
			sticky        		BOTH_STICK
		}
		executionOrder 		2
	}

	transition {
		id             		213
		labelString    		"[i >= NUM_FLOOR]"
		labelPosition  		[46.62 142.741 213.325 28.424]
		fontSize       		12
		src {
			id          		64
			intersection		[0 1 0 -1 29.5483 161.9231 0 0]
		}
		dst {
			id          		59
			intersection		[0 -1 0 -1 167.8333 161.9231 0 0]
		}
		midPoint       		[97.4363 161.9231]
		chart          		2
		linkNode       		[14 229 216]
		visible        		0
		dataLimits     		[29.548 167.833 159.523 164.323]
		subviewer      		14
		drawStyle      		SMART
		executionOrder 		1
	}

	transition {
		id             		214
		labelString    		"after(TIME_OUT, CLOCK)"
		labelPosition  		[221.656 89.512 146.832 16.123]
		fontSize       		12
		src {
			id          		20
			intersection		[4 -1 0 0.5203 388.8965 182.3594 0 49.375]
		}
		dst {
			id          		72
			intersection		[0 0.9474 0.3202 -1 213.369 111.0715 0 -8.1835]
		}
		midPoint       		[300.2059 153.6537]
		chart          		2
		linkNode       		[5 220 219]
		visible        		0
		dataLimits     		[213.369 388.897 111.071 182.359]
		stampAngle     		-0.0246
		subviewer      		5
		drawStyle      		SMART
		slide {
			sticky        		SRC_STICK
			arcL          		-16.9148
			arcClockDir   		1
			midPointSticky		1
		}
		executionOrder 		1
	}

	transition {
		id             		215
		labelPosition  		[76.571 107.615 8.487 16.123]
		fontSize       		12
		src {
			intersection		[0 0 1 0 82.2212 40.5143 0 0]
		}
		dst {
			id          		11
			intersection		[1 0 -1 0.4857 82.2212 59.1058 0 0]
		}
		midPoint       		[82.2212 45.9535]
		chart          		2
		linkNode       		[5 0 220]
		visible        		0
		dataLimits     		[79.821 84.621 40.514 59.106]
		subviewer      		5
		drawStyle      		SMART
		executionOrder 		1
	}

	transition {
		id             		216
		labelString    		"{hall_call_queue[i] = hall_call_floor;}"
		labelPosition  		[33.22 174.27 380.243 28.424]
		fontSize       		12
		src {
			id          		64
			intersection		[0 0 1 -1 22.5483 168.9231 0 0]
		}
		dst {
			id          		60
			intersection		[0 0 -1 -1 22.5483 198.4211 0 0]
		}
		midPoint       		[22.5483 180.0527]
		chart          		2
		linkNode       		[14 213 0]
		visible        		0
		dataLimits     		[20.148 24.948 168.923 198.421]
		subviewer      		14
		drawStyle      		SMART
		executionOrder 		2
	}

	transition {
		id             		217
		labelString    		"CAR_CALL_B{Elevator_B.register(car_call_B);}"
		labelPosition  		[60.904 185.986 253.199 14.979]
		fontSize       		12
		src {
			id          		4
			intersection		[4 1 0 0.5256 27.125 205.4448 0 0]
		}
		dst {
			id          		70
			intersection		[7 -1 0 -1 326.5888 205.4448 0 0]
		}
		midPoint       		[179.1063 205.4448]
		chart          		2
		linkNode       		[4 218 0]
		visible        		0
		dataLimits     		[27.125 326.589 203.045 207.845]
		stampAngle     		0.6446
		subviewer      		4
		drawStyle      		SMART
		slide {
			sticky        		SRC_STICK
		}
		executionOrder 		1
	}

	transition {
		id             		218
		labelString    		"CAR_CALL_A{Elevator_A.register(car_call_A);}"
		labelPosition  		[61.681 149.984 253.199 14.979]
		fontSize       		12
		src {
			id          		4
			intersection		[4 1 0 0.6024 27.125 172.1898 0 0]
		}
		dst {
			id          		71
			intersection		[7 -1 0 -1 327.8864 172.1898 0 0]
		}
		midPoint       		[179.7833 172.1898]
		chart          		2
		linkNode       		[4 224 217]
		visible        		0
		dataLimits     		[27.125 327.886 169.79 174.59]
		stampAngle     		0.4936
		subviewer      		4
		drawStyle      		SMART
		slide {
			sticky        		SRC_STICK
		}
		executionOrder 		2
	}

	transition {
		id             		219
		labelString    		"[task_queue[0]]"
		labelPosition  		[178.09 138.092 85.723 16.123]
		fontSize       		12
		src {
			id          		72
			intersection		[0 -0.2877 0.9577 -1 204.7234 115.5342 0 0]
		}
		dst {
			id          		13
			intersection		[1 0 -1 0.7715 160.5314 158.8925 0 0]
		}
		midPoint       		[179.0614 133.3815]
		chart          		2
		linkNode       		[5 214 210]
		visible        		0
		dataLimits     		[158.131 204.723 115.534 158.893]
		stampAngle     		-0.1829
		subviewer      		5
		drawStyle      		SMART
		slide {
			sticky        		BOTH_STICK
			arcL          		-40.7318
			arcClockDir   		1
		}
		executionOrder 		1
	}

	transition {
		id             		220
		labelPosition  		[174.287 89.431 8.487 16.123]
		fontSize       		12
		src {
			id          		72
			intersection		[0 -0.9356 -0.3532 -1 200.1885 106.3581 0 0]
		}
		dst {
			id          		11
			intersection		[2 1 0 0.361 144.0707 81.205 0 0]
		}
		midPoint       		[175.7016 90.3701]
		chart          		2
		linkNode       		[5 215 214]
		visible        		0
		dataLimits     		[144.071 200.188 78.805 106.358]
		stampAngle     		-0.3609
		subviewer      		5
		drawStyle      		SMART
		slide {
			sticky        		BOTH_STICK
			arcL          		-27.6251
			arcClockDir   		1
		}
		executionOrder 		2
	}

	transition {
		id             		221
		labelString    		"{i=0;}"
		labelPosition  		[38.85 33.157 57.635 28.424]
		fontSize       		12
		src {
			intersection		[0 0 1 0 27.4918 26.3639 0 0]
		}
		dst {
			id          		63
			intersection		[7 0 -1 -1 27.4918 58.0637 0 0]
		}
		midPoint       		[27.4918 38.6422]
		chart          		2
		linkNode       		[17 0 196]
		visible        		0
		dataLimits     		[25.092 29.892 26.364 58.064]
		subviewer      		17
		slide {
			sticky        		BOTH_STICK
		}
		executionOrder 		1
	}

	transition {
		id             		222
		labelString    		"{\n"
						"$ $\n"
						"/* Condition 'elevator_A_idle': Elevator A is idle */\n"
						"elevator_A_idle = (Elevator_A.get_status() == IDLE);\n"
						"}"
		labelPosition  		[28.638 569.593 555.394 136.134]
		fontSize       		12
		src {
			id          		54
			intersection		[1 0 1 0 20 393 0 0]
		}
		dst {
			id          		53
			intersection		[1 0 -1 0 20 494 0 0]
		}
		midPoint       		[20 441.4349]
		chart          		2
		linkNode       		[3 205 233]
		visible        		0
		dataLimits     		[17.6 22.4 393 494]
		subviewer      		3
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[3]}}"
		}
	}

	transition {
		id             		223
		labelString    		"{task_queue[i] = task_queue[i+1]; i++;}"
		labelPosition  		[43.737 127.578 408.686 28.424]
		fontSize       		12
		src {
			id          		68
			intersection		[0 1 0 -1 34.4918 145.1638 0 0]
		}
		dst {
			id          		50
			intersection		[0 -1 0 -1 269.839 145.1638 0 0]
		}
		midPoint       		[153.0209 145.1638]
		chart          		2
		linkNode       		[12 201 228]
		visible        		0
		dataLimits     		[34.492 269.839 142.764 147.564]
		subviewer      		12
		drawStyle      		SMART
		slide {
			sticky        		BOTH_STICK
		}
		executionOrder 		1
	}

	transition {
		id             		224
		labelString    		"HALL_CALL{register(hall_call);}"
		labelPosition  		[89.804 120.308 167.8 14.979]
		fontSize       		12
		src {
			id          		4
			intersection		[4 1 0 0.6771 27.125 139.8183 0 0]
		}
		dst {
			id          		61
			intersection		[7 -1 0 -1 327.5754 139.8183 0 0]
		}
		midPoint       		[179.621 139.8183]
		chart          		2
		linkNode       		[4 0 218]
		visible        		0
		dataLimits     		[27.125 327.575 137.418 142.218]
		stampAngle     		0.3246
		subviewer      		4
		drawStyle      		SMART
		slide {
			sticky        		SRC_STICK
		}
		executionOrder 		3
	}

	transition {
		id             		225
		labelString    		"{enqueue(car_call_floor);\n"
						"car_call_status[car_call_floor] = 1;}"
		labelPosition  		[36.656 30.219 371.26 55.351]
		fontSize       		12
		src {
			intersection		[0 0 1 0 25.7427 22.942 0 0]
		}
		dst {
			id          		102
			intersection		[7 0 -1 -1 25.7427 61.7608 0 0]
		}
		midPoint       		[25.7427 38.9346]
		chart          		2
		linkNode       		[8 0 0]
		visible        		0
		dataLimits     		[23.343 28.143 22.942 61.761]
		subviewer      		8
		executionOrder 		1
	}

	transition {
		id             		226
		labelString    		"{hall_call_queue[i] = hall_call_queue[i+1]; i++;}"
		labelPosition  		[38.11 126.234 492.519 28.424]
		fontSize       		12
		src {
			id          		38
			intersection		[0 1 0 -1 34.4918 145.1638 0 0]
		}
		dst {
			id          		62
			intersection		[0 -1 0 -1 291.5321 145.1638 0 0]
		}
		midPoint       		[164.3391 145.1638]
		chart          		2
		linkNode       		[17 186 227]
		visible        		0
		dataLimits     		[34.492 291.532 142.764 147.564]
		subviewer      		17
		drawStyle      		SMART
		slide {
			sticky        		BOTH_STICK
		}
		executionOrder 		1
	}

	transition {
		id             		227
		labelString    		"[i < NUM_FLOOR]"
		labelPosition  		[113.343 150.675 199.103 28.424]
		fontSize       		12
		src {
			id          		62
			intersection		[0 -0.9655 0.2602 -1 291.7733 146.9855 0 0]
		}
		dst {
			id          		38
			intersection		[0 0.9655 0.2602 -1 34.2506 146.9855 0 0]
		}
		midPoint       		[163.0119 169.6993]
		chart          		2
		linkNode       		[17 226 265]
		visible        		0
		dataLimits     		[34.251 291.773 146.75 169.694]
		stampAngle     		-0.2632
		subviewer      		17
		drawStyle      		SMART
		slide {
			sticky        		SRC_STICK
		}
		executionOrder 		1
	}

	transition {
		id             		228
		labelString    		"[i < NUM_FLOOR]"
		labelPosition  		[106.799 149.196 199.103 28.424]
		fontSize       		12
		src {
			id          		50
			intersection		[0 -0.9654 0.2608 -1 270.0812 146.9891 0 0]
		}
		dst {
			id          		68
			intersection		[0 0.9654 0.2608 -1 34.2496 146.9891 0 0]
		}
		midPoint       		[152.1654 167.885]
		chart          		2
		linkNode       		[12 223 264]
		visible        		0
		dataLimits     		[34.25 270.081 146.759 167.882]
		stampAngle     		-0.2638
		subviewer      		12
		drawStyle      		SMART
		slide {
			sticky        		SRC_STICK
			midPointSticky		1
		}
		executionOrder 		1
	}

	transition {
		id             		229
		labelPosition  		[41.474 121.789 14.97 28.424]
		fontSize       		12
		src {
			id          		66
			intersection		[0 0 1 -1 22.5483 110.5089 0 0]
		}
		dst {
			id          		64
			intersection		[0 0 -1 -1 22.5483 154.9231 0 0]
		}
		midPoint       		[22.5483 129.4208]
		chart          		2
		linkNode       		[14 230 213]
		visible        		0
		dataLimits     		[20.148 24.948 110.509 154.923]
		subviewer      		14
		drawStyle      		SMART
		executionOrder 		3
	}

	transition {
		id             		230
		labelString    		"[hall_call_queue[i] > 0 && i<NUM_FLOOR]{i++;}"
		labelPosition  		[59.002 113.923 511.232 28.424]
		fontSize       		12
		src {
			id          		66
			intersection		[0 1 0.004 -1 29.5483 103.5369 0 0]
		}
		dst {
			id          		66
			intersection		[0 0.6454 0.7638 -1 27.0661 108.8555 0 0]
		}
		midPoint       		[48.1651 107.8883]
		chart          		2
		linkNode       		[14 231 229]
		visible        		0
		dataLimits     		[27.066 48.169 103.536 116.515]
		subviewer      		14
		slide {
			sticky        		SRC_STICK
			midPointSticky		1
		}
		executionOrder 		2
	}

	transition {
		id             		231
		labelString    		"[hall_call_queue[i] == hall_call_floor]"
		labelPosition  		[86.338 65.633 384.734 28.424]
		fontSize       		12
		src {
			id          		66
			intersection		[0 0.9403 -0.3404 -1 29.1302 101.1259 0 0]
		}
		dst {
			id          		65
			intersection		[0 -0.9752 -0.2214 -1 168.7432 92.453 0 0]
		}
		midPoint       		[98.073 82.8864]
		chart          		2
		linkNode       		[14 232 230]
		visible        		0
		dataLimits     		[29.13 168.743 82.664 101.126]
		stampAngle     		-0.2853
		subviewer      		14
		drawStyle      		SMART
		slide {
			midPointSticky		1
		}
		executionOrder 		1
	}

	transition {
		id             		232
		labelString    		"{i = 0;}"
		labelPosition  		[32.485 68.464 71.108 28.424]
		fontSize       		12
		src {
			id          		49
			intersection		[0 0.0096 1 -1 22.1429 61.4592 0 0]
		}
		dst {
			id          		66
			intersection		[7 -0.0096 -1 -1 22.4808 96.5092 0 0]
		}
		midPoint       		[22.2781 75.4856]
		chart          		2
		linkNode       		[14 199 231]
		visible        		0
		dataLimits     		[20.004 24.804 61.459 96.509]
		subviewer      		14
		drawStyle      		SMART
		executionOrder 		2
	}

	transition {
		id             		233
		labelString    		"{\n"
						"$ $\n"
						"/* Condition 'elevator_B_idle': Elevator B is idle */\n"
						"elevator_B_idle = (Elevator_B.get_status() == IDLE);\n"
						"}"
		labelPosition  		[28.638 680.11 555.394 136.134]
		fontSize       		12
		src {
			id          		53
			intersection		[1 0 1 0 20 504 0 0]
		}
		dst {
			id          		52
			intersection		[1 0 -1 0 20 605 0 0]
		}
		midPoint       		[20 552.4349]
		chart          		2
		linkNode       		[3 222 234]
		visible        		0
		dataLimits     		[17.6 22.4 504 605]
		subviewer      		3
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[4]}}"
		}
	}

	transition {
		id             		234
		labelString    		"{\n"
						"$ $\n"
						"/* Condition 'elevator_A_closer': Elevator A is closer to "
						"request */\n"
						"elevator_A_closer = (fabs(Elevator_A.get_position() - requ"
						"est_floor) <= fabs(Elevator_B.get_position() - request_flo"
						"or));\n"
						"}"
		labelPosition  		[28.638 790.627 1253.752 136.134]
		fontSize       		12
		src {
			id          		52
			intersection		[1 0 1 0 20 615 0 0]
		}
		dst {
			id          		51
			intersection		[1 0 -1 0 20 716 0 0]
		}
		midPoint       		[20 663.4349]
		chart          		2
		linkNode       		[3 233 235]
		visible        		0
		dataLimits     		[17.6 22.4 615 716]
		subviewer      		3
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[5]}}"
		}
	}

	transition {
		id             		235
		labelString    		"[fire_alarm_on]   /* D1 */"
		labelPosition  		[122.8 752.151 256.739 28.424]
		fontSize       		12
		src {
			id          		51
			intersection		[1 1 0 0 25 721 0 0]
		}
		dst {
			id          		75
			intersection		[1 -1 0 0 235 721 0 0]
		}
		midPoint       		[130.3045 721]
		chart          		2
		linkNode       		[3 234 236]
		visible        		0
		dataLimits     		[25 235 718.6 723.4]
		subviewer      		3
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"c\",M[1]}}"
		}
	}

	transition {
		id             		236
		labelString    		"{\n"
						"$ $\n"
						"/* Action 'EMR': Emergency */\n"
						"Elevator_A.register(floor(Elevator_A.get_position()+Elevat"
						"or_A.get_direction()/2));\n"
						"Elevator_B.register(floor(Elevator_B.get_position()+Elevat"
						"or_B.get_direction()/2));\n"
						"}"
		labelPosition  		[573.956 888.865 858.54 163.062]
		fontSize       		12
		src {
			id          		75
			intersection		[1 1 0 0 245 721 0 0]
		}
		dst {
			id          		76
			intersection		[1 -1 0 0 920 721 0 0]
		}
		midPoint       		[592.9132 721]
		chart          		2
		linkNode       		[3 235 280]
		visible        		0
		dataLimits     		[245 920 718.6 723.4]
		subviewer      		3
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[5]}}"
		}
	}

	transition {
		id             		237
		labelString    		"[fire_alarm]{status = EMERG;}\n"
						"/* Resets the timeout counter */"
		labelPosition  		[479.197 168.364 174.84 30.549]
		fontSize       		12
		src {
			id          		20
			intersection		[2 1 0 0.2826 460.4365 175.4091 0 0]
		}
		dst {
			id          		20
			intersection		[2 1 0 0.7071 460.4365 190.3764 0 0]
		}
		midPoint       		[471.934 178.4751]
		chart          		2
		linkNode       		[15 0 0]
		visible        		0
		dataLimits     		[460.436 472.842 175.227 192.776]
		subviewer      		5
		slide {
			sticky        		SRC_STICK
		}
		executionOrder 		2
	}

	transition {
		id             		238
		labelString    		"{\n"
						"$ $\n"
						"/* Condition 'this_hall_call_outstanding': This hall call "
						"is still outstanding in queue */\n"
						"this_hall_call_outstanding = (Elevator_Manager.exists_in_q"
						"ueue(cur_floor));\n"
						"}"
		labelPosition  		[29.59 721.259 868.27 136.134]
		fontSize       		12
		src {
			id          		127
			intersection		[1 0 1 0 20 615 0 0]
		}
		dst {
			id          		126
			intersection		[1 0 -1 0 20 716 0 0]
		}
		midPoint       		[20 663.4349]
		chart          		2
		linkNode       		[21 287 239]
		visible        		0
		dataLimits     		[17.6 22.4 615 716]
		subviewer      		21
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		21
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[5]}}"
		}
	}

	transition {
		id             		239
		labelString    		"[at_destination]   /* D1 */"
		labelPosition  		[129.221 737.362 257.487 28.424]
		fontSize       		12
		src {
			id          		126
			intersection		[1 1 0 0 25 721 0 0]
		}
		dst {
			id          		125
			intersection		[1 -1 0 0 243 721 0 0]
		}
		midPoint       		[134.4784 721]
		chart          		2
		linkNode       		[21 238 240]
		visible        		0
		dataLimits     		[25 243 718.6 723.4]
		subviewer      		21
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		21
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"c\",M[1]}}"
		}
	}

	transition {
		id             		240
		labelString    		"{\n"
						"$ $\n"
						"/* Action 'S': Should stop at this floor */\n"
						"position = cur_floor; /* Adjust position */\n"
						"ans = 1;\n"
						"}"
		labelPosition  		[422.122 804.77 415.422 163.062]
		fontSize       		12
		src {
			id          		125
			intersection		[1 1 0 0 253 721 0 0]
		}
		dst {
			id          		124
			intersection		[1 -1 0 0 602 721 0 0]
		}
		midPoint       		[430.8263 721]
		chart          		2
		linkNode       		[21 239 241]
		visible        		0
		dataLimits     		[253 602 718.6 723.4]
		subviewer      		21
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		21
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[2]}}"
		}
	}

	transition {
		id             		241
		labelPosition  		[19.477 751.218 14.97 28.424]
		fontSize       		12
		src {
			id          		126
			intersection		[1 0 1 0 20 726 0 0]
		}
		dst {
			id          		123
			intersection		[1 0 -1 0 20 869 0 0]
		}
		midPoint       		[20 796.348]
		chart          		2
		linkNode       		[21 240 242]
		visible        		0
		dataLimits     		[17.6 22.4 726 869]
		subviewer      		21
		executionOrder 		2
		autogen {
			isAutoCreated		1
			source       		21
		}
	}

	transition {
		id             		242
		labelString    		"[!at_a_floor]   /* D2 */"
		labelPosition  		[117.235 890.152 224.553 28.424]
		fontSize       		12
		src {
			id          		123
			intersection		[1 1 0 0 25 874 0 0]
		}
		dst {
			id          		122
			intersection		[1 -1 0 0 219 874 0 0]
		}
		midPoint       		[121.9567 874]
		chart          		2
		linkNode       		[21 241 243]
		visible        		0
		dataLimits     		[25 219 871.6 876.4]
		subviewer      		21
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		21
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"c\",M[2]}}"
		}
	}

	transition {
		id             		243
		labelString    		"{\n"
						"$ $\n"
						"/* Action 'C': Should not stop, continue */\n"
						"ans = 0;\n"
						"}"
		labelPosition  		[398.151 944.078 425.902 136.134]
		fontSize       		12
		src {
			id          		122
			intersection		[1 1 0 0 229 874 0 0]
		}
		dst {
			id          		121
			intersection		[1 -1 0 0 578 874 0 0]
		}
		midPoint       		[406.8263 874]
		chart          		2
		linkNode       		[21 242 244]
		visible        		0
		dataLimits     		[229 578 871.6 876.4]
		subviewer      		21
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		21
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[3]}}"
		}
	}

	transition {
		id             		244
		labelPosition  		[19.477 902.136 14.97 28.424]
		fontSize       		12
		src {
			id          		123
			intersection		[1 0 1 0 20 879 0 0]
		}
		dst {
			id          		77
			intersection		[1 0 -1 0 20 1002 0 0]
		}
		midPoint       		[20 938.9132]
		chart          		2
		linkNode       		[21 243 245]
		visible        		0
		dataLimits     		[17.6 22.4 879 1002]
		subviewer      		21
		executionOrder 		2
		autogen {
			isAutoCreated		1
			source       		21
		}
	}

	transition {
		id             		245
		labelString    		"[request_from_car]   /* D3 */"
		labelPosition  		[137.461 1023.095 297.907 28.424]
		fontSize       		12
		src {
			id          		77
			intersection		[1 1 0 0 25 1007 0 0]
		}
		dst {
			id          		78
			intersection		[1 -1 0 0 259 1007 0 0]
		}
		midPoint       		[142.8263 1007]
		chart          		2
		linkNode       		[21 244 270]
		visible        		0
		dataLimits     		[25 259 1004.6 1009.4]
		subviewer      		21
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		21
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"c\",M[3]}}"
		}
	}

	transition {
		id             		246
		labelString    		"{dir = direction;}"
		labelPosition  		[60.15 26.913 167.666 28.424]
		fontSize       		12
		src {
			intersection		[0 0.7071 0.7071 0 22.5092 22.6432 0 0]
		}
		dst {
			id          		79
			intersection		[7 -0.7071 -0.7071 -1 43.7224 43.8564 0 0]
		}
		midPoint       		[30.5642 30.6982]
		chart          		2
		linkNode       		[22 0 0]
		visible        		0
		dataLimits     		[22.509 43.722 22.643 43.856]
		subviewer      		22
		executionOrder 		1
	}

	transition {
		id             		247
		labelPosition  		[17.994 1641.2 14.97 28.424]
		fontSize       		12
		src {
			id          		83
			intersection		[1 0 1 0 20 1604 0 0]
		}
		dst {
			id          		80
			intersection		[1 0 -1 0 20 1747 0 0]
		}
		midPoint       		[20 1674.348]
		chart          		2
		linkNode       		[3 248 0]
		visible        		0
		dataLimits     		[17.6 22.4 1604 1747]
		subviewer      		3
		executionOrder 		2
		autogen {
			isAutoCreated		1
			source       		3
		}
	}

	transition {
		id             		248
		labelString    		"{\n"
						"$ $\n"
						"/* Action 'B': Elevator B should respond to request */\n"
						"Elevator_B.enqueue(request_floor);\n"
						"dequeue(request_floor);\n"
						"}"
		labelPosition  		[773.742 1764.816 544.166 163.062]
		fontSize       		12
		src {
			id          		82
			intersection		[1 1 0 0 563 1599 0 0]
		}
		dst {
			id          		81
			intersection		[1 -1 0 0 1001 1599 0 0]
		}
		midPoint       		[787.261 1599]
		chart          		2
		linkNode       		[3 249 247]
		visible        		0
		dataLimits     		[563 1001 1596.6 1601.4]
		subviewer      		3
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[3]}}"
		}
	}

	transition {
		id             		249
		labelString    		"[elevator_A_idle&&elevator_B_idle&&!elevator_A_closer]   /"
						"* D7 */"
		labelPosition  		[281.646 1628.102 691.622 28.424]
		fontSize       		12
		src {
			id          		83
			intersection		[1 1 0 0 25 1599 0 0]
		}
		dst {
			id          		82
			intersection		[1 -1 0 0 553 1599 0 0]
		}
		midPoint       		[296.2176 1599]
		chart          		2
		linkNode       		[3 250 248]
		visible        		0
		dataLimits     		[25 553 1596.6 1601.4]
		subviewer      		3
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"c\",M[7]}}"
		}
	}

	transition {
		id             		250
		labelPosition  		[17.994 1488.932 14.97 28.424]
		fontSize       		12
		src {
			id          		86
			intersection		[1 0 1 0 20 1451 0 0]
		}
		dst {
			id          		83
			intersection		[1 0 -1 0 20 1594 0 0]
		}
		midPoint       		[20 1521.348]
		chart          		2
		linkNode       		[3 251 249]
		visible        		0
		dataLimits     		[17.6 22.4 1451 1594]
		subviewer      		3
		executionOrder 		2
		autogen {
			isAutoCreated		1
			source       		3
		}
	}

	transition {
		id             		251
		labelString    		"{\n"
						"$ $\n"
						"/* Action 'A': Elevator A should respond to request */\n"
						"Elevator_A.enqueue(request_floor);\n"
						"dequeue(request_floor);\n"
						"}"
		labelPosition  		[765.554 1612.548 544.166 163.062]
		fontSize       		12
		src {
			id          		85
			intersection		[1 1 0 0 555 1446 0 0]
		}
		dst {
			id          		84
			intersection		[1 -1 0 0 993 1446 0 0]
		}
		midPoint       		[779.261 1446]
		chart          		2
		linkNode       		[3 252 250]
		visible        		0
		dataLimits     		[555 993 1443.6 1448.4]
		subviewer      		3
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[2]}}"
		}
	}

	transition {
		id             		252
		labelString    		"[elevator_A_idle&&elevator_B_idle&&elevator_A_closer]   /*"
						" D6 */"
		labelPosition  		[277.552 1475.834 683.389 28.424]
		fontSize       		12
		src {
			id          		86
			intersection		[1 1 0 0 25 1446 0 0]
		}
		dst {
			id          		85
			intersection		[1 -1 0 0 545 1446 0 0]
		}
		midPoint       		[292.0436 1446]
		chart          		2
		linkNode       		[3 253 251]
		visible        		0
		dataLimits     		[25 545 1443.6 1448.4]
		subviewer      		3
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"c\",M[6]}}"
		}
	}

	transition {
		id             		253
		labelPosition  		[17.994 1336.664 14.97 28.424]
		fontSize       		12
		src {
			id          		89
			intersection		[1 0 1 0 20 1298 0 0]
		}
		dst {
			id          		86
			intersection		[1 0 -1 0 20 1441 0 0]
		}
		midPoint       		[20 1368.348]
		chart          		2
		linkNode       		[3 254 252]
		visible        		0
		dataLimits     		[17.6 22.4 1298 1441]
		subviewer      		3
		executionOrder 		2
		autogen {
			isAutoCreated		1
			source       		3
		}
	}

	transition {
		id             		254
		labelString    		"{\n"
						"$ $\n"
						"/* Action 'B': Elevator B should respond to request */\n"
						"Elevator_B.enqueue(request_floor);\n"
						"dequeue(request_floor);\n"
						"}"
		labelPosition  		[618.99 1460.28 544.166 163.062]
		fontSize       		12
		src {
			id          		88
			intersection		[1 1 0 0 408 1293 0 0]
		}
		dst {
			id          		87
			intersection		[1 -1 0 0 846 1293 0 0]
		}
		midPoint       		[632.261 1293]
		chart          		2
		linkNode       		[3 255 253]
		visible        		0
		dataLimits     		[408 846 1290.6 1295.4]
		subviewer      		3
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[3]}}"
		}
	}

	transition {
		id             		255
		labelString    		"[!elevator_A_idle&&elevator_B_idle]   /* D5 */"
		labelPosition  		[203.861 1322.747 472.309 28.424]
		fontSize       		12
		src {
			id          		89
			intersection		[1 1 0 0 25 1293 0 0]
		}
		dst {
			id          		88
			intersection		[1 -1 0 0 398 1293 0 0]
		}
		midPoint       		[215.348 1293]
		chart          		2
		linkNode       		[3 256 254]
		visible        		0
		dataLimits     		[25 398 1290.6 1295.4]
		subviewer      		3
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"c\",M[5]}}"
		}
	}

	transition {
		id             		256
		labelPosition  		[17.994 1183.577 14.97 28.424]
		fontSize       		12
		src {
			id          		92
			intersection		[1 0 1 0 20 1145 0 0]
		}
		dst {
			id          		89
			intersection		[1 0 -1 0 20 1288 0 0]
		}
		midPoint       		[20 1215.348]
		chart          		2
		linkNode       		[3 257 255]
		visible        		0
		dataLimits     		[17.6 22.4 1145 1288]
		subviewer      		3
		executionOrder 		2
		autogen {
			isAutoCreated		1
			source       		3
		}
	}

	transition {
		id             		257
		labelString    		"{\n"
						"$ $\n"
						"/* Action 'A': Elevator A should respond to request */\n"
						"Elevator_A.enqueue(request_floor);\n"
						"dequeue(request_floor);\n"
						"}"
		labelPosition  		[618.99 1307.193 544.166 163.062]
		fontSize       		12
		src {
			id          		91
			intersection		[1 1 0 0 408 1140 0 0]
		}
		dst {
			id          		90
			intersection		[1 -1 0 0 846 1140 0 0]
		}
		midPoint       		[632.261 1140]
		chart          		2
		linkNode       		[3 258 256]
		visible        		0
		dataLimits     		[408 846 1137.6 1142.4]
		subviewer      		3
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[2]}}"
		}
	}

	transition {
		id             		258
		labelString    		"[elevator_A_idle&&!elevator_B_idle]   /* D4 */"
		labelPosition  		[203.861 1170.479 472.309 28.424]
		fontSize       		12
		src {
			id          		92
			intersection		[1 1 0 0 25 1140 0 0]
		}
		dst {
			id          		91
			intersection		[1 -1 0 0 398 1140 0 0]
		}
		midPoint       		[215.348 1140]
		chart          		2
		linkNode       		[3 286 257]
		visible        		0
		dataLimits     		[25 398 1137.6 1142.4]
		subviewer      		3
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"c\",M[4]}}"
		}
	}

	transition {
		id             		259
		labelString    		"{\n"
						"$ $\n"
						"/* Action 'C': Should not stop, continue */\n"
						"ans = 0;\n"
						"}"
		labelPosition  		[308.258 1382.601 425.902 136.134]
		fontSize       		12
		src {
			id          		99
			intersection		[1 1 0 0 139 1313 0 0]
		}
		dst {
			id          		98
			intersection		[1 -1 0 0 488 1313 0 0]
		}
		midPoint       		[316.8263 1313]
		chart          		2
		linkNode       		[21 260 0]
		visible        		0
		dataLimits     		[139 488 1310.6 1315.4]
		subviewer      		21
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		21
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[3]}}"
		}
	}

	transition {
		id             		260
		labelString    		"/* Default */"
		labelPosition  		[72.289 1328.675 122.007 28.424]
		fontSize       		12
		src {
			id          		100
			intersection		[1 1 0 0 25 1313 0 0]
		}
		dst {
			id          		99
			intersection		[1 -1 0 0 129 1313 0 0]
		}
		midPoint       		[75.0002 1313]
		chart          		2
		linkNode       		[21 266 259]
		visible        		0
		dataLimits     		[25 129 1310.6 1315.4]
		subviewer      		21
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		21
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"c\",M[5]}}"
		}
	}

	transition {
		id             		261
		labelString    		"{enqueue(hall_call_floor);\n"
						"hall_call_status[hall_call_floor] = 1;}"
		labelPosition  		[37.406 30.969 378.746 55.351]
		fontSize       		12
		src {
			intersection		[0 0 1 0 25.7427 22.942 0 0]
		}
		dst {
			id          		101
			intersection		[7 0 -1 -1 25.7427 61.7608 0 0]
		}
		midPoint       		[25.7427 38.9346]
		chart          		2
		linkNode       		[19 0 0]
		visible        		0
		dataLimits     		[23.343 28.143 22.942 61.761]
		subviewer      		19
		drawStyle      		SMART
		executionOrder 		1
	}

	transition {
		id             		262
		labelString    		"{dequeue(car_call_floor);\n"
						"car_call_status[car_call_floor] = 0;\n"
						"ml.sf_elevator_gui(\"deactivate\",\"carA\",car_call_floor)"
						";}"
		labelPosition  		[38.7 49.621 282.414 41.942]
		fontSize       		12
		src {
			intersection		[0 0 1 0 27.7869 37.9546 0 0]
		}
		dst {
			id          		103
			intersection		[7 0 -1 -1 27.7869 96.9651 0 0]
		}
		midPoint       		[27.7869 64.482]
		chart          		2
		linkNode       		[10 0 0]
		visible        		0
		dataLimits     		[25.387 30.187 37.955 96.965]
		subviewer      		10
		drawStyle      		SMART
		executionOrder 		1
	}

	transition {
		id             		263
		labelString    		"{dequeue(hall_call_floor);\n"
						"hall_call_status[hall_call_floor] = 0;\n"
						"ml.sf_elevator_gui(\"deactivate\",\"hall\", hall_call_floo"
						"r);}"
		labelPosition  		[36.563 30.206 565.873 82.279]
		fontSize       		12
		src {
			intersection		[0 0 1 0 25.8044 25.1795 0 0]
		}
		dst {
			id          		104
			intersection		[7 0 -1 -1 25.8044 88.9695 0 0]
		}
		midPoint       		[25.8044 54.2005]
		chart          		2
		linkNode       		[9 0 0]
		visible        		0
		dataLimits     		[23.404 28.204 25.18 88.969]
		subviewer      		9
		drawStyle      		SMART
		executionOrder 		1
	}

	transition {
		id             		264
		labelPosition  		[276.906 156.955 14.97 28.424]
		fontSize       		12
		src {
			id          		50
			intersection		[0 0.0057 1 -1 276.8787 152.1637 0 0]
		}
		dst {
			id          		105
			intersection		[0 -0.0057 -1 -1 276.9725 168.7153 0 0]
		}
		midPoint       		[276.9035 156.5387]
		chart          		2
		linkNode       		[12 228 0]
		visible        		0
		dataLimits     		[274.527 279.327 152.164 168.715]
		subviewer      		12
		drawStyle      		SMART
		executionOrder 		2
	}

	transition {
		id             		265
		labelPosition  		[298.532 158.365 14.97 28.424]
		fontSize       		12
		src {
			id          		62
			intersection		[0 0 1 -1 298.5321 152.1638 0 0]
		}
		dst {
			id          		106
			intersection		[0 0 -1 -1 298.5321 171.0318 0 0]
		}
		midPoint       		[298.5321 157.7473]
		chart          		2
		linkNode       		[17 227 0]
		visible        		0
		dataLimits     		[296.132 300.932 152.164 171.032]
		subviewer      		17
		drawStyle      		SMART
		executionOrder 		2
	}

	transition {
		id             		266
		labelPosition  		[19.477 1189.366 14.97 28.424]
		fontSize       		12
		src {
			id          		109
			intersection		[1 0 1 0 20 1165 0 0]
		}
		dst {
			id          		100
			intersection		[1 0 -1 0 20 1308 0 0]
		}
		midPoint       		[20 1235.348]
		chart          		2
		linkNode       		[21 267 260]
		visible        		0
		dataLimits     		[17.6 22.4 1165 1308]
		subviewer      		21
		executionOrder 		2
		autogen {
			isAutoCreated		1
			source       		21
		}
	}

	transition {
		id             		267
		labelString    		"{\n"
						"$ $\n"
						"/* Action 'S': Should stop at this floor */\n"
						"position = cur_floor; /* Adjust position */\n"
						"ans = 1;\n"
						"}"
		labelPosition  		[674.572 1243.292 415.422 163.062]
		fontSize       		12
		src {
			id          		108
			intersection		[1 1 0 0 506 1160 0 0]
		}
		dst {
			id          		107
			intersection		[1 -1 0 0 855 1160 0 0]
		}
		midPoint       		[683.8263 1160]
		chart          		2
		linkNode       		[21 268 266]
		visible        		0
		dataLimits     		[506 855 1157.6 1162.4]
		subviewer      		21
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		21
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[2]}}"
		}
	}

	transition {
		id             		268
		labelString    		"[request_from_hall&&this_hall_call_outstanding]   /* D4 */"
		labelPosition  		[255.071 1175.885 604.795 28.424]
		fontSize       		12
		src {
			id          		109
			intersection		[1 1 0 0 25 1160 0 0]
		}
		dst {
			id          		108
			intersection		[1 -1 0 0 496 1160 0 0]
		}
		midPoint       		[266.4784 1160]
		chart          		2
		linkNode       		[21 269 267]
		visible        		0
		dataLimits     		[25 496 1157.6 1162.4]
		subviewer      		21
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		21
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"c\",M[4]}}"
		}
	}

	transition {
		id             		269
		labelPosition  		[19.477 1036.576 14.97 28.424]
		fontSize       		12
		src {
			id          		77
			intersection		[1 0 1 0 20 1012 0 0]
		}
		dst {
			id          		109
			intersection		[1 0 -1 0 20 1155 0 0]
		}
		midPoint       		[20 1082.348]
		chart          		2
		linkNode       		[21 270 268]
		visible        		0
		dataLimits     		[17.6 22.4 1012 1155]
		subviewer      		21
		executionOrder 		2
		autogen {
			isAutoCreated		1
			source       		21
		}
	}

	transition {
		id             		270
		labelString    		"{\n"
						"$ $\n"
						"/* Action 'S': Should stop at this floor */\n"
						"position = cur_floor; /* Adjust position */\n"
						"ans = 1;\n"
						"}"
		labelPosition  		[437.854 1090.502 415.422 163.062]
		fontSize       		12
		src {
			id          		78
			intersection		[1 1 0 0 269 1007 0 0]
		}
		dst {
			id          		110
			intersection		[1 -1 0 0 618 1007 0 0]
		}
		midPoint       		[446.8263 1007]
		chart          		2
		linkNode       		[21 245 269]
		visible        		0
		dataLimits     		[269 618 1004.6 1009.4]
		subviewer      		21
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		21
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[2]}}"
		}
	}

	transition {
		id             		271
		labelPosition  		[276.906 156.955 14.97 28.424]
		fontSize       		12
		src {
			id          		112
			intersection		[0 0.0057 1 -1 276.8787 152.1637 0 0]
		}
		dst {
			id          		111
			intersection		[0 -0.0057 -1 -1 276.9725 168.7153 0 0]
		}
		midPoint       		[276.9035 156.5387]
		chart          		2
		linkNode       		[37 272 0]
		visible        		0
		dataLimits     		[274.527 279.327 152.164 168.715]
		subviewer      		37
		drawStyle      		SMART
		executionOrder 		2
	}

	transition {
		id             		272
		labelString    		"[i < NUM_FLOOR]"
		labelPosition  		[106.799 149.196 199.103 28.424]
		fontSize       		12
		src {
			id          		112
			intersection		[0 -0.9654 0.2608 -1 270.0812 146.9891 0 0]
		}
		dst {
			id          		113
			intersection		[0 0.9654 0.2608 -1 34.2496 146.9891 0 0]
		}
		midPoint       		[152.1654 167.885]
		chart          		2
		linkNode       		[37 273 271]
		visible        		0
		dataLimits     		[34.25 270.081 146.759 167.882]
		stampAngle     		-0.2638
		subviewer      		37
		drawStyle      		SMART
		slide {
			sticky        		SRC_STICK
			midPointSticky		1
		}
		executionOrder 		1
	}

	transition {
		id             		273
		labelString    		"{task_queue[i] = task_queue[i+1]; i++;}"
		labelPosition  		[43.737 127.578 408.686 28.424]
		fontSize       		12
		src {
			id          		113
			intersection		[0 1 0 -1 34.4918 145.1638 0 0]
		}
		dst {
			id          		112
			intersection		[0 -1 0 -1 269.839 145.1638 0 0]
		}
		midPoint       		[153.0209 145.1638]
		chart          		2
		linkNode       		[37 274 272]
		visible        		0
		dataLimits     		[34.492 269.839 142.764 147.564]
		subviewer      		37
		drawStyle      		SMART
		slide {
			sticky        		BOTH_STICK
		}
		executionOrder 		1
	}

	transition {
		id             		274
		labelPosition  		[27.624 127.003 14.97 28.424]
		fontSize       		12
		src {
			id          		115
			intersection		[0 0 1 -1 27.4918 121.5242 0 0]
		}
		dst {
			id          		113
			intersection		[0 0 -1 -1 27.4918 138.1638 0 0]
		}
		midPoint       		[27.4918 125.945]
		chart          		2
		linkNode       		[37 275 273]
		visible        		0
		dataLimits     		[25.092 29.892 121.524 138.164]
		subviewer      		37
		drawStyle      		SMART
		executionOrder 		2
	}

	transition {
		id             		275
		labelString    		"[i >= NUM_FLOOR || task_queue[i] == 0]"
		labelPosition  		[39.804 97.475 434.884 28.424]
		fontSize       		12
		src {
			id          		115
			intersection		[0 1 0 -1 34.4918 114.5242 0 0]
		}
		dst {
			id          		114
			intersection		[0 -1 0 -1 269.9741 114.5242 0 0]
		}
		midPoint       		[153.0914 114.5242]
		chart          		2
		linkNode       		[37 276 274]
		visible        		0
		dataLimits     		[34.492 269.974 112.124 116.924]
		subviewer      		37
		drawStyle      		SMART
		executionOrder 		1
	}

	transition {
		id             		276
		labelPosition  		[25.549 116.155 14.97 28.424]
		fontSize       		12
		src {
			id          		116
			intersection		[0 0 1 -1 27.4918 72.0637 0 0]
		}
		dst {
			id          		115
			intersection		[0 0 -1 -1 27.4918 107.5242 0 0]
		}
		midPoint       		[27.4918 86.3041]
		chart          		2
		linkNode       		[37 277 275]
		visible        		0
		dataLimits     		[25.092 29.892 72.064 107.524]
		subviewer      		37
		drawStyle      		SMART
		executionOrder 		2
	}

	transition {
		id             		277
		labelString    		"[task_queue[i] > 0 && ...\n"
						"i<NUM_FLOOR && ...\n"
						"task_queue[i] != task_floor]{i++;}"
		labelPosition  		[82.152 46.927 345.063 82.279]
		fontSize       		12
		src {
			id          		116
			intersection		[0 0.8603 -0.5098 -1 33.5138 61.4951 0 0]
		}
		dst {
			id          		116
			intersection		[0 0.6207 0.784 -1 31.8369 70.5518 0 0]
		}
		midPoint       		[64.1289 61.1695]
		chart          		2
		linkNode       		[37 278 276]
		visible        		0
		dataLimits     		[31.837 64.151 58.529 78.313]
		subviewer      		37
		slide {
			midPointSticky		1
		}
		executionOrder 		1
	}

	transition {
		id             		278
		labelString    		"{i=0;}"
		labelPosition  		[38.85 33.157 57.635 28.424]
		fontSize       		12
		src {
			intersection		[0 0 1 0 27.4918 26.3639 0 0]
		}
		dst {
			id          		116
			intersection		[7 0 -1 -1 27.4918 58.0637 0 0]
		}
		midPoint       		[27.4918 38.6422]
		chart          		2
		linkNode       		[37 0 277]
		visible        		0
		dataLimits     		[25.092 29.892 26.364 58.064]
		subviewer      		37
		slide {
			sticky        		BOTH_STICK
		}
		executionOrder 		1
	}

	transition {
		id             		279
		labelString    		"{stat = status;}"
		labelPosition  		[51.101 25.954 154.193 28.424]
		fontSize       		12
		src {
			intersection		[0 0.7071 0.7071 0 17.2592 19.6432 0 0]
		}
		dst {
			id          		117
			intersection		[7 -0.7071 -0.7071 -1 38.4724 40.8564 0 0]
		}
		midPoint       		[25.3142 27.6982]
		chart          		2
		linkNode       		[36 0 0]
		visible        		0
		dataLimits     		[17.259 38.472 19.643 40.856]
		subviewer      		36
		executionOrder 		1
	}

	transition {
		id             		280
		labelPosition  		[17.994 766.068 14.97 28.424]
		fontSize       		12
		src {
			id          		51
			intersection		[1 0 1 0 20 726 0 0]
		}
		dst {
			id          		120
			intersection		[1 0 -1 0 20 869 0 0]
		}
		midPoint       		[20 796.348]
		chart          		2
		linkNode       		[3 236 281]
		visible        		0
		dataLimits     		[17.6 22.4 726 869]
		subviewer      		3
		executionOrder 		2
		autogen {
			isAutoCreated		1
			source       		3
		}
	}

	transition {
		id             		281
		labelString    		"[!request_outstanding]   /* D2 */"
		labelPosition  		[150.639 905.238 333.086 28.424]
		fontSize       		12
		src {
			id          		120
			intersection		[1 1 0 0 25 874 0 0]
		}
		dst {
			id          		97
			intersection		[1 -1 0 0 292 874 0 0]
		}
		midPoint       		[160.0436 874]
		chart          		2
		linkNode       		[3 280 282]
		visible        		0
		dataLimits     		[25 292 871.6 876.4]
		subviewer      		3
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"c\",M[2]}}"
		}
	}

	transition {
		id             		282
		labelString    		"{\n"
						"$ $\n"
						"/* Action 'NONE': Both elevators are busy, OR no request p"
						"resent */\n"
						"\n"
						"}"
		labelPosition  		[565.768 1014.118 709.586 136.134]
		fontSize       		12
		src {
			id          		97
			intersection		[1 1 0 0 302 874 0 0]
		}
		dst {
			id          		96
			intersection		[1 -1 0 0 846 874 0 0]
		}
		midPoint       		[581.5654 874]
		chart          		2
		linkNode       		[3 281 283]
		visible        		0
		dataLimits     		[302 846 871.6 876.4]
		subviewer      		3
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[4]}}"
		}
	}

	transition {
		id             		283
		labelPosition  		[17.994 916.699 14.97 28.424]
		fontSize       		12
		src {
			id          		120
			intersection		[1 0 1 0 20 879 0 0]
		}
		dst {
			id          		95
			intersection		[1 0 -1 0 20 1002 0 0]
		}
		midPoint       		[20 938.9132]
		chart          		2
		linkNode       		[3 282 284]
		visible        		0
		dataLimits     		[17.6 22.4 879 1002]
		subviewer      		3
		executionOrder 		2
		autogen {
			isAutoCreated		1
			source       		3
		}
	}

	transition {
		id             		284
		labelString    		"[!elevator_A_idle&&!elevator_B_idle]   /* D3 */"
		labelPosition  		[207.955 1037.858 480.543 28.424]
		fontSize       		12
		src {
			id          		95
			intersection		[1 1 0 0 25 1007 0 0]
		}
		dst {
			id          		94
			intersection		[1 -1 0 0 406 1007 0 0]
		}
		midPoint       		[219.5219 1007]
		chart          		2
		linkNode       		[3 283 285]
		visible        		0
		dataLimits     		[25 406 1004.6 1009.4]
		subviewer      		3
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"c\",M[3]}}"
		}
	}

	transition {
		id             		285
		labelString    		"{\n"
						"$ $\n"
						"/* Action 'NONE': Both elevators are busy, OR no request p"
						"resent */\n"
						"\n"
						"}"
		labelPosition  		[679.581 1147.557 709.586 136.134]
		fontSize       		12
		src {
			id          		94
			intersection		[1 1 0 0 416 1007 0 0]
		}
		dst {
			id          		93
			intersection		[1 -1 0 0 960 1007 0 0]
		}
		midPoint       		[695.5654 1007]
		chart          		2
		linkNode       		[3 284 286]
		visible        		0
		dataLimits     		[416 960 1004.6 1009.4]
		subviewer      		3
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[4]}}"
		}
	}

	transition {
		id             		286
		labelPosition  		[17.994 1049.319 14.97 28.424]
		fontSize       		12
		src {
			id          		95
			intersection		[1 0 1 0 20 1012 0 0]
		}
		dst {
			id          		92
			intersection		[1 0 -1 0 20 1135 0 0]
		}
		midPoint       		[20 1071.9132]
		chart          		2
		linkNode       		[3 285 258]
		visible        		0
		dataLimits     		[17.6 22.4 1012 1135]
		subviewer      		3
		executionOrder 		2
		autogen {
			isAutoCreated		1
			source       		3
		}
	}

	transition {
		id             		287
		labelString    		"{\n"
						"$ $\n"
						"/* Condition 'request_from_hall': There is hall call from "
						"this floor */\n"
						"request_from_hall = (Elevator_Manager.hall_call_status[cur"
						"_floor]);\n"
						"}"
		labelPosition  		[29.59 610.412 711.083 136.134]
		fontSize       		12
		src {
			id          		128
			intersection		[1 0 1 0 20 504 0 0]
		}
		dst {
			id          		127
			intersection		[1 0 -1 0 20 605 0 0]
		}
		midPoint       		[20 552.4349]
		chart          		2
		linkNode       		[21 288 238]
		visible        		0
		dataLimits     		[17.6 22.4 504 605]
		subviewer      		21
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		21
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[4]}}"
		}
	}

	transition {
		id             		288
		labelString    		"{\n"
						"$ $\n"
						"/* Condition 'request_from_car': There is car call to stop"
						" at this floor */\n"
						"request_from_car = (car_call_status[cur_floor]);\n"
						"}"
		labelPosition  		[29.59 499.564 729.796 136.134]
		fontSize       		12
		src {
			id          		129
			intersection		[1 0 1 0 20 393 0 0]
		}
		dst {
			id          		128
			intersection		[1 0 -1 0 20 494 0 0]
		}
		midPoint       		[20 441.4349]
		chart          		2
		linkNode       		[21 289 287]
		visible        		0
		dataLimits     		[17.6 22.4 393 494]
		subviewer      		21
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		21
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[3]}}"
		}
	}

	transition {
		id             		289
		labelString    		"{\n"
						"$ $\n"
						"/* Condition 'at_a_floor': Arrived a floor */\n"
						"at_a_floor = (fabs(position - cur_floor) < ERR_TOR);\n"
						"}"
		labelPosition  		[29.59 388.716 556.891 136.134]
		fontSize       		12
		src {
			id          		130
			intersection		[1 0 1 0 20 282 0 0]
		}
		dst {
			id          		129
			intersection		[1 0 -1 0 20 383 0 0]
		}
		midPoint       		[20 330.4349]
		chart          		2
		linkNode       		[21 290 288]
		visible        		0
		dataLimits     		[17.6 22.4 282 383]
		subviewer      		21
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		21
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[2]}}"
		}
	}

	transition {
		id             		290
		labelString    		"{\n"
						"$ $\n"
						"/* Condition 'at_destination': Arrived destination */\n"
						"at_destination = (fabs(position - task_queue[0]) < ERR_TOR"
						");\n"
						"}"
		labelPosition  		[29.59 277.868 653.448 136.134]
		fontSize       		12
		src {
			id          		131
			intersection		[1 0 1 0 20 171 0 0]
		}
		dst {
			id          		130
			intersection		[1 0 -1 0 20 272 0 0]
		}
		midPoint       		[20 219.4349]
		chart          		2
		linkNode       		[21 291 289]
		visible        		0
		dataLimits     		[17.6 22.4 171 272]
		subviewer      		21
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		21
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[1]}}"
		}
	}

	transition {
		id             		291
		labelString    		"{\n"
						"$ $\n"
						"/* Action 'INIT': Initialization */\n"
						"cur_floor = ml.round(position);\n"
						"}"
		labelPosition  		[29.59 167.021 319.613 136.134]
		fontSize       		12
		src {
			id          		132
			intersection		[1 0 1 0 20 60 0 0]
		}
		dst {
			id          		131
			intersection		[1 0 -1 0 20 161 0 0]
		}
		midPoint       		[20 108.4349]
		chart          		2
		linkNode       		[21 292 290]
		visible        		0
		dataLimits     		[17.6 22.4 60 161]
		subviewer      		21
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		21
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[1]}}"
		}
	}

	transition {
		id             		292
		labelPosition  		[21.35 41.193 14.97 28.424]
		fontSize       		12
		src {
			intersection		[1 1.4142 1.4142 0 20 25 0 0]
		}
		dst {
			id          		132
			intersection		[1 0 -1 0 20 50 0 0]
		}
		midPoint       		[24.2193 35.0186]
		chart          		2
		linkNode       		[21 0 291]
		visible        		0
		dataLimits     		[17.6 25.089 25 50]
		subviewer      		21
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		21
		}
	}

	transition {
		id             		293
		labelString    		"{ans = i+1;}"
		labelPosition  		[24.75 130.125 123.504 28.424]
		fontSize       		12
		src {
			id          		135
			intersection		[0 0 1 -1 15.5 123.6603 0 0]
		}
		dst {
			id          		133
			intersection		[0 0 -1 -1 15.5 150.7999 0 0]
		}
		midPoint       		[15.5 133.5594]
		chart          		2
		linkNode       		[23 296 0]
		visible        		0
		dataLimits     		[13.1 17.9 123.66 150.8]
		subviewer      		23
		drawStyle      		SMART
		executionOrder 		2
	}

	transition {
		id             		294
		labelString    		"[hall_call_queue[i] > 0 && ...\n"
						"i<NUM_FLOOR && ...\n"
						"hall_call_queue[i] != floor]{i++;}"
		labelPosition  		[70.16 49.063 330.092 82.279]
		fontSize       		12
		src {
			id          		136
			intersection		[0 0.8603 -0.5098 -1 21.5221 63.6312 0 0]
		}
		dst {
			id          		136
			intersection		[0 0.6207 0.784 -1 19.8449 72.6878 0 0]
		}
		midPoint       		[52.1371 63.3056]
		chart          		2
		linkNode       		[23 297 295]
		visible        		0
		dataLimits     		[19.845 52.159 60.665 80.449]
		subviewer      		23
		slide {
			midPointSticky		1
		}
		executionOrder 		1
	}

	transition {
		id             		295
		labelPosition  		[13.557 118.291 14.97 28.424]
		fontSize       		12
		src {
			id          		136
			intersection		[0 0 1 -1 15.5 74.1998 0 0]
		}
		dst {
			id          		135
			intersection		[0 0 -1 -1 15.5 109.6603 0 0]
		}
		midPoint       		[15.5 88.4402]
		chart          		2
		linkNode       		[23 294 296]
		visible        		0
		dataLimits     		[13.1 17.9 74.2 109.66]
		subviewer      		23
		drawStyle      		SMART
		executionOrder 		2
	}

	transition {
		id             		296
		labelString    		"[i >= NUM_FLOOR || hall_call_queue[i] == 0]{ans = 0;}"
		labelPosition  		[33.451 101.148 579.346 28.424]
		fontSize       		12
		src {
			id          		135
			intersection		[0 1 0 -1 22.5 116.6603 0 0]
		}
		dst {
			id          		134
			intersection		[0 -1 0 -1 324.545 116.6603 0 0]
		}
		midPoint       		[175.828 116.6603]
		chart          		2
		linkNode       		[23 295 293]
		visible        		0
		dataLimits     		[22.5 324.545 114.26 119.06]
		subviewer      		23
		drawStyle      		SMART
		executionOrder 		1
	}

	transition {
		id             		297
		labelString    		"{i=0;}"
		labelPosition  		[26.858 35.293 57.635 28.424]
		fontSize       		12
		src {
			intersection		[0 0 1 0 15.5 28.5 0 0]
		}
		dst {
			id          		136
			intersection		[7 0 -1 -1 15.5 60.1998 0 0]
		}
		midPoint       		[15.5 40.7783]
		chart          		2
		linkNode       		[23 0 294]
		visible        		0
		dataLimits     		[13.1 17.9 28.5 60.2]
		subviewer      		23
		slide {
			sticky        		BOTH_STICK
		}
		executionOrder 		1
	}

	transition {
		id             		298
		labelPosition  		[76.571 107.615 8.487 16.123]
		fontSize       		12
		src {
			intersection		[0 0 1 0 82.2212 40.5143 0 0]
		}
		dst {
			id          		27
			intersection		[1 0 -1 0.4857 82.2212 59.1058 0 0]
		}
		midPoint       		[82.2212 45.9535]
		chart          		2
		linkNode       		[24 0 299]
		visible        		0
		dataLimits     		[79.821 84.621 40.514 59.106]
		subviewer      		24
		executionOrder 		1
	}

	transition {
		id             		299
		labelPosition  		[174.287 89.431 8.487 16.123]
		fontSize       		12
		src {
			id          		137
			intersection		[0 -0.9356 -0.3532 -1 200.1885 106.3581 0 0]
		}
		dst {
			id          		27
			intersection		[2 1 0 0.361 144.0707 81.205 0 0]
		}
		midPoint       		[175.7016 90.3701]
		chart          		2
		linkNode       		[24 298 300]
		visible        		0
		dataLimits     		[144.071 200.188 78.805 106.358]
		stampAngle     		-0.3609
		subviewer      		24
		drawStyle      		SMART
		slide {
			sticky        		BOTH_STICK
			arcL          		-27.6251
			arcClockDir   		1
		}
		executionOrder 		2
	}

	transition {
		id             		300
		labelString    		"after(TIME_OUT, CLOCK)"
		labelPosition  		[223.922 95.46 146.832 16.123]
		fontSize       		12
		src {
			id          		26
			intersection		[4 -1 0 0.5203 388.8965 182.3594 0 49.375]
		}
		dst {
			id          		137
			intersection		[0 0.9474 0.3202 -1 213.3689 111.0715 0 -8.1835]
		}
		midPoint       		[300.2059 153.6537]
		chart          		2
		linkNode       		[24 299 301]
		visible        		0
		dataLimits     		[213.369 388.896 111.072 182.359]
		stampAngle     		-0.0246
		subviewer      		24
		drawStyle      		SMART
		slide {
			sticky        		SRC_STICK
			arcL          		-16.9148
			arcClockDir   		1
			midPointSticky		1
		}
		executionOrder 		1
	}

	transition {
		id             		301
		labelString    		"[task_queue[0]]"
		labelPosition  		[178.09 138.092 85.723 16.123]
		fontSize       		12
		src {
			id          		137
			intersection		[0 -0.2877 0.9577 -1 204.7234 115.5342 0 0]
		}
		dst {
			id          		28
			intersection		[1 0 -1 0.7715 160.5314 158.8925 0 0]
		}
		midPoint       		[179.0614 133.3815]
		chart          		2
		linkNode       		[24 300 302]
		visible        		0
		dataLimits     		[158.131 204.723 115.534 158.893]
		stampAngle     		-0.1829
		subviewer      		24
		drawStyle      		SMART
		slide {
			sticky        		BOTH_STICK
			arcL          		-40.7318
			arcClockDir   		1
		}
		executionOrder 		1
	}

	transition {
		id             		302
		labelString    		"[task_queue[0]]"
		labelPosition  		[55.933 131.085 85.723 16.123]
		fontSize       		12
		src {
			id          		27
			intersection		[3 0 1 0.7796 50.319 120.3171 0 21.875]
		}
		dst {
			id          		28
			intersection		[1 0 -1 0.1533 50.319 158.8925 0 -24.125]
		}
		midPoint       		[50.3176 136.1827]
		chart          		2
		linkNode       		[24 301 303]
		visible        		0
		dataLimits     		[47.919 52.719 120.317 158.893]
		subviewer      		24
		drawStyle      		SMART
		executionOrder 		1
	}

	transition {
		id             		303
		labelString    		"[should_stop()]"
		labelPosition  		[239.803 178.01 84.025 16.123]
		fontSize       		12
		src {
			id          		28
			intersection		[2 1 0 0.744 201.2632 196.4147 0 12.3035]
		}
		dst {
			id          		25
			intersection		[4 -1 0 0.1082 376.5319 196.4147 0 -12.3035]
		}
		midPoint       		[288.4471 196.4147]
		chart          		2
		linkNode       		[24 302 0]
		visible        		0
		dataLimits     		[201.263 376.532 194.015 198.815]
		subviewer      		24
		drawStyle      		SMART
		executionOrder 		1
	}

	transition {
		id             		304
		labelString    		"[fire_alarm]{status = EMERG;}\n"
						"/* Resets the timeout counter */"
		labelPosition  		[479.197 168.364 174.84 30.549]
		fontSize       		12
		src {
			id          		26
			intersection		[2 1 0 0.2826 460.4365 175.4091 0 0]
		}
		dst {
			id          		26
			intersection		[2 1 0 0.7071 460.4365 190.3764 0 0]
		}
		midPoint       		[471.934 178.4751]
		chart          		2
		linkNode       		[25 0 0]
		visible        		0
		dataLimits     		[460.436 472.842 175.227 192.776]
		subviewer      		24
		slide {
			sticky        		SRC_STICK
		}
		executionOrder 		2
	}

	transition {
		id             		305
		labelPosition  		[18.652 485.367 14.97 28.424]
		fontSize       		12
		src {
			id          		141
			intersection		[1 0 1 0 20 456 0 0]
		}
		dst {
			id          		138
			intersection		[1 0 -1 0 20 620 0 0]
		}
		midPoint       		[20 537.3045]
		chart          		2
		linkNode       		[16 307 0]
		visible        		0
		dataLimits     		[17.6 22.4 456 620]
		subviewer      		16
		executionOrder 		2
		autogen {
			isAutoCreated		1
			source       		16
		}
	}

	transition {
		id             		306
		labelString    		"{\n"
						"$ $\n"
						"/* Action 2: Move down */\n"
						"position = position - VELOCITY;\n"
						"direction = MOVE_DOWN;\n"
						"ml.sf_elevator_gui(\"move_car\", \"carA\", position);\n"
						"}"
		labelPosition  		[487.156 556.648 509.735 189.989]
		fontSize       		12
		src {
			id          		140
			intersection		[1 1 0 0 294 451 0 0]
		}
		dst {
			id          		139
			intersection		[1 -1 0 0 692 451 0 0]
		}
		midPoint       		[497.3915 451]
		chart          		2
		linkNode       		[16 308 307]
		visible        		0
		dataLimits     		[294 692 448.6 453.4]
		subviewer      		16
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		16
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[2]}}"
		}
	}

	transition {
		id             		307
		labelString    		"[!move_up&&move_down]   /* D2 */"
		labelPosition  		[148.509 470.092 373.506 28.424]
		fontSize       		12
		src {
			id          		141
			intersection		[1 1 0 0 25 451 0 0]
		}
		dst {
			id          		140
			intersection		[1 -1 0 0 284 451 0 0]
		}
		midPoint       		[155.8697 451]
		chart          		2
		linkNode       		[16 306 305]
		visible        		0
		dataLimits     		[25 284 448.6 453.4]
		subviewer      		16
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		16
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"c\",M[2]}}"
		}
	}

	transition {
		id             		308
		labelPosition  		[18.652 311.407 14.97 28.424]
		fontSize       		12
		src {
			id          		144
			intersection		[1 0 1 0 20 282 0 0]
		}
		dst {
			id          		141
			intersection		[1 0 -1 0 20 446 0 0]
		}
		midPoint       		[20 363.3045]
		chart          		2
		linkNode       		[16 310 306]
		visible        		0
		dataLimits     		[17.6 22.4 282 446]
		subviewer      		16
		executionOrder 		2
		autogen {
			isAutoCreated		1
			source       		16
		}
	}

	transition {
		id             		309
		labelString    		"{\n"
						"$ $\n"
						"/* Action 1: Move up */\n"
						"position = position + VELOCITY;\n"
						"direction = MOVE_UP;\n"
						"ml.sf_elevator_gui(\"move_car\", \"carA\", position);\n"
						"}"
		labelPosition  		[487.156 382.688 509.735 189.989]
		fontSize       		12
		src {
			id          		143
			intersection		[1 1 0 0 294 277 0 0]
		}
		dst {
			id          		142
			intersection		[1 -1 0 0 692 277 0 0]
		}
		midPoint       		[497.3915 277]
		chart          		2
		linkNode       		[16 311 310]
		visible        		0
		dataLimits     		[294 692 274.6 279.4]
		subviewer      		16
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		16
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[1]}}"
		}
	}

	transition {
		id             		310
		labelString    		"[move_up&&!move_down]   /* D1 */"
		labelPosition  		[148.509 296.133 373.506 28.424]
		fontSize       		12
		src {
			id          		144
			intersection		[1 1 0 0 25 277 0 0]
		}
		dst {
			id          		143
			intersection		[1 -1 0 0 284 277 0 0]
		}
		midPoint       		[155.8697 277]
		chart          		2
		linkNode       		[16 309 308]
		visible        		0
		dataLimits     		[25 284 274.6 279.4]
		subviewer      		16
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		16
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"c\",M[1]}}"
		}
	}

	transition {
		id             		311
		labelString    		"{\n"
						"$ $\n"
						"/* Condition 'move_down': Move down */\n"
						"move_down = (position - destination > ERR_TOR);\n"
						"}"
		labelPosition  		[28.837 283.404 536.681 136.134]
		fontSize       		12
		src {
			id          		145
			intersection		[1 0 1 0 20 171 0 0]
		}
		dst {
			id          		144
			intersection		[1 0 -1 0 20 272 0 0]
		}
		midPoint       		[20 219.4349]
		chart          		2
		linkNode       		[16 312 309]
		visible        		0
		dataLimits     		[17.6 22.4 171 272]
		subviewer      		16
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		16
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[2]}}"
		}
	}

	transition {
		id             		312
		labelString    		"{\n"
						"$ $\n"
						"/* Condition 'move_up': Move up */\n"
						"move_up = (destination - position > ERR_TOR);\n"
						"}"
		labelPosition  		[28.837 173.088 506.741 136.134]
		fontSize       		12
		src {
			id          		146
			intersection		[1 0 1 0 20 60 0 0]
		}
		dst {
			id          		145
			intersection		[1 0 -1 0 20 161 0 0]
		}
		midPoint       		[20 108.4349]
		chart          		2
		linkNode       		[16 313 311]
		visible        		0
		dataLimits     		[17.6 22.4 60 161]
		subviewer      		16
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		16
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[1]}}"
		}
	}

	transition {
		id             		313
		labelPosition  		[20.35 43.254 14.97 28.424]
		fontSize       		12
		src {
			intersection		[1 1.4142 1.4142 0 20 25 0 0]
		}
		dst {
			id          		146
			intersection		[1 0 -1 0 20 50 0 0]
		}
		midPoint       		[24.2193 35.0186]
		chart          		2
		linkNode       		[16 0 312]
		visible        		0
		dataLimits     		[17.6 25.089 25 50]
		subviewer      		16
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		16
		}
	}

	transition {
		id             		314
		labelPosition  		[21.35 41.193 14.97 28.424]
		fontSize       		12
		src {
			intersection		[0 1.4142 1.4142 0 20 25 0 0]
		}
		dst {
			id          		147
			intersection		[1 0 -1 0 20 50 0 0]
		}
		midPoint       		[24.2193 35.0186]
		chart          		2
		linkNode       		[30 0 315]
		visible        		0
		dataLimits     		[17.6 25.089 25 50]
		subviewer      		30
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		30
		}
	}

	transition {
		id             		315
		labelString    		"{\n"
						"$ $\n"
						"/* Action 'INIT': Initialization */\n"
						"cur_floor = ml.round(position);\n"
						"}"
		labelPosition  		[29.59 167.021 319.613 136.134]
		fontSize       		12
		src {
			id          		147
			intersection		[1 0 1 0 20 60 0 0]
		}
		dst {
			id          		148
			intersection		[1 0 -1 0 20 161 0 0]
		}
		midPoint       		[20 108.4349]
		chart          		2
		linkNode       		[30 314 316]
		visible        		0
		dataLimits     		[17.6 22.4 60 161]
		subviewer      		30
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		30
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[1]}}"
		}
	}

	transition {
		id             		316
		labelString    		"{\n"
						"$ $\n"
						"/* Condition 'at_destination': Arrived destination */\n"
						"at_destination = (fabs(position - task_queue[0]) < ERR_TOR"
						");\n"
						"}"
		labelPosition  		[29.59 277.868 653.448 136.134]
		fontSize       		12
		src {
			id          		148
			intersection		[1 0 1 0 20 171 0 0]
		}
		dst {
			id          		149
			intersection		[1 0 -1 0 20 272 0 0]
		}
		midPoint       		[20 219.4349]
		chart          		2
		linkNode       		[30 315 317]
		visible        		0
		dataLimits     		[17.6 22.4 171 272]
		subviewer      		30
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		30
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[1]}}"
		}
	}

	transition {
		id             		317
		labelString    		"{\n"
						"$ $\n"
						"/* Condition 'at_a_floor': Arrived a floor */\n"
						"at_a_floor = (fabs(position - cur_floor) < ERR_TOR);\n"
						"}"
		labelPosition  		[29.59 388.716 556.891 136.134]
		fontSize       		12
		src {
			id          		149
			intersection		[1 0 1 0 20 282 0 0]
		}
		dst {
			id          		150
			intersection		[1 0 -1 0 20 383 0 0]
		}
		midPoint       		[20 330.4349]
		chart          		2
		linkNode       		[30 316 318]
		visible        		0
		dataLimits     		[17.6 22.4 282 383]
		subviewer      		30
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		30
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[2]}}"
		}
	}

	transition {
		id             		318
		labelString    		"{\n"
						"$ $\n"
						"/* Condition 'request_from_car': There is car call to stop"
						" at this floor */\n"
						"request_from_car = (car_call_status[cur_floor]);\n"
						"}"
		labelPosition  		[29.59 499.564 729.796 136.134]
		fontSize       		12
		src {
			id          		150
			intersection		[1 0 1 0 20 393 0 0]
		}
		dst {
			id          		151
			intersection		[1 0 -1 0 20 494 0 0]
		}
		midPoint       		[20 441.4349]
		chart          		2
		linkNode       		[30 317 319]
		visible        		0
		dataLimits     		[17.6 22.4 393 494]
		subviewer      		30
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		30
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[3]}}"
		}
	}

	transition {
		id             		319
		labelString    		"{\n"
						"$ $\n"
						"/* Condition 'request_from_hall': There is hall call from "
						"this floor */\n"
						"request_from_hall = (Elevator_Manager.hall_call_status[cur"
						"_floor]);\n"
						"}"
		labelPosition  		[29.59 610.412 711.083 136.134]
		fontSize       		12
		src {
			id          		151
			intersection		[1 0 1 0 20 504 0 0]
		}
		dst {
			id          		152
			intersection		[1 0 -1 0 20 605 0 0]
		}
		midPoint       		[20 552.4349]
		chart          		2
		linkNode       		[30 318 320]
		visible        		0
		dataLimits     		[17.6 22.4 504 605]
		subviewer      		30
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		30
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[4]}}"
		}
	}

	transition {
		id             		320
		labelString    		"{\n"
						"$ $\n"
						"/* Condition 'this_hall_call_outstanding': This hall call "
						"is still outstanding in queue */\n"
						"this_hall_call_outstanding = (Elevator_Manager.exists_in_q"
						"ueue(cur_floor));\n"
						"}"
		labelPosition  		[29.59 721.259 868.27 136.134]
		fontSize       		12
		src {
			id          		152
			intersection		[1 0 1 0 20 615 0 0]
		}
		dst {
			id          		153
			intersection		[1 0 -1 0 20 716 0 0]
		}
		midPoint       		[20 663.4349]
		chart          		2
		linkNode       		[30 319 321]
		visible        		0
		dataLimits     		[17.6 22.4 615 716]
		subviewer      		30
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		30
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[5]}}"
		}
	}

	transition {
		id             		321
		labelString    		"[at_destination]   /* D1 */"
		labelPosition  		[129.221 737.362 257.487 28.424]
		fontSize       		12
		src {
			id          		153
			intersection		[1 1 0 0 25 721 0 0]
		}
		dst {
			id          		154
			intersection		[1 -1 0 0 243 721 0 0]
		}
		midPoint       		[134.4784 721]
		chart          		2
		linkNode       		[30 320 322]
		visible        		0
		dataLimits     		[25 243 718.6 723.4]
		subviewer      		30
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		30
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"c\",M[1]}}"
		}
	}

	transition {
		id             		322
		labelString    		"{\n"
						"$ $\n"
						"/* Action 'S': Should stop at this floor */\n"
						"position = cur_floor; /* Adjust position */\n"
						"ans = 1;\n"
						"}"
		labelPosition  		[422.122 804.77 415.422 163.062]
		fontSize       		12
		src {
			id          		154
			intersection		[1 1 0 0 253 721 0 0]
		}
		dst {
			id          		155
			intersection		[1 -1 0 0 602 721 0 0]
		}
		midPoint       		[430.8263 721]
		chart          		2
		linkNode       		[30 321 323]
		visible        		0
		dataLimits     		[253 602 718.6 723.4]
		subviewer      		30
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		30
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[2]}}"
		}
	}

	transition {
		id             		323
		labelPosition  		[19.477 751.218 14.97 28.424]
		fontSize       		12
		src {
			id          		153
			intersection		[1 0 1 0 20 726 0 0]
		}
		dst {
			id          		156
			intersection		[1 0 -1 0 20 869 0 0]
		}
		midPoint       		[20 796.348]
		chart          		2
		linkNode       		[30 322 324]
		visible        		0
		dataLimits     		[17.6 22.4 726 869]
		subviewer      		30
		executionOrder 		2
		autogen {
			isAutoCreated		1
			source       		30
		}
	}

	transition {
		id             		324
		labelString    		"[!at_a_floor]   /* D2 */"
		labelPosition  		[117.235 890.152 224.553 28.424]
		fontSize       		12
		src {
			id          		156
			intersection		[1 1 0 0 25 874 0 0]
		}
		dst {
			id          		157
			intersection		[1 -1 0 0 219 874 0 0]
		}
		midPoint       		[121.9567 874]
		chart          		2
		linkNode       		[30 323 325]
		visible        		0
		dataLimits     		[25 219 871.6 876.4]
		subviewer      		30
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		30
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"c\",M[2]}}"
		}
	}

	transition {
		id             		325
		labelString    		"{\n"
						"$ $\n"
						"/* Action 'C': Should not stop, continue */\n"
						"ans = 0;\n"
						"}"
		labelPosition  		[398.151 944.078 425.902 136.134]
		fontSize       		12
		src {
			id          		157
			intersection		[1 1 0 0 229 874 0 0]
		}
		dst {
			id          		158
			intersection		[1 -1 0 0 578 874 0 0]
		}
		midPoint       		[406.8263 874]
		chart          		2
		linkNode       		[30 324 326]
		visible        		0
		dataLimits     		[229 578 871.6 876.4]
		subviewer      		30
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		30
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[3]}}"
		}
	}

	transition {
		id             		326
		labelPosition  		[19.477 902.136 14.97 28.424]
		fontSize       		12
		src {
			id          		156
			intersection		[1 0 1 0 20 879 0 0]
		}
		dst {
			id          		159
			intersection		[1 0 -1 0 20 1002 0 0]
		}
		midPoint       		[20 938.9132]
		chart          		2
		linkNode       		[30 325 327]
		visible        		0
		dataLimits     		[17.6 22.4 879 1002]
		subviewer      		30
		executionOrder 		2
		autogen {
			isAutoCreated		1
			source       		30
		}
	}

	transition {
		id             		327
		labelString    		"[request_from_car]   /* D3 */"
		labelPosition  		[137.461 1023.095 297.907 28.424]
		fontSize       		12
		src {
			id          		159
			intersection		[1 1 0 0 25 1007 0 0]
		}
		dst {
			id          		160
			intersection		[1 -1 0 0 259 1007 0 0]
		}
		midPoint       		[142.8263 1007]
		chart          		2
		linkNode       		[30 326 328]
		visible        		0
		dataLimits     		[25 259 1004.6 1009.4]
		subviewer      		30
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		30
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"c\",M[3]}}"
		}
	}

	transition {
		id             		328
		labelString    		"{\n"
						"$ $\n"
						"/* Action 'S': Should stop at this floor */\n"
						"position = cur_floor; /* Adjust position */\n"
						"ans = 1;\n"
						"}"
		labelPosition  		[437.854 1090.502 415.422 163.062]
		fontSize       		12
		src {
			id          		160
			intersection		[1 1 0 0 269 1007 0 0]
		}
		dst {
			id          		161
			intersection		[1 -1 0 0 618 1007 0 0]
		}
		midPoint       		[446.8263 1007]
		chart          		2
		linkNode       		[30 327 329]
		visible        		0
		dataLimits     		[269 618 1004.6 1009.4]
		subviewer      		30
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		30
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[2]}}"
		}
	}

	transition {
		id             		329
		labelPosition  		[19.477 1036.576 14.97 28.424]
		fontSize       		12
		src {
			id          		159
			intersection		[1 0 1 0 20 1012 0 0]
		}
		dst {
			id          		162
			intersection		[1 0 -1 0 20 1155 0 0]
		}
		midPoint       		[20 1082.348]
		chart          		2
		linkNode       		[30 328 330]
		visible        		0
		dataLimits     		[17.6 22.4 1012 1155]
		subviewer      		30
		executionOrder 		2
		autogen {
			isAutoCreated		1
			source       		30
		}
	}

	transition {
		id             		330
		labelString    		"[request_from_hall&&this_hall_call_outstanding]   /* D4 */"
		labelPosition  		[255.071 1175.885 604.795 28.424]
		fontSize       		12
		src {
			id          		162
			intersection		[1 1 0 0 25 1160 0 0]
		}
		dst {
			id          		163
			intersection		[1 -1 0 0 496 1160 0 0]
		}
		midPoint       		[266.4784 1160]
		chart          		2
		linkNode       		[30 329 331]
		visible        		0
		dataLimits     		[25 496 1157.6 1162.4]
		subviewer      		30
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		30
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"c\",M[4]}}"
		}
	}

	transition {
		id             		331
		labelString    		"{\n"
						"$ $\n"
						"/* Action 'S': Should stop at this floor */\n"
						"position = cur_floor; /* Adjust position */\n"
						"ans = 1;\n"
						"}"
		labelPosition  		[674.572 1243.292 415.422 163.062]
		fontSize       		12
		src {
			id          		163
			intersection		[1 1 0 0 506 1160 0 0]
		}
		dst {
			id          		164
			intersection		[1 -1 0 0 855 1160 0 0]
		}
		midPoint       		[683.8263 1160]
		chart          		2
		linkNode       		[30 330 332]
		visible        		0
		dataLimits     		[506 855 1157.6 1162.4]
		subviewer      		30
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		30
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[2]}}"
		}
	}

	transition {
		id             		332
		labelPosition  		[19.477 1189.366 14.97 28.424]
		fontSize       		12
		src {
			id          		162
			intersection		[1 0 1 0 20 1165 0 0]
		}
		dst {
			id          		165
			intersection		[1 0 -1 0 20 1308 0 0]
		}
		midPoint       		[20 1235.348]
		chart          		2
		linkNode       		[30 331 333]
		visible        		0
		dataLimits     		[17.6 22.4 1165 1308]
		subviewer      		30
		executionOrder 		2
		autogen {
			isAutoCreated		1
			source       		30
		}
	}

	transition {
		id             		333
		labelString    		"/* Default */"
		labelPosition  		[72.289 1328.675 122.007 28.424]
		fontSize       		12
		src {
			id          		165
			intersection		[1 1 0 0 25 1313 0 0]
		}
		dst {
			id          		166
			intersection		[1 -1 0 0 129 1313 0 0]
		}
		midPoint       		[75.0002 1313]
		chart          		2
		linkNode       		[30 332 334]
		visible        		0
		dataLimits     		[25 129 1310.6 1315.4]
		subviewer      		30
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		30
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"c\",M[5]}}"
		}
	}

	transition {
		id             		334
		labelString    		"{\n"
						"$ $\n"
						"/* Action 'C': Should not stop, continue */\n"
						"ans = 0;\n"
						"}"
		labelPosition  		[308.258 1382.601 425.902 136.134]
		fontSize       		12
		src {
			id          		166
			intersection		[1 1 0 0 139 1313 0 0]
		}
		dst {
			id          		167
			intersection		[1 -1 0 0 488 1313 0 0]
		}
		midPoint       		[316.8263 1313]
		chart          		2
		linkNode       		[30 333 0]
		visible        		0
		dataLimits     		[139 488 1310.6 1315.4]
		subviewer      		30
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		30
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[3]}}"
		}
	}

	transition {
		id             		335
		labelString    		"{dir = direction;}"
		labelPosition  		[60.15 26.913 167.666 28.424]
		fontSize       		12
		src {
			intersection		[0 0.7071 0.7071 0 22.5092 22.6432 0 0]
		}
		dst {
			id          		168
			intersection		[7 -0.7071 -0.7071 -1 43.7224 43.8564 0 0]
		}
		midPoint       		[30.5642 30.6982]
		chart          		2
		linkNode       		[31 0 0]
		visible        		0
		dataLimits     		[22.509 43.722 22.643 43.856]
		subviewer      		31
		executionOrder 		1
	}

	transition {
		id             		336
		labelString    		"{enqueue(car_call_floor);\n"
						"car_call_status[car_call_floor] = 1;}"
		labelPosition  		[36.656 30.219 371.26 55.351]
		fontSize       		12
		src {
			intersection		[0 0 1 0 25.7427 22.942 0 0]
		}
		dst {
			id          		169
			intersection		[7 0 -1 -1 25.7427 61.7608 0 0]
		}
		midPoint       		[25.7427 38.9346]
		chart          		2
		linkNode       		[32 0 0]
		visible        		0
		dataLimits     		[23.343 28.143 22.942 61.761]
		subviewer      		32
		executionOrder 		1
	}

	transition {
		id             		337
		labelPosition  		[27.292 33.26 14.97 28.424]
		fontSize       		12
		src {
			intersection		[0 0 1 0 26.3394 33.9908 0 0]
		}
		dst {
			id          		170
			intersection		[7 0 -1 -1 26.3394 57.1154 0 0]
		}
		midPoint       		[26.3394 41.7951]
		chart          		2
		linkNode       		[33 0 338]
		visible        		0
		dataLimits     		[23.939 28.739 33.991 57.115]
		subviewer      		33
		executionOrder 		1
	}

	transition {
		id             		338
		labelString    		"[car_call_status[task_floor] != 0]"
		labelPosition  		[45.794 45.132 339.823 28.424]
		fontSize       		12
		src {
			id          		170
			intersection		[0 1 0 -1 33.3394 64.1154 0 0]
		}
		dst {
			id          		171
			intersection		[0 -1 0 -1 225.0232 64.1154 0 0]
		}
		midPoint       		[129.0876 64.1154]
		chart          		2
		linkNode       		[33 337 339]
		visible        		0
		dataLimits     		[33.339 225.023 61.715 66.515]
		subviewer      		33
		drawStyle      		SMART
		executionOrder 		1
	}

	transition {
		id             		339
		labelString    		"{i = 0;}"
		labelPosition  		[36.617 81.43 71.108 28.424]
		fontSize       		12
		src {
			id          		170
			intersection		[0 0 1 -1 26.3394 71.1154 0 0]
		}
		dst {
			id          		173
			intersection		[7 0 -1 -1 26.3394 121.3922 0 0]
		}
		midPoint       		[26.3394 93.0861]
		chart          		2
		linkNode       		[33 338 340]
		visible        		0
		dataLimits     		[23.939 28.739 71.115 121.392]
		subviewer      		33
		drawStyle      		SMART
		slide {
			sticky        		BOTH_STICK
		}
		executionOrder 		2
	}

	transition {
		id             		340
		labelString    		"[task_queue[i] == task_floor]"
		labelPosition  		[87.22 72.203 300.901 28.424]
		fontSize       		12
		src {
			id          		173
			intersection		[0 0.8619 -0.507 -1 32.3727 124.8432 0 0]
		}
		dst {
			id          		172
			intersection		[0 -0.9789 -0.2046 -1 167.1211 102.7027 0 0]
		}
		midPoint       		[96.8703 96.5944]
		chart          		2
		linkNode       		[33 339 341]
		visible        		0
		dataLimits     		[32.373 167.121 95.179 124.843]
		stampAngle     		-0.3689
		subviewer      		33
		drawStyle      		SMART
		executionOrder 		1
	}

	transition {
		id             		341
		labelString    		"[task_queue[i] > 0 && i<NUM_FLOOR]{i++;}"
		labelPosition  		[62.367 120.813 469.315 28.424]
		fontSize       		12
		src {
			id          		173
			intersection		[0 1 0.004 -1 33.3394 128.4202 0 0]
		}
		dst {
			id          		173
			intersection		[0 0.6454 0.7638 -1 30.8572 133.7388 0 0]
		}
		midPoint       		[51.9562 132.7716]
		chart          		2
		linkNode       		[33 340 342]
		visible        		0
		dataLimits     		[30.857 51.96 128.42 141.398]
		subviewer      		33
		slide {
			sticky        		SRC_STICK
			midPointSticky		1
		}
		executionOrder 		2
	}

	transition {
		id             		342
		labelPosition  		[45.265 135.709 14.97 28.424]
		fontSize       		12
		src {
			id          		173
			intersection		[0 0 1 -1 26.3394 135.3922 0 0]
		}
		dst {
			id          		174
			intersection		[0 0 -1 -1 26.3394 168.8435 0 0]
		}
		midPoint       		[26.3394 148.5843]
		chart          		2
		linkNode       		[33 341 343]
		visible        		0
		dataLimits     		[23.939 28.739 135.392 168.844]
		subviewer      		33
		drawStyle      		SMART
		executionOrder 		3
	}

	transition {
		id             		343
		labelString    		"[i >= NUM_FLOOR]"
		labelPosition  		[49.282 156.661 213.325 28.424]
		fontSize       		12
		src {
			id          		174
			intersection		[0 1 0 -1 33.3394 175.8435 0 0]
		}
		dst {
			id          		175
			intersection		[0 -1 0 -1 168.1106 175.8435 0 0]
		}
		midPoint       		[99.3941 175.8435]
		chart          		2
		linkNode       		[33 342 344]
		visible        		0
		dataLimits     		[33.339 168.111 173.444 178.244]
		subviewer      		33
		drawStyle      		SMART
		executionOrder 		1
	}

	transition {
		id             		344
		labelString    		"{task_queue[i] = task_floor;}"
		labelPosition  		[34.719 190.855 296.41 28.424]
		fontSize       		12
		src {
			id          		174
			intersection		[0 0 1 -1 26.3394 182.8435 0 0]
		}
		dst {
			id          		176
			intersection		[0 0 -1 -1 26.3394 216.825 0 0]
		}
		midPoint       		[26.3394 196.3123]
		chart          		2
		linkNode       		[33 343 0]
		visible        		0
		dataLimits     		[23.939 28.739 182.844 216.825]
		subviewer      		33
		drawStyle      		SMART
		executionOrder 		2
	}

	transition {
		id             		345
		labelString    		"{pos = position;}"
		labelPosition  		[60.15 26.913 170.66 28.424]
		fontSize       		12
		src {
			intersection		[0 0.7071 0.7071 0 22.5092 22.6432 0 0]
		}
		dst {
			id          		119
			intersection		[7 -0.7071 -0.7071 -1 43.7224 43.8564 0 0]
		}
		midPoint       		[30.5642 30.6982]
		chart          		2
		linkNode       		[34 0 0]
		visible        		0
		dataLimits     		[22.509 43.722 22.643 43.856]
		subviewer      		34
		executionOrder 		1
	}

	transition {
		id             		346
		labelString    		"{dequeue(car_call_floor);\n"
						"car_call_status[car_call_floor] = 0;\n"
						"ml.sf_elevator_gui(\"deactivate\",\"carB\",car_call_floor)"
						";}"
		labelPosition  		[38.7 49.621 282.414 41.942]
		fontSize       		12
		src {
			intersection		[0 0 1 0 27.7869 37.9546 0 0]
		}
		dst {
			id          		118
			intersection		[7 0 -1 -1 27.7869 96.9651 0 0]
		}
		midPoint       		[27.7869 64.482]
		chart          		2
		linkNode       		[35 0 0]
		visible        		0
		dataLimits     		[25.387 30.187 37.955 96.965]
		subviewer      		35
		executionOrder 		1
	}

	transition {
		id             		347
		labelPosition  		[20.35 43.254 14.97 28.424]
		fontSize       		12
		src {
			intersection		[1 1.4142 1.4142 0 20 25 0 0]
		}
		dst {
			id          		177
			intersection		[1 0 -1 0 20 50 0 0]
		}
		midPoint       		[24.2193 35.0186]
		chart          		2
		linkNode       		[29 0 348]
		visible        		0
		dataLimits     		[17.6 25.089 25 50]
		subviewer      		29
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		29
		}
	}

	transition {
		id             		348
		labelString    		"{\n"
						"$ $\n"
						"/* Condition 'move_up': Move up */\n"
						"move_up = (destination - position > ERR_TOR);\n"
						"}"
		labelPosition  		[28.837 173.088 506.741 136.134]
		fontSize       		12
		src {
			id          		177
			intersection		[1 0 1 0 20 60 0 0]
		}
		dst {
			id          		178
			intersection		[1 0 -1 0 20 161 0 0]
		}
		midPoint       		[20 108.4349]
		chart          		2
		linkNode       		[29 347 349]
		visible        		0
		dataLimits     		[17.6 22.4 60 161]
		subviewer      		29
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		29
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[1]}}"
		}
	}

	transition {
		id             		349
		labelString    		"{\n"
						"$ $\n"
						"/* Condition 'move_down': Move down */\n"
						"move_down = (position - destination > ERR_TOR);\n"
						"}"
		labelPosition  		[28.837 283.404 536.681 136.134]
		fontSize       		12
		src {
			id          		178
			intersection		[1 0 1 0 20 171 0 0]
		}
		dst {
			id          		179
			intersection		[1 0 -1 0 20 272 0 0]
		}
		midPoint       		[20 219.4349]
		chart          		2
		linkNode       		[29 348 351]
		visible        		0
		dataLimits     		[17.6 22.4 171 272]
		subviewer      		29
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		29
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[2]}}"
		}
	}

	transition {
		id             		350
		labelString    		"[move_up&&!move_down]   /* D1 */"
		labelPosition  		[148.509 296.133 373.506 28.424]
		fontSize       		12
		src {
			id          		179
			intersection		[1 1 0 0 25 277 0 0]
		}
		dst {
			id          		180
			intersection		[1 -1 0 0 284 277 0 0]
		}
		midPoint       		[155.8697 277]
		chart          		2
		linkNode       		[29 351 352]
		visible        		0
		dataLimits     		[25 284 274.6 279.4]
		subviewer      		29
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		29
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"c\",M[1]}}"
		}
	}

	transition {
		id             		351
		labelString    		"{\n"
						"$ $\n"
						"/* Action 1: Move up */\n"
						"position = position + VELOCITY;\n"
						"direction = MOVE_UP;\n"
						"ml.sf_elevator_gui(\"move_car\", \"carB\", position);\n"
						"}"
		labelPosition  		[487.156 382.688 509.735 189.989]
		fontSize       		12
		src {
			id          		180
			intersection		[1 1 0 0 294 277 0 0]
		}
		dst {
			id          		181
			intersection		[1 -1 0 0 692 277 0 0]
		}
		midPoint       		[497.3915 277]
		chart          		2
		linkNode       		[29 349 350]
		visible        		0
		dataLimits     		[294 692 274.6 279.4]
		subviewer      		29
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		29
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[1]}}"
		}
	}

	transition {
		id             		352
		labelPosition  		[18.652 311.407 14.97 28.424]
		fontSize       		12
		src {
			id          		179
			intersection		[1 0 1 0 20 282 0 0]
		}
		dst {
			id          		182
			intersection		[1 0 -1 0 20 446 0 0]
		}
		midPoint       		[20 363.3045]
		chart          		2
		linkNode       		[29 350 354]
		visible        		0
		dataLimits     		[17.6 22.4 282 446]
		subviewer      		29
		executionOrder 		2
		autogen {
			isAutoCreated		1
			source       		29
		}
	}

	transition {
		id             		353
		labelString    		"[!move_up&&move_down]   /* D2 */"
		labelPosition  		[148.509 470.092 373.506 28.424]
		fontSize       		12
		src {
			id          		182
			intersection		[1 1 0 0 25 451 0 0]
		}
		dst {
			id          		183
			intersection		[1 -1 0 0 284 451 0 0]
		}
		midPoint       		[155.8697 451]
		chart          		2
		linkNode       		[29 354 355]
		visible        		0
		dataLimits     		[25 284 448.6 453.4]
		subviewer      		29
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		29
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"c\",M[2]}}"
		}
	}

	transition {
		id             		354
		labelString    		"{\n"
						"$ $\n"
						"/* Action 2: Move down */\n"
						"position = position - VELOCITY;\n"
						"direction = MOVE_DOWN;\n"
						"ml.sf_elevator_gui(\"move_car\", \"carB\", position);\n"
						"}"
		labelPosition  		[487.156 556.648 509.735 189.989]
		fontSize       		12
		src {
			id          		183
			intersection		[1 1 0 0 294 451 0 0]
		}
		dst {
			id          		184
			intersection		[1 -1 0 0 692 451 0 0]
		}
		midPoint       		[497.3915 451]
		chart          		2
		linkNode       		[29 352 353]
		visible        		0
		dataLimits     		[294 692 448.6 453.4]
		subviewer      		29
		executionOrder 		1
		autogen {
			isAutoCreated		1
			source       		29
			mapping      		"100 S'table','rowcol','index'{{T\"a\",T\"r\",M[2]}}"
		}
	}

	transition {
		id             		355
		labelPosition  		[18.652 485.367 14.97 28.424]
		fontSize       		12
		src {
			id          		182
			intersection		[1 0 1 0 20 456 0 0]
		}
		dst {
			id          		185
			intersection		[1 0 -1 0 20 620 0 0]
		}
		midPoint       		[20 537.3045]
		chart          		2
		linkNode       		[29 353 0]
		visible        		0
		dataLimits     		[17.6 22.4 456 620]
		subviewer      		29
		executionOrder 		2
		autogen {
			isAutoCreated		1
			source       		29
		}
	}

	data {
		id                            		356
		name                          		"request_floor"
		linkNode                      		[3 0 357]
		scope                         		TEMPORARY_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
	}

	data {
		id                            		357
		name                          		"fire_alarm_on"
		description                   		"Fire alarm is on"
		linkNode                      		[3 356 358]
		scope                         		TEMPORARY_DATA
		machine                       		1
		dataType                      		"boolean"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[1]}}"
		}
	}

	data {
		id                            		358
		name                          		"request_outstanding"
		description                   		"There is outstanding request"
		linkNode                      		[3 357 359]
		scope                         		TEMPORARY_DATA
		machine                       		1
		dataType                      		"boolean"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[2]}}"
		}
	}

	data {
		id                            		359
		name                          		"elevator_A_idle"
		description                   		"Elevator A is idle"
		linkNode                      		[3 358 360]
		scope                         		TEMPORARY_DATA
		machine                       		1
		dataType                      		"boolean"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[3]}}"
		}
	}

	data {
		id                            		360
		name                          		"elevator_B_idle"
		description                   		"Elevator B is idle"
		linkNode                      		[3 359 361]
		scope                         		TEMPORARY_DATA
		machine                       		1
		dataType                      		"boolean"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[4]}}"
		}
	}

	data {
		id                            		361
		name                          		"elevator_A_closer"
		description                   		"Elevator A is closer to request"
		linkNode                      		[3 360 0]
		scope                         		TEMPORARY_DATA
		machine                       		1
		dataType                      		"boolean"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
		autogen {
			isAutoCreated		1
			source       		3
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[5]}}"
		}
	}

	data {
		id                            		362
		name                          		"hall_call_queue"
		linkNode                      		[4 0 363]
		scope                         		LOCAL_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
			array {
				size      		"10"
			}
		}
	}

	data {
		id                            		363
		name                          		"hall_call_status"
		linkNode                      		[4 362 0]
		scope                         		LOCAL_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
			array {
				size      		"10"
			}
		}
	}

	data {
		id                            		364
		name                          		"status"
		linkNode                      		[5 0 365]
		scope                         		LOCAL_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
	}

	data {
		id                            		365
		name                          		"position"
		linkNode                      		[5 364 366]
		scope                         		LOCAL_DATA
		machine                       		1
		dataType                      		"double"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
			initialValue		"1"
		}
	}

	data {
		id                            		366
		name                          		"task_queue"
		linkNode                      		[5 365 367]
		scope                         		LOCAL_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
			array {
				size      		"10"
			}
		}
	}

	data {
		id                            		367
		name                          		"car_call_status"
		linkNode                      		[5 366 368]
		scope                         		LOCAL_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
			array {
				size      		"10"
			}
		}
	}

	data {
		id                            		368
		name                          		"car_call"
		linkNode                      		[5 367 369]
		scope                         		LOCAL_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
	}

	data {
		id                            		369
		name                          		"cur_floor"
		linkNode                      		[5 368 370]
		scope                         		LOCAL_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
	}

	data {
		id                            		370
		name                          		"direction"
		linkNode                      		[5 369 0]
		scope                         		LOCAL_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
			initialValue		"1"
		}
	}

	data {
		id                            		371
		name                          		"stat"
		linkNode                      		[6 0 0]
		scope                         		FUNCTION_OUTPUT_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
	}

	data {
		id                            		372
		name                          		"pos"
		linkNode                      		[7 0 0]
		scope                         		FUNCTION_OUTPUT_DATA
		machine                       		1
		dataType                      		"double"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
	}

	data {
		id                            		373
		name                          		"car_call_floor"
		linkNode                      		[8 0 0]
		scope                         		FUNCTION_INPUT_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
	}

	data {
		id                            		374
		name                          		"hall_call_floor"
		linkNode                      		[9 0 0]
		scope                         		FUNCTION_INPUT_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
	}

	data {
		id                            		375
		name                          		"car_call_floor"
		linkNode                      		[10 0 0]
		scope                         		FUNCTION_INPUT_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
	}

	data {
		id                            		376
		name                          		"i"
		linkNode                      		[12 0 377]
		scope                         		TEMPORARY_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
	}

	data {
		id                            		377
		name                          		"task_floor"
		linkNode                      		[12 376 0]
		scope                         		FUNCTION_INPUT_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
	}

	data {
		id                            		378
		name                          		"hall_call_floor"
		linkNode                      		[14 0 379]
		scope                         		FUNCTION_INPUT_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
	}

	data {
		id                            		379
		name                          		"i"
		linkNode                      		[14 378 0]
		scope                         		TEMPORARY_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
	}

	data {
		id                            		380
		name                          		"destination"
		linkNode                      		[16 0 381]
		scope                         		FUNCTION_INPUT_DATA
		machine                       		1
		dataType                      		"double"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
	}

	data {
		id                            		381
		name                          		"move_up"
		description                   		"Move up"
		linkNode                      		[16 380 382]
		scope                         		TEMPORARY_DATA
		machine                       		1
		dataType                      		"boolean"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
		autogen {
			isAutoCreated		1
			source       		16
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[1]}}"
		}
	}

	data {
		id                            		382
		name                          		"move_down"
		description                   		"Move down"
		linkNode                      		[16 381 0]
		scope                         		TEMPORARY_DATA
		machine                       		1
		dataType                      		"boolean"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
		autogen {
			isAutoCreated		1
			source       		16
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[2]}}"
		}
	}

	data {
		id                            		383
		name                          		"i"
		linkNode                      		[17 0 384]
		scope                         		TEMPORARY_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
	}

	data {
		id                            		384
		name                          		"hall_call_floor"
		linkNode                      		[17 383 0]
		scope                         		FUNCTION_INPUT_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
	}

	data {
		id                            		385
		name                          		"task_floor"
		linkNode                      		[18 0 386]
		scope                         		FUNCTION_INPUT_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
	}

	data {
		id                            		386
		name                          		"i"
		linkNode                      		[18 385 0]
		scope                         		TEMPORARY_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
	}

	data {
		id                            		387
		name                          		"hall_call_floor"
		linkNode                      		[19 0 0]
		scope                         		FUNCTION_INPUT_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
	}

	data {
		id                            		388
		name                          		"ans"
		linkNode                      		[21 0 389]
		scope                         		FUNCTION_OUTPUT_DATA
		machine                       		1
		dataType                      		"boolean"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
	}

	data {
		id                            		389
		name                          		"at_destination"
		description                   		"Arrived destination"
		linkNode                      		[21 388 390]
		scope                         		TEMPORARY_DATA
		machine                       		1
		dataType                      		"boolean"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
		autogen {
			isAutoCreated		1
			source       		21
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[1]}}"
		}
	}

	data {
		id                            		390
		name                          		"at_a_floor"
		description                   		"Arrived a floor"
		linkNode                      		[21 389 391]
		scope                         		TEMPORARY_DATA
		machine                       		1
		dataType                      		"boolean"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
		autogen {
			isAutoCreated		1
			source       		21
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[2]}}"
		}
	}

	data {
		id                            		391
		name                          		"request_from_car"
		description                   		"There is car call to stop at this floor"
		linkNode                      		[21 390 392]
		scope                         		TEMPORARY_DATA
		machine                       		1
		dataType                      		"boolean"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
		autogen {
			isAutoCreated		1
			source       		21
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[3]}}"
		}
	}

	data {
		id                            		392
		name                          		"request_from_hall"
		description                   		"There is hall call from this floor"
		linkNode                      		[21 391 393]
		scope                         		TEMPORARY_DATA
		machine                       		1
		dataType                      		"boolean"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
		autogen {
			isAutoCreated		1
			source       		21
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[4]}}"
		}
	}

	data {
		id                            		393
		name                          		"this_hall_call_outstanding"
		description                   		"This hall call is still outstanding in queue"
		linkNode                      		[21 392 0]
		scope                         		TEMPORARY_DATA
		machine                       		1
		dataType                      		"boolean"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
		autogen {
			isAutoCreated		1
			source       		21
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[5]}}"
		}
	}

	data {
		id                            		394
		name                          		"dir"
		linkNode                      		[22 0 0]
		scope                         		FUNCTION_OUTPUT_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
	}

	data {
		id                            		395
		name                          		"ans"
		linkNode                      		[23 0 396]
		scope                         		FUNCTION_OUTPUT_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
	}

	data {
		id                            		396
		name                          		"floor"
		linkNode                      		[23 395 397]
		scope                         		FUNCTION_INPUT_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
	}

	data {
		id                            		397
		name                          		"i"
		linkNode                      		[23 396 0]
		scope                         		TEMPORARY_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
	}

	data {
		id                            		398
		name                          		"status"
		linkNode                      		[24 0 399]
		scope                         		LOCAL_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
	}

	data {
		id                            		399
		name                          		"position"
		linkNode                      		[24 398 400]
		scope                         		LOCAL_DATA
		machine                       		1
		dataType                      		"double"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
			initialValue		"1"
		}
	}

	data {
		id                            		400
		name                          		"task_queue"
		linkNode                      		[24 399 401]
		scope                         		LOCAL_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
			array {
				size      		"10"
			}
		}
	}

	data {
		id                            		401
		name                          		"car_call_status"
		linkNode                      		[24 400 402]
		scope                         		LOCAL_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
			array {
				size      		"10"
			}
		}
	}

	data {
		id                            		402
		name                          		"car_call"
		linkNode                      		[24 401 403]
		scope                         		LOCAL_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
	}

	data {
		id                            		403
		name                          		"cur_floor"
		linkNode                      		[24 402 404]
		scope                         		LOCAL_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
	}

	data {
		id                            		404
		name                          		"direction"
		linkNode                      		[24 403 0]
		scope                         		LOCAL_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
			initialValue		"1"
		}
	}

	data {
		id                            		405
		name                          		"destination"
		linkNode                      		[29 0 406]
		scope                         		FUNCTION_INPUT_DATA
		machine                       		1
		dataType                      		"double"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
	}

	data {
		id                            		406
		name                          		"move_up"
		description                   		"Move up"
		linkNode                      		[29 405 407]
		scope                         		TEMPORARY_DATA
		machine                       		1
		dataType                      		"boolean"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
		autogen {
			isAutoCreated		1
			source       		29
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[1]}}"
		}
	}

	data {
		id                            		407
		name                          		"move_down"
		description                   		"Move down"
		linkNode                      		[29 406 0]
		scope                         		TEMPORARY_DATA
		machine                       		1
		dataType                      		"boolean"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
		autogen {
			isAutoCreated		1
			source       		29
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[2]}}"
		}
	}

	data {
		id                            		408
		name                          		"ans"
		linkNode                      		[30 0 409]
		scope                         		FUNCTION_OUTPUT_DATA
		machine                       		1
		dataType                      		"boolean"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
	}

	data {
		id                            		409
		name                          		"at_destination"
		description                   		"Arrived destination"
		linkNode                      		[30 408 410]
		scope                         		TEMPORARY_DATA
		machine                       		1
		dataType                      		"boolean"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
		autogen {
			isAutoCreated		1
			source       		30
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[1]}}"
		}
	}

	data {
		id                            		410
		name                          		"at_a_floor"
		description                   		"Arrived a floor"
		linkNode                      		[30 409 411]
		scope                         		TEMPORARY_DATA
		machine                       		1
		dataType                      		"boolean"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
		autogen {
			isAutoCreated		1
			source       		30
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[2]}}"
		}
	}

	data {
		id                            		411
		name                          		"request_from_car"
		description                   		"There is car call to stop at this floor"
		linkNode                      		[30 410 412]
		scope                         		TEMPORARY_DATA
		machine                       		1
		dataType                      		"boolean"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
		autogen {
			isAutoCreated		1
			source       		30
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[3]}}"
		}
	}

	data {
		id                            		412
		name                          		"request_from_hall"
		description                   		"There is hall call from this floor"
		linkNode                      		[30 411 413]
		scope                         		TEMPORARY_DATA
		machine                       		1
		dataType                      		"boolean"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
		autogen {
			isAutoCreated		1
			source       		30
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[4]}}"
		}
	}

	data {
		id                            		413
		name                          		"this_hall_call_outstanding"
		description                   		"This hall call is still outstanding in queue"
		linkNode                      		[30 412 0]
		scope                         		TEMPORARY_DATA
		machine                       		1
		dataType                      		"boolean"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
		autogen {
			isAutoCreated		1
			source       		30
			mapping      		"100 S'table','rowcol','index'{{T\"p\",T\"r\",M[5]}}"
		}
	}

	data {
		id                            		414
		name                          		"dir"
		linkNode                      		[31 0 0]
		scope                         		FUNCTION_OUTPUT_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
	}

	data {
		id                            		415
		name                          		"car_call_floor"
		linkNode                      		[32 0 0]
		scope                         		FUNCTION_INPUT_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
	}

	data {
		id                            		416
		name                          		"task_floor"
		linkNode                      		[33 0 417]
		scope                         		FUNCTION_INPUT_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
	}

	data {
		id                            		417
		name                          		"i"
		linkNode                      		[33 416 0]
		scope                         		TEMPORARY_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
	}

	data {
		id                            		418
		name                          		"pos"
		linkNode                      		[34 0 0]
		scope                         		FUNCTION_OUTPUT_DATA
		machine                       		1
		dataType                      		"double"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
	}

	data {
		id                            		419
		name                          		"car_call_floor"
		linkNode                      		[35 0 0]
		scope                         		FUNCTION_INPUT_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
	}

	data {
		id                            		420
		name                          		"stat"
		linkNode                      		[36 0 0]
		scope                         		FUNCTION_OUTPUT_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
	}

	data {
		id                            		421
		name                          		"i"
		linkNode                      		[37 0 422]
		scope                         		TEMPORARY_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
	}

	data {
		id                            		422
		name                          		"task_floor"
		linkNode                      		[37 421 0]
		scope                         		FUNCTION_INPUT_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
	}

	event {
		id         		423
		name       		"HALL_CALL"
		linkNode   		[2 0 424]
		scope      		INPUT_EVENT
		trigger    		EITHER_EDGE_EVENT
		machine    		1
	}

	event {
		id         		424
		name       		"CAR_CALL_A"
		linkNode   		[2 423 425]
		scope      		INPUT_EVENT
		trigger    		EITHER_EDGE_EVENT
		machine    		1
	}

	event {
		id         		425
		name       		"CAR_CALL_B"
		linkNode   		[2 424 426]
		scope      		INPUT_EVENT
		trigger    		EITHER_EDGE_EVENT
		machine    		1
	}

	event {
		id         		426
		name       		"CLOCK"
		linkNode   		[2 425 0]
		scope      		INPUT_EVENT
		trigger    		EITHER_EDGE_EVENT
		machine    		1
	}

	data {
		id                            		427
		name                          		"IDLE"
		linkNode                      		[2 0 428]
		scope                         		CONSTANT_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
	}

	data {
		id                            		428
		name                          		"BUSY"
		linkNode                      		[2 427 429]
		scope                         		CONSTANT_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
			initialValue		"1"
		}
	}

	data {
		id                            		429
		name                          		"VELOCITY"
		linkNode                      		[2 428 430]
		scope                         		LOCAL_DATA
		machine                       		1
		dataType                      		"double"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
			initialValue		"0.01"
		}
	}

	data {
		id                            		430
		name                          		"hall_call"
		linkNode                      		[2 429 431]
		scope                         		INPUT_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
	}

	data {
		id                            		431
		name                          		"A_position"
		linkNode                      		[2 430 432]
		scope                         		OUTPUT_DATA
		machine                       		1
		dataType                      		"double"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
			initialValue		"1"
		}
	}

	data {
		id                            		432
		name                          		"B_position"
		linkNode                      		[2 431 433]
		scope                         		OUTPUT_DATA
		machine                       		1
		dataType                      		"double"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
			initialValue		"1"
		}
	}

	data {
		id                            		433
		name                          		"NUM_FLOOR"
		linkNode                      		[2 432 434]
		scope                         		CONSTANT_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
			initialValue		"9"
		}
	}

	data {
		id                            		434
		name                          		"ERR_TOR"
		linkNode                      		[2 433 435]
		scope                         		LOCAL_DATA
		machine                       		1
		dataType                      		"double"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
			initialValue		"0.001"
		}
	}

	data {
		id                            		435
		name                          		"car_call_A"
		linkNode                      		[2 434 436]
		scope                         		INPUT_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
	}

	data {
		id                            		436
		name                          		"car_call_B"
		linkNode                      		[2 435 437]
		scope                         		INPUT_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
	}

	data {
		id                            		437
		name                          		"fire_alarm"
		linkNode                      		[2 436 438]
		scope                         		INPUT_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
	}

	data {
		id                            		438
		name                          		"MOVE_UP"
		linkNode                      		[2 437 439]
		scope                         		CONSTANT_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
			initialValue		"2"
		}
	}

	data {
		id                            		439
		name                          		"MOVE_DOWN"
		linkNode                      		[2 438 440]
		scope                         		CONSTANT_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
		}
	}

	data {
		id                            		440
		name                          		"MOVE_IDLE"
		linkNode                      		[2 439 441]
		scope                         		CONSTANT_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
			initialValue		"1"
		}
	}

	data {
		id                            		441
		name                          		"EMERG"
		linkNode                      		[2 440 442]
		scope                         		CONSTANT_DATA
		machine                       		1
		dataType                      		"uint8"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		0
		props {
			range {
				minimum		""
				maximum		""
			}
			initialValue		"2"
		}
	}

	data {
		id                            		442
		name                          		"TIME_OUT"
		linkNode                      		[2 441 0]
		scope                         		CONSTANT_DATA
		machine                       		1
		dataType                      		"uint32"
		fixptType {
			bias    		0
			slope   		1
			exponent		0
			baseType		SF_INT16_TYPE
			lock    		0
		}
		dlgFixptMode                  		1
		props {
			range {
				minimum		""
				maximum		""
			}
			initialValue		"1000"
		}
	}

	instance {
		id     		443
		name   		"Elevator System"
		machine		1
		chart  		2
	}

	target {
		id                        		444
		name                      		"sfun"
		description               		"Default Simulink S-Function Target."
		codeFlags                 		" debug=1 overflow=0 echo=0"
		machine                   		1
		linkNode                  		[1 0 445]
	}

	target {
		id                        		445
		name                      		"sfun1"
		description               		"Default Simulink S-Function Target."
		machine                   		1
		linkNode                  		[1 444 0]
	}
}