D. Bosnacki, D. Dams & L. Holenderski (2000):
Symmetric Spin.
In: SPIN Model Checking and Software Verification,
LNCS 1885.
Springer Berlin / Heidelberg,
doi:10.1007/10722468_1.
E. Clarke, E. Emerson, S. Jha & A. Sistla (1998):
Symmetry Reductions in Model Checking.
In: Computer Aided Verification,
LNCS 1427.
Springer Berlin / Heidelberg,
doi:10.1007/BFb0028741.
Ł. Fronc (2012):
Effective Marking Equivalence Checking.
Technical Report.
IBISC.
Available at http://goo.gl/mvBor.
Ł. Fronc & F. Pommereau (2011):
Optimizing the Compilation of Petri Net Models.
In: Proc. of SUMo'11 726.
CEUR.
Ł. Fronc & F. Pommereau (2011):
Towards a Certified Petri Net Model-Checker.
In: APLAS,
LNCS 7078.
Springer,
doi:10.1007/978-3-642-25318-8_24.
Klaudel H., Koutny M., Pelz E. & Pommereau F. (2010):
State Space Reduction for Dynamic Process Creation.
Sci. Ann. Comp. Sci. 20.
M. Hendriks, G. Behrmann, K. Larsen, P. Niebert & F. Vaandrager (2004):
Adding Symmetry Reduction to Uppaal.
In: Formal Modeling and Analysis of Timed Systems,
LNCS 2791.
Springer Berlin / Heidelberg,
doi:10.1007/978-3-540-40903-8_5.
K. Jensen & Kristensen L.M. (2009):
Coloured Petri Nets - Modelling and Validation of Concurrent Systems.
Springer,
doi:10.1007/b95112.
T. Junttila (2003):
On the Symmetry Reduction Method for Petri Nets and Similar Formalisms.
PhD. Thesis,
Espoo, Finland.
H. Klaudel, M. Koutny, E. Pelz & F. Pommereau (2008):
Towards Efficient Verification of Systems with Dynamic Process Creation.
LNCS 5160.
Springer,
doi:10.1007/978-3-540-85762-4_13.
H. Klaudel, M. Koutny, E. Pelz & F. Pommereau (2009):
An Approach to State Space Reduction for Systems with Dynamic Process Creation.
In: ISCIS.
IEEE Digital Library,
doi:10.1109/ISCIS.2009.5291864.