Property PolyORBNT-PT-S10J30-UpperBounds-00
  "Automatically generated"
  is:
    bound("AvailableJobId_21","AvailableJobId_18","AvailableJobId_16","AvailableJobId_2","AvailableJobId_27","AvailableJobId_9","AvailableJobId_28","AvailableJobId_8","AvailableJobId_7","AvailableJobId_29","AvailableJobId_30","AvailableJobId_20","AvailableJobId_23","AvailableJobId_14","AvailableJobId_6","AvailableJobId_22","AvailableJobId_15","AvailableJobId_5","AvailableJobId_12","AvailableJobId_4","AvailableJobId_24","AvailableJobId_17","AvailableJobId_13","AvailableJobId_25","AvailableJobId_3","AvailableJobId_0","AvailableJobId_10","AvailableJobId_26","AvailableJobId_11","AvailableJobId_19","AvailableJobId_1")
  end.
Property PolyORBNT-PT-S10J30-UpperBounds-01
  "Automatically generated"
  is:
    bound("CanInjectEvent")
  end.
Property PolyORBNT-PT-S10J30-UpperBounds-02
  "Automatically generated"
  is:
    bound("QueueJobB_1_8","QueueJobB_1_18","QueueJobB_1_27","QueueJobB_1_16","QueueJobB_1_2","QueueJobB_1_23","QueueJobB_1_9","QueueJobB_1_30","QueueJobB_1_15","QueueJobB_1_29","QueueJobB_1_1","QueueJobB_1_24","QueueJobB_1_14","QueueJobB_1_21","QueueJobB_1_3","QueueJobB_1_22","QueueJobB_1_4","QueueJobB_1_13","QueueJobB_1_5","QueueJobB_1_12","QueueJobB_1_26","QueueJobB_1_6","QueueJobB_1_19","QueueJobB_1_25","QueueJobB_1_11","QueueJobB_1_20","QueueJobB_1_17","QueueJobB_1_10","QueueJobB_1_28","QueueJobB_1_7","QueueJobB_1_0")
  end.
Property PolyORBNT-PT-S10J30-UpperBounds-03
  "Automatically generated"
  is:
    bound("place_521_1")
  end.
Property PolyORBNT-PT-S10J30-UpperBounds-04
  "Automatically generated"
  is:
    bound("block")
  end.
Property PolyORBNT-PT-S10J30-UpperBounds-05
  "Automatically generated"
  is:
    bound("Check_Sources_E_1")
  end.
Property PolyORBNT-PT-S10J30-UpperBounds-06
  "Automatically generated"
  is:
    bound("place_518_1")
  end.
Property PolyORBNT-PT-S10J30-UpperBounds-07
  "Automatically generated"
  is:
    bound("place_782_1")
  end.
Property PolyORBNT-PT-S10J30-UpperBounds-08
  "Automatically generated"
  is:
    bound("place_522_1")
  end.
Property PolyORBNT-PT-S10J30-UpperBounds-09
  "Automatically generated"
  is:
    bound("block")
  end.
Property PolyORBNT-PT-S10J30-UpperBounds-10
  "Automatically generated"
  is:
    bound("f3_25")
  end.
Property PolyORBNT-PT-S10J30-UpperBounds-11
  "Automatically generated"
  is:
    bound("QueueJobB_1_9")
  end.
Property PolyORBNT-PT-S10J30-UpperBounds-12
  "Automatically generated"
  is:
    bound("place_521_1")
  end.
Property PolyORBNT-PT-S10J30-UpperBounds-13
  "Automatically generated"
  is:
    bound("mi2")
  end.
Property PolyORBNT-PT-S10J30-UpperBounds-14
  "Automatically generated"
  is:
    bound("place_500_1")
  end.
Property PolyORBNT-PT-S10J30-UpperBounds-15
  "Automatically generated"
  is:
    bound("mi3")
  end.
