loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Second International Conference on Application of Concurrency to System Design (ACSD'01)
Exploiting Stabilizers and Parallelism in State Space Generation with the Symmetry Method
Newcastle upon Tyne, UK
June 25-June 29
ISBN: 0-7695-1071-X
ASCII Text
x 
 
Louise Lorentsen, Lars Michael Kristensen, "Exploiting Stabilizers and Parallelism in State Space Generation with the Symmetry Method," Application of Concurrency to System Design, International Conference on, pp. 211, Second International Conference on Application of Concurrency to System Design (ACSD'01), 2001.
 
 
BibTex
x
 
@article{ 10.1109/CSD.2001.981778,
author = {Louise Lorentsen and Lars Michael Kristensen},
title = {Exploiting Stabilizers and Parallelism in State Space Generation with the Symmetry Method},
journal ={Application of Concurrency to System Design, International Conference on},
volume = {0},
year = {2001},
isbn = {0-7695-1071-X},
pages = {211},
doi = {http://doi.ieeecomputersociety.org/10.1109/CSD.2001.981778},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Application of Concurrency to System Design, International Conference on
TI - Exploiting Stabilizers and Parallelism in State Space Generation with the Symmetry Method
SN - 0-7695-1071-X
SP
EP
A1 - Louise Lorentsen,
A1 - Lars Michael Kristensen,
PY - 2001
VL - 0
JA - Application of Concurrency to System Design, International Conference on
ER -
 
Louise Lorentsen, University of Aarhus
Lars Michael Kristensen, University of South Australia
The symmetry method is a main reduction paradigm for alleviating the state explosion problem. For large symmetry groups deciding whether two states are symmetric becomes time expensive due to the apparent high time complexity of the orbit problem. The contribution of this paper is to alleviate the negative impact of the orbit problem by the specification of canonical representatives for equivalence classes of states in Coloured Petri Nets, and by giving algorithms exploiting stabilizers and parallelism for computing the condensed state space.
Citation:
Louise Lorentsen, Lars Michael Kristensen, "Exploiting Stabilizers and Parallelism in State Space Generation with the Symmetry Method," acsd, pp.211, Second International Conference on Application of Concurrency to System Design (ACSD'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.