This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Process-translatable Petri nets for the rapid prototyping of process control systems
Feb. 1986 (vol. 12 no. 2)
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
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
Usage of this product signifies your acceptance of the Terms of Use.