Topics • Introduction: why to use SFC • Formalise sequences in SFC • Details of action execution, qualifiers • Synchronisation of parallel tasks • Analysis of SFC o Incident matrix o Liveness o Dead locks • Parameterised SFC, plant recipe E-Learning Tool • Text • Slides • Examples • Exercise o draw SFC o Analyse o Test with simulation

Sample Plants to automate:

Traffic Lights

2 Reactor Chemical Plant

Unzip before installation