Merge branch 'develop'

libs/parser/src/Net.cpp

@@ -125,12 +125,12 @@ set<int> net::calcul1() const {
     if (!t.post.empty()) {
       bool is_unobs = false;
       for (const auto& p : t.post) {
-        if ((places[p.first]).pre.size() == 1 &&
-            !(places[p.first]).post.empty()) {
+        if ((places[p.first].pre.size() == 1) &&
+            (!places[p.first].post.empty())) {
           for (const auto& tt : places[p.first].post) {
             for (const auto& pp : transitions[tt.first].pre) {
-              if (pp.first == p.first and
-                  (places[p.first]).marking < pp.second) {
+              if ((pp.first == p.first) &&
+                  (places[p.first].marking < pp.second)) {
                 unobs.insert(i);
                 is_unobs = true;
                 break;