| event enter; | |
| event processed; | |
| event exit; | |
| automaton machine: | |
| disc int count = 0; | |
| disc real process_time; | |
| disc dist real d = normal(10, 7); | |
| cont t der 1.0; | |
| location waiting: | |
| initial; | |
| edge enter do (process_time, d) := sample d, t := 0 goto processing; | |
| location processing: | |
| edge processed when t >= process_time goto done; | |
| location done: | |
| edge exit do count := count + 1 goto waiting; | |
| end | |
| print machine.count for final; |