diff --git a/prism/src/explicit/Model.java b/prism/src/explicit/Model.java
index 9d618598..fc93f99a 100644
--- a/prism/src/explicit/Model.java
+++ b/prism/src/explicit/Model.java
@@ -133,7 +133,10 @@ public interface Model
 	 * Returns an empty set if there are no labels.
 	 */
 	public Set<String> getLabels();
-	
+
+	/** Returns true if a label with the given name is attached to this model */
+	public boolean hasLabel(String name);
+
 	/**
 	 * Get the total number of transitions in the model.
 	 */
diff --git a/prism/src/explicit/ModelExplicit.java b/prism/src/explicit/ModelExplicit.java
index 02c90760..3be5dd32 100644
--- a/prism/src/explicit/ModelExplicit.java
+++ b/prism/src/explicit/ModelExplicit.java
@@ -295,6 +295,12 @@ public abstract class ModelExplicit implements Model
 		return labels.get(name);
 	}
 
+	@Override
+	public boolean hasLabel(String name)
+	{
+		return labels.containsKey(name);
+	}
+
 	@Override
 	public Set<String> getLabels()
 	{
diff --git a/prism/src/explicit/SubNondetModel.java b/prism/src/explicit/SubNondetModel.java
index 4e547340..7cfd2ce2 100644
--- a/prism/src/explicit/SubNondetModel.java
+++ b/prism/src/explicit/SubNondetModel.java
@@ -198,6 +198,12 @@ public class SubNondetModel implements NondetModel
 		throw new UnsupportedOperationException();
 	}
 
+	@Override
+	public boolean hasLabel(String name)
+	{
+		throw new UnsupportedOperationException();
+	}
+
 	@Override
 	public int getNumTransitions()
 	{