Is their any approach for state space reduction or aggregation (minimization) for Stochastic Reward Net (SRN)? Or for other Petri Net extensions?

Using PN as analysis techniques for large systems will produce huge number of states and the analysis model can not be solved in some cases, therefore we have to apply some reduction...

09 September 2013 5,742 3 View