Parallel simulation of stochastic petri nets using recurrence equations

Abstract
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.

This publication has 0 references indexed in Scilit: