Using Petri Nets to Develop Programs for PLC Systems

In this project we examined ways in which systems may be implemented on Programmable Logic Controllers. PLC systems exhibit a number of unique features, our objective was to create a practical approach to modelling systems which would lead towards implementation on PLCs.