diff --git a/Peterson.toolbox/Peterson___model.launch b/Peterson.toolbox/Peterson___model.launch
index f5beaee..d5d8e6a 100644
--- a/Peterson.toolbox/Peterson___model.launch
+++ b/Peterson.toolbox/Peterson___model.launch
@@ -27,6 +27,7 @@
 </listAttribute>
 <listAttribute key="modelCorrectnessProperties">
 <listEntry value="1WillEventuallyEnterCritical"/>
+<listEntry value="1[]MutualExclusion"/>
 </listAttribute>
 <stringAttribute key="modelExpressionEval" value=""/>
 <stringAttribute key="modelParameterActionConstraint" value=""/>