Timed transition not visible in result view
EATA does not extract information about timed transitions.
model_modelSystemView_TGC_MODEL_CHECKING_ANALYSIS_2022-01-10-19-50-03.xml
EATA does not extract information about timed transitions.
model_modelSystemView_TGC_MODEL_CHECKING_ANALYSIS_2022-01-10-19-50-03.xml