The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.02 - Feb. (1986 vol.12)
pp: 346-357
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
ABSTRACT
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.
INDEX TERMS
Petri nets, Prototypes, Process control, Fires, Software, Computational modeling, Firing, synchronizations, Ada, Petri nets, process control systems, rapid prototyping, requirements specification, simulation
CITATION
Giorgio Bruno, 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
17 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool