Presents, in a simple framework, some basic indications on the methodological tools required in order to understand, develop and analyze Petri net based models of manufacturing systems. The steps required for the representation, analysis and simulation of the machines are described. The basic definitions and properties of Petri nets and the model of the machine sketched are given. The main technique for the logical verification of the model computing the invariants of the net is presented. The numerical results of the Markovian analysis and direct simulation for the machine considered are given and compared.
Archetti, F., Sciomachen, A. (1987). Representation, Analysis and Simulation of Manufacturing Systems by Petri Net Based Models. In P. Varaiya, A.B. Kurzhanski (a cura di), Discrete Event Systems: Models and Applications. IIASA Conference, Sopron, Hungary, 3-7 Aug. 1987 (pp. 162-178). Springer-Verlag.
Representation, Analysis and Simulation of Manufacturing Systems by Petri Net Based Models
ARCHETTI, FRANCESCO ANTONIO;
1987
Abstract
Presents, in a simple framework, some basic indications on the methodological tools required in order to understand, develop and analyze Petri net based models of manufacturing systems. The steps required for the representation, analysis and simulation of the machines are described. The basic definitions and properties of Petri nets and the model of the machine sketched are given. The main technique for the logical verification of the model computing the invariants of the net is presented. The numerical results of the Markovian analysis and direct simulation for the machine considered are given and compared.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
