Property PolyORBLF-PT-S06J04T08-UpperBounds-00
  "Automatically generated"
  is:
    bound("ProcessingEvt_8","ProcessingEvt_1","ProcessingEvt_6","ProcessingEvt_7","ProcessingEvt_5","ProcessingEvt_4","ProcessingEvt_3","ProcessingEvt_2")
  end.
Property PolyORBLF-PT-S06J04T08-UpperBounds-01
  "Automatically generated"
  is:
    bound("ScheduleTaskE_Work_1_2","ScheduleTaskE_Work_8_2","ScheduleTaskE_Work_3_3","ScheduleTaskE_Work_6_0","ScheduleTaskE_Work_2_4","ScheduleTaskE_Work_8_1","ScheduleTaskE_Work_7_0","ScheduleTaskE_Work_1_3","ScheduleTaskE_Work_8_0","ScheduleTaskE_Work_3_4","ScheduleTaskE_Work_1_0","ScheduleTaskE_Work_7_1","ScheduleTaskE_Work_4_4","ScheduleTaskE_Work_5_3","ScheduleTaskE_Work_6_2","ScheduleTaskE_Work_7_2","ScheduleTaskE_Work_5_4","ScheduleTaskE_Work_4_3","ScheduleTaskE_Work_6_1","ScheduleTaskE_Work_1_1","ScheduleTaskE_Work_6_4","ScheduleTaskE_Work_7_3","ScheduleTaskE_Work_2_1","ScheduleTaskE_Work_5_1","ScheduleTaskE_Work_4_2","ScheduleTaskE_Work_3_0","ScheduleTaskE_Work_4_1","ScheduleTaskE_Work_6_3","ScheduleTaskE_Work_7_4","ScheduleTaskE_Work_3_1","ScheduleTaskE_Work_2_0","ScheduleTaskE_Work_5_2","ScheduleTaskE_Work_3_2","ScheduleTaskE_Work_8_4","ScheduleTaskE_Work_1_4","ScheduleTaskE_Work_2_3","ScheduleTaskE_Work_4_0","ScheduleTaskE_Work_2_2","ScheduleTaskE_Work_8_3","ScheduleTaskE_Work_5_0")
  end.
Property PolyORBLF-PT-S06J04T08-UpperBounds-02
  "Automatically generated"
  is:
    bound("QueueJobB_5_4","QueueJobB_2_2","QueueJobB_4_3","QueueJobB_3_2","QueueJobB_7_1","QueueJobB_8_0","QueueJobB_1_0","QueueJobB_6_2","QueueJobB_8_1","QueueJobB_4_4","QueueJobB_5_3","QueueJobB_6_3","QueueJobB_2_0","QueueJobB_3_0","QueueJobB_5_2","QueueJobB_3_4","QueueJobB_7_0","QueueJobB_8_2","QueueJobB_7_3","QueueJobB_2_4","QueueJobB_5_1","QueueJobB_6_0","QueueJobB_4_0","QueueJobB_7_2","QueueJobB_8_3","QueueJobB_1_4","QueueJobB_6_1","QueueJobB_5_0","QueueJobB_3_1","QueueJobB_4_1","QueueJobB_1_3","QueueJobB_8_4","QueueJobB_2_3","QueueJobB_7_4","QueueJobB_4_2","QueueJobB_2_1","QueueJobB_3_3","QueueJobB_1_2","QueueJobB_1_1","QueueJobB_6_4")
  end.
Property PolyORBLF-PT-S06J04T08-UpperBounds-03
  "Automatically generated"
  is:
    bound("RunE_4","RunE_3","RunE_2","RunE_8","RunE_1","RunE_7","RunE_6","RunE_5")
  end.
Property PolyORBLF-PT-S06J04T08-UpperBounds-04
  "Automatically generated"
  is:
    bound("P_1113_3","P_1113_2","P_1113_5","P_1113_6","P_1113_4","P_1113_7","P_1113_8","P_1113_1")
  end.
Property PolyORBLF-PT-S06J04T08-UpperBounds-05
  "Automatically generated"
  is:
    bound("Check_Sources_E_6","Check_Sources_E_8","Check_Sources_E_7","Check_Sources_E_1","Check_Sources_E_2","Check_Sources_E_3","Check_Sources_E_4","Check_Sources_E_5")
  end.
Property PolyORBLF-PT-S06J04T08-UpperBounds-06
  "Automatically generated"
  is:
    bound("NoSigAbort")
  end.
Property PolyORBLF-PT-S06J04T08-UpperBounds-07
  "Automatically generated"
  is:
    bound("SigAbort")
  end.
Property PolyORBLF-PT-S06J04T08-UpperBounds-08
  "Automatically generated"
  is:
    bound("cIsMonitoring")
  end.
Property PolyORBLF-PT-S06J04T08-UpperBounds-09
  "Automatically generated"
  is:
    bound("Perform_Work_E_4")
  end.
Property PolyORBLF-PT-S06J04T08-UpperBounds-10
  "Automatically generated"
  is:
    bound("TryAllocateOneTaskE_7")
  end.
Property PolyORBLF-PT-S06J04T08-UpperBounds-11
  "Automatically generated"
  is:
    bound("P_1724_4")
  end.
Property PolyORBLF-PT-S06J04T08-UpperBounds-12
  "Automatically generated"
  is:
    bound("P_1097")
  end.
Property PolyORBLF-PT-S06J04T08-UpperBounds-13
  "Automatically generated"
  is:
    bound("P_1158_6")
  end.
Property PolyORBLF-PT-S06J04T08-UpperBounds-14
  "Automatically generated"
  is:
    bound("NotifyEventEndOfCheckSourcesE_6")
  end.
Property PolyORBLF-PT-S06J04T08-UpperBounds-15
  "Automatically generated"
  is:
    bound("ScheduleTaskE_Check_7")
  end.
