Skip to content

GitLab

Modal Transition Systems · Changes

Page history
Update Modal Transition Systems authored by Sebastian Uchitel's avatar Sebastian Uchitel
Hide whitespace changes
Inline Side-by-side
Showing with 1 addition and 2 deletions
enduser/Modal-Transition-Systems.md
View page @ a6964ac0
# Modal Transition Systems
Modal transition systems (MTS) can be modelled by using a question mark (?) on event labels. Modal transition systems (MTS) can be modelled by using a question mark (?) on event labels.
``` ```
A = (a -> b? -> A | a? -> A). A = (a -> b? -> A | a? -> A).
...@@ -16,4 +15,4 @@ B = (a -> b -> B | b? -> B). ...@@ -16,4 +15,4 @@ B = (a -> b -> B | b? -> B).
abstract ||COMP = (B). abstract ||COMP = (B).
``` ```
# End # End
\ No newline at end of file