Issue No.02 - Feb. (1986 vol.12)
Giuseppe Marchetto , Dipartimento di Automatica e Informatica, Politecnico di Torino, Corso Duca degli Abruzzi 24, 10129 Torino, Italy
This paper presents a methodology for the rapid prototyping of process control systems, which is based on an original extension to classical Petri nets. The proposed nets, called PROT nets, provide a suitable framework to support the following activities: building an operational specification model; evaluation, simulation, and validation of the model; automatic translation into program structures. In particular, PROT nets are shown to be translatable into Ada® program structures concerning concurrent processes and their synchronizations. The paper illustrates this translation in detail using, as a working example, the problem of tool handling in a flexible manufacturing system.
Petri nets, Prototypes, Process control, Fires, Software, Computational modeling, Firing, synchronizations, Ada, Petri nets, process control systems, rapid prototyping, requirements specification, simulation
Giuseppe Marchetto, "Process-translatable Petri nets for the rapid prototyping of process control systems", IEEE Transactions on Software Engineering, vol.12, no. 2, pp. 346-357, Feb. 1986, doi:10.1109/TSE.1986.6312948