Class ModelProperties


  • public class ModelProperties
    extends java.lang.Object
    Classe dans laquelle sont définies quelques propriétés des réseaux de Pétri.
    • Field Detail

      • model

        private final Model model
      • estBorne

        public boolean estBorne
      • estVivant

        public boolean estVivant
      • estReinitialisable

        public boolean estReinitialisable
      • estRepetitif

        public boolean estRepetitif
      • estBloque

        public boolean estBloque
      • borneMax

        public int borneMax
    • Constructor Detail

      • ModelProperties

        public ModelProperties​(Model model)
        Constructeur
        Parameters:
        model - : modèle
    • Method Detail

      • modelBornitude

        private boolean modelBornitude()
        Méthode qui permet de savoir si le RdP est borné. Si le graphe de couverture contient un w -> non borné.
        Returns:
        Vrai ou Faux.
      • modelVivacite

        private boolean modelVivacite()
        Méthode qui permet de savoir si le RdP est vivant.
        Returns:
        Vrai ou Faux.
      • modelRepetitivite

        public boolean modelRepetitivite()
        Méthode qui permet de savoir si le RdP contient une boucle. Ne fonctionne pas.
        Returns:
        Vrai ou Faux
      • modelReinitialisable

        public boolean modelReinitialisable()
        Méthode qui permet de savoir si le RdP est réinitialisable.
        Returns:
        Vrai ou Faux.
      • modelBlocage

        public boolean modelBlocage()
        Méthode qui permet de savoir si le RdP contient un blocage.
        Returns:
        Vrai ou Faux.
      • getModelBornitude

        public java.lang.String getModelBornitude()
        Méthode qui permet d'afficher le résultat de @modelBornitude.
        Returns:
        String
      • getModelVivacite

        public java.lang.String getModelVivacite()
        Méthode qui permet d'afficher le résultat de @modelVivacite.
        Returns:
        String
      • getModelRepetitivite

        public java.lang.String getModelRepetitivite()
        Méthode qui permet d'afficher le résultat de @modelRepetitivite.
        Returns:
        String
      • getModelReinitialisable

        public java.lang.String getModelReinitialisable()
        Méthode qui permet d'afficher le résultat de @modelReinitialisable.
        Returns:
        String
      • getModelBlocage

        public java.lang.String getModelBlocage()
        Méthode qui permet d'afficher le résultat de @modelBlocage.
        Returns:
        String
      • toString

        public java.lang.String toString()
        Méthode qui permet d'afficher le résultat de toutes les fonctions.
        Overrides:
        toString in class java.lang.Object
        Returns:
        String