Petri nets provide a powerful modeling formalism, which allows one to describe and study various classes of systems, such as synchronous and asynchronous processes, and/or parallel or sequential ones. We present below a software package, currently under development, that allows the user to specify a stochastic marked graph 1 using either a graphical interface or a specification language. From this specification a simulation program for a Single Instruction Multiple Data (SIMD) parallel machine is generated. A Connection Machine 2 (CM2) is used as the architecture for running this program.
/lp/association-for-computing-machinery/parallel-simulation-of-stochastic-petri-nets-using-recurrence-n39H7fKMQ3