The application of EB-equivalence rules to the structural reduction of GSPN models | Publicación