diff --git a/include/Core/TAPN/TimedTransition.hpp b/include/Core/TAPN/TimedTransition.hpp
index 6a961a00..6eed6504 100755
--- a/include/Core/TAPN/TimedTransition.hpp
+++ b/include/Core/TAPN/TimedTransition.hpp
@@ -68,7 +68,9 @@ namespace VerifyTAPN {
 
             inline unsigned int getNumberOfInputArcs() const { return preset.size(); };
 
-            inline unsigned int getNumberOfTransportArcs() const { return transportArcs.size(); };
+            inline unsigned int getNumberOfTransportArcs() const { return transportArcs.size(); }
+
+            inline unsigned int getNumberOfInhibitorArcs() const { return inhibitorArcs.size(); }
 
             inline bool isConservative() const { return preset.size() == postset.size(); }
 
diff --git a/src/DiscreteVerification/Generators/SMCRunGenerator.cpp b/src/DiscreteVerification/Generators/SMCRunGenerator.cpp
index e8f20e64..d6378d94 100644
--- a/src/DiscreteVerification/Generators/SMCRunGenerator.cpp
+++ b/src/DiscreteVerification/Generators/SMCRunGenerator.cpp
@@ -25,7 +25,7 @@ namespace VerifyTAPN {
             double originMaxDelay = _origin->availableDelay();
             std::vector<interval<double>> invInterval = { interval<double>(0, originMaxDelay) };
             for(auto transi : _tapn.getTransitions()) {
-                if(transi->getPresetSize() == 0) {
+                if(transi->getPresetSize() == 0 && transi->getNumberOfInhibitorArcs() == 0) {
                     _defaultTransitionIntervals[transi->getIndex()] = invInterval;
                 } else {
                     std::vector<interval<double>> firingDates = transitionFiringDates(transi);
@@ -87,7 +87,7 @@ namespace VerifyTAPN {
             bool deadlocked = true;
             for(auto transi : _tapn.getTransitions()) {
                 int i = transi->getIndex();
-                if(transi->getPresetSize() == 0) {
+                if(transi->getPresetSize() == 0 && transi->getNumberOfInhibitorArcs() == 0) {
                     _transitionIntervals[i] = invInterval;
                 } else {
                     std::vector<interval<double>> firingDates = transitionFiringDates(transi);