Title :
Synthesis procedures for Petri net modelling of a class of manufacturing systems
Author :
Camurri, Antonio ; Minciardi, Riccardo ; Paolucci, Massimo
Author_Institution :
Dept. of Commun., Comput., & Syst. Sci., Genoa Univ., Italy
Abstract :
An approach for the automatic generation of Petri net models for a particular class of manufacturing systems is described. Our tool, starting from a system description in terms of precedence-relation graphs, is able to build Petri net models which can be subject of subsequent analysis and simulation. The paper particularly focuses on the definition of the manufacturing system model and on the procedures for the automatic generation of the Petri net
Keywords :
Petri nets; discrete event simulation; manufacturing data processing; production control; software tools; Petri net modelling; manufacturing systems; precedence-relation graphs; simulation; software tool; system description; Analytical models; Automatic control; Computer aided manufacturing; Control systems; Manufacturing industries; Manufacturing systems; Performance analysis; Petri nets; Quality management; Stochastic systems;
Conference_Titel :
Systems, Man, and Cybernetics, 1994. Humans, Information and Technology., 1994 IEEE International Conference on
Conference_Location :
San Antonio, TX
Print_ISBN :
0-7803-2129-4
DOI :
10.1109/ICSMC.1994.400144
