New Solvers for Asymmetric Systems in GreatSPN
Souheib Baarir, Marco Beccuti, G. Franceschinis · 2008
In this paper we present the extended symbolic reachability graph/dynamic symbolic reachability graph (ESRG/DSRG) framework to model and solve (asymmetric) SWN models. This framework combines several tools: GreatSPN for the model design, WNESRG to build the ESRG of the designed model, ESRG2MC to refine the ESRG and generate the corresponding MC, WNDSRG to build the DSRG and the corresponding MC. MCSolver is used to solve the MC and compute the steady state marking probability. The following section is dedicated to the detailed presentation of this new framework.