Fix: show rate expression instead of rate name

packages/client/hmi-client/src/components/models/tera-model-diagram.vue

@@ -73,7 +73,7 @@
 			<!-- Model equations -->
 			<AccordionTab header="Model equations">
 				<section :class="isEditingEQ ? `diagram-container-editing` : `diagram-container`">
-					<section v-if="props.isEditable" class="controls">
+					<section v-if="props.isEditable && props.isEquationsEditable" class="controls">
 						<Button
 							v-if="isEditingEQ"
 							@click="cancelEditEquations"
@@ -252,6 +252,7 @@ const emit = defineEmits([
 const props = defineProps<{
 	model: Model | null;
 	isEditable: boolean;
+	isEquationsEditable?: boolean;
 	nodePreview?: boolean;
 }>();
 
@@ -270,6 +271,8 @@ const latexEquationsOriginalList = ref<string[]>([]);
 const observablesRefs = ref<any[]>([]);
 const observervablesList = ref<Observable[]>([]);
 
+const mathContainerStyle = computed(() => (props.isEquationsEditable ? '-1rem' : '0rem'));
+
 // For model editing
 interface AddStateObj {
 	id: string;
@@ -790,7 +793,7 @@ section math-editor {
 	border: 4px solid transparent;
 	border-radius: var(--border-radius);
 	position: relative;
-	top: -1rem;
+	top: v-bind('mathContainerStyle');
 }
 
 .observable-editor-container {

packages/client/hmi-client/src/components/models/tera-model.vue

@@ -67,6 +67,7 @@
 			<tera-model-diagram
 				:model="model"
 				:isEditable="!featureConfig.isPreview"
+				:isEquationsEditable="canEditEquations"
 				@update-model-content="updateModelContent"
 				@update-model-observables="updateModelObservables"
 			/>
@@ -201,6 +202,8 @@ const isNamingModel = computed(() => props.assetId === '' || isRenamingModel.val
 
 const stratifiedModelType = computed(() => model.value && getStratificationType(model.value));
 
+const canEditEquations = ref(true);
+
 /*
  * User Menu
  */
@@ -301,8 +304,23 @@ watch(
 	{ immediate: true }
 );
 
+function modelIsEmpty(targetModel: Model): boolean {
+	// model does not have any states or transitions
+	if (targetModel.model?.states?.length === 0 && targetModel.model?.transitions?.length === 0) {
+		return true;
+	}
+
+	return false;
+}
 async function fetchModel() {
 	model.value = await getModel(props.assetId);
+
+	// we can only edit equations when the AMR is empty
+	if (model.value && !modelIsEmpty(model.value)) {
+		canEditEquations.value = false;
+	} else {
+		canEditEquations.value = true;
+	}
 }
 
 onUpdated(() => {

packages/client/hmi-client/src/model-representation/petrinet/petrinet-service.ts

@@ -64,6 +64,14 @@ export const convertAMRToACSet = (amr: Model) => {
 		});
 	});
 
+	// post processing to use expressions rather than ids
+	result.T = result.T.map((transition) => {
+		const foundRate = amr.semantics?.ode.rates.find((rate) => rate.target === transition.tname);
+
+		// default to the id if there is a case where there is no expression
+		return { tname: foundRate ? `(${foundRate!.expression})` : transition.tname };
+	});
+
 	return result;
 };
 

packages/client/hmi-client/src/utils/math.ts

@@ -229,6 +229,8 @@ export const cleanLatexEquations = (equations: Array<string>): Array<string> =>
 				.replaceAll('\\left', '')
 				.replaceAll('{align}', '')
 				.replaceAll('=&', '=')
+				// scientific variables such as \beta and \gamma are not parsed when there is a '*' (with no space) placed after them - other math operaters do work though
+				.replaceAll('*', ' *')
 				.trim()
 		);