-
Key: PSSM11-24
-
Status: open
-
Source: Budapest University of Technology and Economics ( Mr. Marton Elekes)
-
Summary:
The 3rd RTC step should not contain T1.1 as fired transition since it is not present in the generated trace and the note says "the initial pseudo state and its outgoing transition are not traversed".
-
Reported: PSSM 1.0 — Thu, 27 Jul 2023 08:34 GMT
-
Updated: Fri, 28 Jul 2023 15:42 GMT