Property PolyORBLF-PT-S06J04T08-UpperBounds-00
  "Automatically generated"
  is:
    bound("NotifyEventEndOfCheckSourcesB_6","NotifyEventEndOfCheckSourcesB_5","NotifyEventEndOfCheckSourcesB_4","NotifyEventEndOfCheckSourcesB_3","NotifyEventEndOfCheckSourcesB_2","NotifyEventEndOfCheckSourcesB_8","NotifyEventEndOfCheckSourcesB_1","NotifyEventEndOfCheckSourcesB_7")
  end.
Property PolyORBLF-PT-S06J04T08-UpperBounds-01
  "Automatically generated"
  is:
    bound("MarkerRead")
  end.
Property PolyORBLF-PT-S06J04T08-UpperBounds-02
  "Automatically generated"
  is:
    bound("cJobCnt")
  end.
Property PolyORBLF-PT-S06J04T08-UpperBounds-03
  "Automatically generated"
  is:
    bound("NotifyEventJobCompletedE_6","NotifyEventJobCompletedE_7","NotifyEventJobCompletedE_8","NotifyEventJobCompletedE_1","NotifyEventJobCompletedE_3","NotifyEventJobCompletedE_2","NotifyEventJobCompletedE_5","NotifyEventJobCompletedE_4")
  end.
Property PolyORBLF-PT-S06J04T08-UpperBounds-04
  "Automatically generated"
  is:
    bound("Check_Sources_B_8","Check_Sources_B_7","Check_Sources_B_1","Check_Sources_B_2","Check_Sources_B_3","Check_Sources_B_4","Check_Sources_B_5","Check_Sources_B_6")
  end.
Property PolyORBLF-PT-S06J04T08-UpperBounds-05
  "Automatically generated"
  is:
    bound("JobCnt")
  end.
Property PolyORBLF-PT-S06J04T08-UpperBounds-06
  "Automatically generated"
  is:
    bound("NotifyEventJobCompletedB_5","NotifyEventJobCompletedB_7","NotifyEventJobCompletedB_2","NotifyEventJobCompletedB_3","NotifyEventJobCompletedB_8","NotifyEventJobCompletedB_1","NotifyEventJobCompletedB_6","NotifyEventJobCompletedB_4")
  end.
Property PolyORBLF-PT-S06J04T08-UpperBounds-07
  "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-08
  "Automatically generated"
  is:
    bound("PollingAbort")
  end.
Property PolyORBLF-PT-S06J04T08-UpperBounds-09
  "Automatically generated"
  is:
    bound("CreatedJobs_0_4")
  end.
Property PolyORBLF-PT-S06J04T08-UpperBounds-10
  "Automatically generated"
  is:
    bound("P_1097")
  end.
Property PolyORBLF-PT-S06J04T08-UpperBounds-11
  "Automatically generated"
  is:
    bound("TryAllocateOneTaskE_3")
  end.
Property PolyORBLF-PT-S06J04T08-UpperBounds-12
  "Automatically generated"
  is:
    bound("P_1159_5")
  end.
Property PolyORBLF-PT-S06J04T08-UpperBounds-13
  "Automatically generated"
  is:
    bound("P_1726")
  end.
Property PolyORBLF-PT-S06J04T08-UpperBounds-14
  "Automatically generated"
  is:
    bound("cBlockedTasks")
  end.
Property PolyORBLF-PT-S06J04T08-UpperBounds-15
  "Automatically generated"
  is:
    bound("ScheduleTaskE_Idle_5")
  end.
