For the most recent entries see the Petri Nets Newsletter.

Petri Net Approach to Automatic Real-Time Program Synthesis.

Banaszak, Z.; Abdul-Hussin, M.H.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography