diff --git a/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java b/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java
index 149edaca5741575b4a1ac922249bbcae14a7661b..e187110d03c68f75ce5dd5d0260f66a0d3c17390 100644
--- a/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java
+++ b/src/main/java/avatartranslator/modelchecker/AvatarModelChecker.java
@@ -698,6 +698,13 @@ public class AvatarModelChecker implements Runnable, myutil.Graph {
             nbOfLinks++;
             _ss.addNext(link);
         }
+        
+        if (stateLimitReached) {
+        	if (_ss.isDeadlock()) {
+        		// have to register current state as deadlock of the graph
+        		nbOfDeadlocks++;
+        	}
+        }
 
         if (freeIntermediateStateCoding) {
             _ss.freeUselessAllocations();
@@ -827,6 +834,13 @@ public class AvatarModelChecker implements Runnable, myutil.Graph {
             previousState = newState;
             newState = previousState.advancedClone();
         }
+        
+        if (stateLimitReached) {
+        	if (_ss.isDeadlock()) {
+        		// have to register current state as deadlock of the graph
+        		nbOfDeadlocks++;
+        	}
+        }
 
         if (freeIntermediateStateCoding) {
             _ss.freeUselessAllocations();