ajout attribut weight dans aggregate

src/aggregate.hpp

@@ -30,7 +30,8 @@ class Aggregate {
    * BDD of the aggregate
    */
   bdd state;
-
+  /* matrix representing the weights of the shortest paths inside the aggregate */
+   std::vector<std::vector<int>> weight;
   /**
    * Flag to indicate if the state loops using epsilon transitions
    */

src/petri_net_sog.cpp

@@ -310,7 +310,7 @@ Paths PetriNetSOG::ObservablePaths(SOG &sog, map<int, int> trans_obs) const {
 
   sog.set_initial_state(c);
   sog.AddState(c);
-  sog.nb_marking += bdd_pathcount(c->state);
+  //sog.nb_marking += bdd_pathcount(c->state);
 
   // TODO: What is the purpose of the old variable?
   bool old = true;