For the most recent entries see the Petri Nets Newsletter.

The Application of EB-Equivalence Rules to the Structural Reduction of GSPN Models.

Simone, Carla; Ajmone Marsan, M.; Donzelli, P.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography