Geoff Cutts, Shaun Rattigan. Using Petri Nets to Develop Programs for PLC Systems. In Kurt Jensen, editor, Application and Theory of Petri Nets 1992, 13th International Conference, Sheffield, UK, June 22-26, 1992, Proceedings. Volume 616 of Lecture Notes in Computer Science, pages 368-372, Springer, 1992.
Abstract is missing.