Technische Berichte TUD-FI00-12, 18 pages, November 2000. Fakultaet Informatik, Technische Universitaet Dresden, Germany.; www.iis.nsk.su/persons/itar/.
Abstract: This paper presents a class of stochastic Petri nets with concurrent transition firings. It is assumed that transitions occur in steps and that for every step each enabled transition decides probabilistically whether it wants to participate in the step or not. Among the transitions which want to participate in a step, a maximal number is chosen to perform the firing step. The observable behavior of a net is described by labels associated with transitions. For this class of nets the dynamic behavior is defined and equivalence relations are introduced. The equivalence relations extend the well-known trace and bisimulation equivalences for systems with step semantics to stochastic Petri nets with concurrent transition firing. It is shown that the equivalence notions form a lattice of interrelations.
Keywords: stochastic Petri nets; step semantics; equivalence relations; bisimulation.