Property PolyORBNT-PT-S10J60-UpperBounds-00
  "Automatically generated"
  is:
    bound("place_500_1")
  end.
Property PolyORBNT-PT-S10J60-UpperBounds-01
  "Automatically generated"
  is:
    bound("place_787_1")
  end.
Property PolyORBNT-PT-S10J60-UpperBounds-02
  "Automatically generated"
  is:
    bound("Schedule_Task_B_1")
  end.
Property PolyORBNT-PT-S10J60-UpperBounds-03
  "Automatically generated"
  is:
    bound("cSources")
  end.
Property PolyORBNT-PT-S10J60-UpperBounds-04
  "Automatically generated"
  is:
    bound("place_521_1")
  end.
Property PolyORBNT-PT-S10J60-UpperBounds-05
  "Automatically generated"
  is:
    bound("place_482_1_7", "place_482_1_9", "place_482_1_1", "place_482_1_8", "place_482_1_2", "place_482_1_3", "place_482_1_4", "place_482_1_5", "place_482_1_10", "place_482_1_6")
  end.
Property PolyORBNT-PT-S10J60-UpperBounds-06
  "Automatically generated"
  is:
    bound("Check_Sources_E_1")
  end.
Property PolyORBNT-PT-S10J60-UpperBounds-07
  "Automatically generated"
  is:
    bound("mo1")
  end.
Property PolyORBNT-PT-S10J60-UpperBounds-08
  "Automatically generated"
  is:
    bound("FetchJobE_1_3")
  end.
Property PolyORBNT-PT-S10J60-UpperBounds-09
  "Automatically generated"
  is:
    bound("CreatedJobs_11_8")
  end.
Property PolyORBNT-PT-S10J60-UpperBounds-10
  "Automatically generated"
  is:
    bound("f3_21")
  end.
Property PolyORBNT-PT-S10J60-UpperBounds-11
  "Automatically generated"
  is:
    bound("CreatedJobs_16_10")
  end.
Property PolyORBNT-PT-S10J60-UpperBounds-12
  "Automatically generated"
  is:
    bound("Check_Sources_B_1")
  end.
Property PolyORBNT-PT-S10J60-UpperBounds-13
  "Automatically generated"
  is:
    bound("CreatedJobs_21_7")
  end.
Property PolyORBNT-PT-S10J60-UpperBounds-14
  "Automatically generated"
  is:
    bound("CreatedJobs_20_7")
  end.
Property PolyORBNT-PT-S10J60-UpperBounds-15
  "Automatically generated"
  is:
    bound("CreatedJobs_17_7")
  end.
