We have only 2 stations and both do something independently of each other. They don't communicate with each other. A simple model of these 2 entities in MoDeST looks as follows:
01 action do_something, also_do_something;
02 process coordinator()
03 {
04 do{
05 ::do_something
06 }
07 }
08 process station()
09 {
10 do{
11 ::also_do_something
12 }
13 }
14 par{
15 ::coordinator()
16 ::station()
17 }
The process coordinator() repeats the execution of the action do_something
and the process station() repeats the execution of the action also_do_something.
Both processes run independently in parallel.
Actions have to be declared before they are used (see line 1).
Note that all actions are always active in this model. This means that the processes can execute the actions directly without waiting for any conditions that have to become true.