Process control
- Example: PC(A)
- implemented with SimEvents
- batch size reached → control token is
created
- token passes several servers ≙ phases
- no iteration
- Example: PC(C)
- implements complete state chart with Stateflow
- auxiliary subsystems create events
- waiting time has changed
- heat-up or cool-down temperature has been
reached