Property BridgeAndVehicles-PT-V80P20N20-UpperBounds-00
  "Automatically generated"
  is:
    bound("COMPTEUR_0", "COMPTEUR_1", "COMPTEUR_2", "COMPTEUR_3", "COMPTEUR_4", "COMPTEUR_5", "COMPTEUR_6", "COMPTEUR_7", "COMPTEUR_8", "COMPTEUR_9", "COMPTEUR_10", "COMPTEUR_11", "COMPTEUR_12", "COMPTEUR_13", "COMPTEUR_14", "COMPTEUR_15", "COMPTEUR_16", "COMPTEUR_17", "COMPTEUR_18", "COMPTEUR_19", "COMPTEUR_20")
  end.
Property BridgeAndVehicles-PT-V80P20N20-UpperBounds-01
  "Automatically generated"
  is:
    bound("CONTROLEUR_1", "CONTROLEUR_2")
  end.
Property BridgeAndVehicles-PT-V80P20N20-UpperBounds-02
  "Automatically generated"
  is:
    bound("ROUTE_A")
  end.
Property BridgeAndVehicles-PT-V80P20N20-UpperBounds-03
  "Automatically generated"
  is:
    bound("CHOIX_1", "CHOIX_2")
  end.
Property BridgeAndVehicles-PT-V80P20N20-UpperBounds-04
  "Automatically generated"
  is:
    bound("NB_ATTENTE_A_0", "NB_ATTENTE_A_1", "NB_ATTENTE_A_2", "NB_ATTENTE_A_3", "NB_ATTENTE_A_4", "NB_ATTENTE_A_5", "NB_ATTENTE_A_6", "NB_ATTENTE_A_7", "NB_ATTENTE_A_8", "NB_ATTENTE_A_9", "NB_ATTENTE_A_10", "NB_ATTENTE_A_11", "NB_ATTENTE_A_12", "NB_ATTENTE_A_13", "NB_ATTENTE_A_14", "NB_ATTENTE_A_15", "NB_ATTENTE_A_16", "NB_ATTENTE_A_17", "NB_ATTENTE_A_18", "NB_ATTENTE_A_19", "NB_ATTENTE_A_20", "NB_ATTENTE_A_21", "NB_ATTENTE_A_22", "NB_ATTENTE_A_23", "NB_ATTENTE_A_24", "NB_ATTENTE_A_25", "NB_ATTENTE_A_26", "NB_ATTENTE_A_27", "NB_ATTENTE_A_28", "NB_ATTENTE_A_29", "NB_ATTENTE_A_30", "NB_ATTENTE_A_31", "NB_ATTENTE_A_32", "NB_ATTENTE_A_33", "NB_ATTENTE_A_34", "NB_ATTENTE_A_35", "NB_ATTENTE_A_36", "NB_ATTENTE_A_37", "NB_ATTENTE_A_38", "NB_ATTENTE_A_39", "NB_ATTENTE_A_40", "NB_ATTENTE_A_41", "NB_ATTENTE_A_42", "NB_ATTENTE_A_43", "NB_ATTENTE_A_44", "NB_ATTENTE_A_45", "NB_ATTENTE_A_46", "NB_ATTENTE_A_47", "NB_ATTENTE_A_48", "NB_ATTENTE_A_49", "NB_ATTENTE_A_50", "NB_ATTENTE_A_51", "NB_ATTENTE_A_52", "NB_ATTENTE_A_53", "NB_ATTENTE_A_54", "NB_ATTENTE_A_55", "NB_ATTENTE_A_56", "NB_ATTENTE_A_57", "NB_ATTENTE_A_58", "NB_ATTENTE_A_59", "NB_ATTENTE_A_60", "NB_ATTENTE_A_61", "NB_ATTENTE_A_62", "NB_ATTENTE_A_63", "NB_ATTENTE_A_64", "NB_ATTENTE_A_65", "NB_ATTENTE_A_66", "NB_ATTENTE_A_67", "NB_ATTENTE_A_68", "NB_ATTENTE_A_69", "NB_ATTENTE_A_70", "NB_ATTENTE_A_71", "NB_ATTENTE_A_72", "NB_ATTENTE_A_73", "NB_ATTENTE_A_74", "NB_ATTENTE_A_75", "NB_ATTENTE_A_76", "NB_ATTENTE_A_77", "NB_ATTENTE_A_78", "NB_ATTENTE_A_79", "NB_ATTENTE_A_80")
  end.
Property BridgeAndVehicles-PT-V80P20N20-UpperBounds-05
  "Automatically generated"
  is:
    bound("ROUTE_B")
  end.
Property BridgeAndVehicles-PT-V80P20N20-UpperBounds-06
  "Automatically generated"
  is:
    bound("ROUTE_B")
  end.
Property BridgeAndVehicles-PT-V80P20N20-UpperBounds-07
  "Automatically generated"
  is:
    bound("CAPACITE")
  end.
Property BridgeAndVehicles-PT-V80P20N20-UpperBounds-08
  "Automatically generated"
  is:
    bound("COMPTEUR_13")
  end.
Property BridgeAndVehicles-PT-V80P20N20-UpperBounds-09
  "Automatically generated"
  is:
    bound("NB_ATTENTE_B_5")
  end.
Property BridgeAndVehicles-PT-V80P20N20-UpperBounds-10
  "Automatically generated"
  is:
    bound("NB_ATTENTE_A_50")
  end.
Property BridgeAndVehicles-PT-V80P20N20-UpperBounds-11
  "Automatically generated"
  is:
    bound("ATTENTE_B")
  end.
Property BridgeAndVehicles-PT-V80P20N20-UpperBounds-12
  "Automatically generated"
  is:
    bound("COMPTEUR_4")
  end.
Property BridgeAndVehicles-PT-V80P20N20-UpperBounds-13
  "Automatically generated"
  is:
    bound("NB_ATTENTE_B_32")
  end.
Property BridgeAndVehicles-PT-V80P20N20-UpperBounds-14
  "Automatically generated"
  is:
    bound("COMPTEUR_14")
  end.
Property BridgeAndVehicles-PT-V80P20N20-UpperBounds-15
  "Automatically generated"
  is:
    bound("NB_ATTENTE_B_13")
  end.
