Title :
Process-translatable Petri nets for the rapid prototyping of process control systems
Author :
Bruno, Giorgio ; Marchetto, Giuseppe
Author_Institution :
Dipartimento di Autom. e Inf., Pllitecnico di Torino, Italy
Abstract :
A methodology for the rapid prototyping of process control systems which is based on an original extension to classical Petri nets is presented. 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; and automatic translation into program structures. PROT nets are shown to be translatable into Ada program structures concerning concurrent processes and their synchronizations. The authors illustrate this translation in detail using, as a working example, the problem of tool handling in a flexible manufacturing system.
Keywords :
flexible manufacturing systems; graph theory; process computer control; software engineering; Ada program structures; PROT nets; Petri nets; concurrent processes; evaluation; flexible manufacturing system; process control systems; program structures; rapid prototyping; simulation; specification model; tool handling; validation; Computational modeling; Fires; Firing; Petri nets; Process control; Prototypes; Software; Ada; Petri nets; process control systems; rapid prototyping; requirements specification; simulation; synchronizations;
Journal_Title :
Software Engineering, IEEE Transactions on
DOI :
10.1109/TSE.1986.6312948