Technical Report. Università degli Studi di Milano (Italy), Dipartimento di Scienze dell'Informazione (DSI), April 1991.
Abstract: The paper presents a set of reduction rules for generalized stochastic Petri nets (GSPNs) that allow the elimination of immediate transitions, and that can reduce some symmetries present in the time behaviour of the model. These rules were inspired by a set of reduction rules originally defined in the framework of exhibited behaviour equivqalence (EB-eqivalence), an equivalence notion developed for untimed 1-safe Petri nets. This set of reduction rules can be reformulated to deal with the class of Petri nets with arc multiplicities, no place capacities and with priorities. Furthermore, a calculus for the computation of transition weights is introduced, so that the new reduction rules can be applied to GSPN models.
Keywords: exhibited behaviour equivqalence, EB-eqivalence; generalized stochastic net; immediate transition; symmetry elimination; time behaviour; (1-) safe net; arc multiplicity; (no) place capacity; priority; transition weight.