Property PolyORBNT-PT-S10J80-UpperBounds-00
  "Automatically generated"
  is:
    bound("mo1")
  end.
Property PolyORBNT-PT-S10J80-UpperBounds-01
  "Automatically generated"
  is:
    bound("block")
  end.
Property PolyORBNT-PT-S10J80-UpperBounds-02
  "Automatically generated"
  is:
    bound("place_518_1")
  end.
Property PolyORBNT-PT-S10J80-UpperBounds-03
  "Automatically generated"
  is:
    bound("place_458")
  end.
Property PolyORBNT-PT-S10J80-UpperBounds-04
  "Automatically generated"
  is:
    bound("NotifyEventEndOfCheckSourcesB_1")
  end.
Property PolyORBNT-PT-S10J80-UpperBounds-05
  "Automatically generated"
  is:
    bound("NotifyEventEndOfCheckSourcesE_1")
  end.
Property PolyORBNT-PT-S10J80-UpperBounds-06
  "Automatically generated"
  is:
    bound("Check_Sources_B_1")
  end.
Property PolyORBNT-PT-S10J80-UpperBounds-07
  "Automatically generated"
  is:
    bound("f3_52","f3_44","f3_27","f3_8","f3_23","f3_43","f3_2","f3_70","f3_9","f3_30","f3_36","f3_37","f3_77","f3_61","f3_16","f3_78","f3_49","f3_56","f3_10","f3_38","f3_63","f3_24","f3_42","f3_1","f3_29","f3_4","f3_41","f3_55","f3_11","f3_76","f3_15","f3_64","f3_14","f3_39","f3_21","f3_58","f3_32","f3_50","f3_3","f3_12","f3_75","f3_31","f3_40","f3_66","f3_13","f3_22","f3_47","f3_65","f3_57","f3_48","f3_74","f3_67","f3_46","f3_53","f3_5","f3_60","f3_73","f3_33","f3_20","f3_34","f3_19","f3_45","f3_6","f3_79","f3_68","f3_25","f3_18","f3_72","f3_54","f3_7","f3_35","f3_59","f3_80","f3_71","f3_69","f3_26","f3_62","f3_51","f3_17","f3_0","f3_28")
  end.
Property PolyORBNT-PT-S10J80-UpperBounds-08
  "Automatically generated"
  is:
    bound("Schedule_Task_B_1")
  end.
Property PolyORBNT-PT-S10J80-UpperBounds-09
  "Automatically generated"
  is:
    bound("block")
  end.
Property PolyORBNT-PT-S10J80-UpperBounds-10
  "Automatically generated"
  is:
    bound("FetchJobE_1_57")
  end.
Property PolyORBNT-PT-S10J80-UpperBounds-11
  "Automatically generated"
  is:
    bound("place_523_1")
  end.
Property PolyORBNT-PT-S10J80-UpperBounds-12
  "Automatically generated"
  is:
    bound("f1_35")
  end.
Property PolyORBNT-PT-S10J80-UpperBounds-13
  "Automatically generated"
  is:
    bound("Perform_Work_B_1_16")
  end.
Property PolyORBNT-PT-S10J80-UpperBounds-14
  "Automatically generated"
  is:
    bound("mi2")
  end.
Property PolyORBNT-PT-S10J80-UpperBounds-15
  "Automatically generated"
  is:
    bound("mi3")
  end.
