Software for stochastic Petri nets oriented to flexible manufacturing systems

This paper presents the second version of a software package to work with Petri nets. The software permits one to edit, to simulate and to validate generalized and stochastic Petri nets. The program can be used to model any discrete dynamic system; in particular this paper deals with flexible manufacturing systems (FMS). The software uses the editor and the simulator developed in previous works, modified and extended to stochastic Petri nets. The system is implemented in Visual Basic and Visual C++, under Windows for PCs.