Property PolyORBNT-PT-S10J60-UpperBounds-00
  "Automatically generated"
  is:
    bound("mi3")
  end.
Property PolyORBNT-PT-S10J60-UpperBounds-01
  "Automatically generated"
  is:
    bound("place_520_1")
  end.
Property PolyORBNT-PT-S10J60-UpperBounds-02
  "Automatically generated"
  is:
    bound("FetchJobE_1_45","FetchJobE_1_47","FetchJobE_1_54","FetchJobE_1_8","FetchJobE_1_0","FetchJobE_1_40","FetchJobE_1_26","FetchJobE_1_33","FetchJobE_1_17","FetchJobE_1_48","FetchJobE_1_34","FetchJobE_1_5","FetchJobE_1_12","FetchJobE_1_19","FetchJobE_1_42","FetchJobE_1_49","FetchJobE_1_60","FetchJobE_1_11","FetchJobE_1_39","FetchJobE_1_32","FetchJobE_1_20","FetchJobE_1_41","FetchJobE_1_14","FetchJobE_1_50","FetchJobE_1_6","FetchJobE_1_31","FetchJobE_1_59","FetchJobE_1_22","FetchJobE_1_3","FetchJobE_1_21","FetchJobE_1_13","FetchJobE_1_37","FetchJobE_1_4","FetchJobE_1_44","FetchJobE_1_51","FetchJobE_1_58","FetchJobE_1_30","FetchJobE_1_23","FetchJobE_1_2","FetchJobE_1_9","FetchJobE_1_57","FetchJobE_1_16","FetchJobE_1_38","FetchJobE_1_29","FetchJobE_1_56","FetchJobE_1_52","FetchJobE_1_43","FetchJobE_1_1","FetchJobE_1_35","FetchJobE_1_53","FetchJobE_1_24","FetchJobE_1_28","FetchJobE_1_10","FetchJobE_1_46","FetchJobE_1_15","FetchJobE_1_36","FetchJobE_1_27","FetchJobE_1_25","FetchJobE_1_55","FetchJobE_1_18","FetchJobE_1_7")
  end.
Property PolyORBNT-PT-S10J60-UpperBounds-03
  "Automatically generated"
  is:
    bound("mi2")
  end.
Property PolyORBNT-PT-S10J60-UpperBounds-04
  "Automatically generated"
  is:
    bound("f1_48","f1_29","f1_39","f1_58","f1_5","f1_57","f1_2","f1_0","f1_11","f1_30","f1_26","f1_19","f1_54","f1_12","f1_33","f1_27","f1_47","f1_40","f1_41","f1_60","f1_13","f1_14","f1_32","f1_46","f1_4","f1_7","f1_18","f1_55","f1_52","f1_35","f1_42","f1_45","f1_6","f1_24","f1_17","f1_53","f1_15","f1_34","f1_43","f1_44","f1_25","f1_16","f1_8","f1_1","f1_22","f1_23","f1_36","f1_51","f1_37","f1_9","f1_50","f1_31","f1_10","f1_21","f1_59","f1_38","f1_28","f1_3","f1_56","f1_20","f1_49")
  end.
Property PolyORBNT-PT-S10J60-UpperBounds-05
  "Automatically generated"
  is:
    bound("mi1")
  end.
Property PolyORBNT-PT-S10J60-UpperBounds-06
  "Automatically generated"
  is:
    bound("block")
  end.
Property PolyORBNT-PT-S10J60-UpperBounds-07
  "Automatically generated"
  is:
    bound("place_787_1")
  end.
Property PolyORBNT-PT-S10J60-UpperBounds-08
  "Automatically generated"
  is:
    bound("f3_23")
  end.
Property PolyORBNT-PT-S10J60-UpperBounds-09
  "Automatically generated"
  is:
    bound("place_462")
  end.
Property PolyORBNT-PT-S10J60-UpperBounds-10
  "Automatically generated"
  is:
    bound("mo1")
  end.
Property PolyORBNT-PT-S10J60-UpperBounds-11
  "Automatically generated"
  is:
    bound("place_482_1_4")
  end.
Property PolyORBNT-PT-S10J60-UpperBounds-12
  "Automatically generated"
  is:
    bound("AvailableJobId_2")
  end.
Property PolyORBNT-PT-S10J60-UpperBounds-13
  "Automatically generated"
  is:
    bound("place_456")
  end.
Property PolyORBNT-PT-S10J60-UpperBounds-14
  "Automatically generated"
  is:
    bound("f1_39")
  end.
Property PolyORBNT-PT-S10J60-UpperBounds-15
  "Automatically generated"
  is:
    bound("CanInjectEvent")
  end.
