| Name |
Description |
FirstExample |
First example of an asynchronous communication with two
parameters of type integer. |
SecondExample |
Second example for testing the MailBox capacity. |
ThirdExample |
Third example with sending two message instances to one MailBox
component. |
SyncExample |
Example to demontrate asynchronous and synchronous
communication at one transition instance. |
Sync2Example |
Example to demontrate asynchronous and synchronous
communication at one transition instance. |
SyncPrioExample |
Example to demontrate the priorities at synchronization. |
SyncPrio2Example |
Example to demontrate the priorities at synchronization. |
SyncPrio3Example |
Example to demontrate the priorities at synchronization. |
SyncAndTimeExample |
Example to demontrate time constraints including asynchronous
and synchronous communication at one transition instance. |