In: Jensen, K.: Lecture Notes in Computer Science, Vol. 616; 13th International Conference on Application and Theory of Petri Nets 1992, Sheffield, UK, pages 368-372. Springer-Verlag, June 1992.
Abstract: 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.