Skip to content

GitLab

Modal Transition Systems · Changes

Page history
Update Modal Transition Systems authored by Sebastian Uchitel's avatar Sebastian Uchitel
Show 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).
......