In: Mikrocomputer Zeitschrift, No. 6, pages 106-113. June 1990.
Abstract: The author explains how programs are developed using Petri nets and describes a program written in Occam for controlling traffic lights in order to illustrate the advantages of Petri networks. He establishes the net syntax using the example of traffic lights and develops a process model and the required control behaviour. He discusses the parallel nature of the control sequence and presents it in full as a Petri net capable of realisation as an Occam program (whose listing he reproduces).
Keywords: parallel control; OCCAM; traffic lights control.