In: Control and Cybernetics, Vol. 17, No. 4, pages 361-375. 1988.
Abstract: The paper deals with a Petri net approach to the automatic design of control programs which are aimed at supervision of concurrent, pipeline-like flowing processes. Its objective lies in the formal investigation of the conditions necessary for the design of a class of deadlock-free Petri nets. The nets considered serve as control-programs representations. The results obtained allow for automatic conversion of a process specification, via a net model of a control flow, into the relevant control program.
Keywords: automatic design; control program; deadlock-free; automatic conversion; process specification; automatic real-time >program synthesis.