enduser/Modal-Transition-Systems.md

-# Modal Transition Systems
 Modal transition systems (MTS) can be modelled by using a question mark (?) on event labels.
 ```
 A = (a -> b? -> A | a? -> A).