diff --git a/prism/src/explicit/ModelExplicit.java b/prism/src/explicit/ModelExplicit.java
index 0e7320e5..2b7333d1 100644
--- a/prism/src/explicit/ModelExplicit.java
+++ b/prism/src/explicit/ModelExplicit.java
@@ -69,6 +69,9 @@ public abstract class ModelExplicit implements Model
 		for (int in : model.initialStates) {
 			addInitialState(in);
 		}
+		for (int dl : model.deadlocks) {
+			addDeadlockState(dl);
+		}
 		// Shallow copy of read-only stuff
 		statesList = model.statesList;
 		constantValues = model.constantValues;
@@ -87,6 +90,9 @@ public abstract class ModelExplicit implements Model
 		for (int in : model.initialStates) {
 			addInitialState(permut[in]);
 		}
+		for (int dl : model.deadlocks) {
+			addDeadlockState(permut[dl]);
+		}
 		// Shallow copy of (some) read-only stuff
 		// (i.e. info that is not broken by permute)
 		statesList = null;