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 (minimization) techniques to avoid this issue. In MC there is some approaches and I'm looking for similar approaches for PN. Note that: PN solver transform PN to MC to solve it but I need to apply reduction on PN level.

Similar questions and discussions