Issue No. 02 - Feb. (1986 vol. 12)
Giorgio Bruno , Dipartimento di Automatica e Informatica, Politecnico di Torino, Corso Duca degli Abruzzi 24, 10129 Torino, Italy
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
G. Bruno and G. Marchetto, "Process-translatable Petri nets for the rapid prototyping of process control systems," in IEEE Transactions on Software Engineering, vol. 12, no. , pp. 346-357, 1986.