Examples are specified at: "Examples".

SelfTransition works exactly as a Transition. The only difference to the Transition class is that the use_after construct works also for self transitions.

We use these parameters to synchronize the firing of parallel transitions as described in "Synchronization" and to receive asynchronous messages as described in "Message and Mailbox".

Generated at 2024-04-14T18:15:55Z by OpenModelicaOpenModelica 1.22.3 using GenerateDoc.mos