| 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. |