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