Three partition refinement algorithms
SIAM Journal on Computing
Better verification through symmetry
Formal Methods in System Design - Special issue on symmetry in automatic verification
Formal Methods in System Design - Special issue on symmetry in automatic verification
Measure-adaptive state-space construction
Performance Evaluation
Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications
IEEE Transactions on Computers
Symbolic Reachability Graph and Partial Symmetries
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
Towards reachability trees for high-level Petri nets
Proceedings of the European Workshop on Applications and Theory in Petri Nets, covers the last two years which include the workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected papers
On the use of exact lumpability in partially symmetricalWell-formed Nets
QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
Efficient lumpability check in partially symmetric systems
QEST '06 Proceedings of the 3rd international conference on the Quantitative Evaluation of Systems
The GreatSPN tool: recent enhancements
ACM SIGMETRICS Performance Evaluation Review
Lumping partially symmetrical stochastic models
Performance Evaluation
| Hi-index | 0.00 |
This paper presents a generic framework for building quotient graphs for Stochastic Well-formed Net models by exploiting the symmetries implicitly defined in the model. Two instantiations are presented, one based on static symmetries and the other one based on dynamic symmetries. The second method can usually deal with partially symmetric systems in a more effective way than the first one. However, in some cases it may result in a larger graph. We present here a new approach that overcomes the weakness of these methods. All these techniques can be used for efficient performance analysis of systems.