Construction of Occurrence Graphs with Permutation Symmetries Aided by the Backtrack Method

DAIMI Report Series

View Publication Info
 
 
Field Value
 
Title Construction of Occurrence Graphs with Permutation Symmetries Aided by the Backtrack Method
 
Creator Jørgensen, Jens Bæk
 
Description This paper recalls the concept of occurrence graphs with permuta- tion symmetries (OS-graphs) for Coloured Petri Nets. It is explained how so-called self-symmetries can help to speed up construction of OS- graphs. The contribution of the paper is to suggest a new method for calculation of self-symmetries, the Backtrack Method. The method is based on the so-called Backtrack Algorithm, which originates in com- putational group theory. The suggestion of the method is justified, both by identifying an important general complexity property and by obtaining encouraging experimental performance measures.Topics. Coloured Petri Nets, reduced state spaces, occurrence graphs with permutation symmetries, self-symmetries, computational group theory, backtrack searches.
 
Publisher Aarhus University
 
Contributor
 
Date 2002-02-01
 
Type info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
Peer-reviewed Article
 
Format application/pdf
 
Identifier http://ojs.statsbiblioteket.dk/index.php/daimipb/article/view/7045
10.7146/dpb.v26i516.7045
 
Source DAIMI Report Series; No 516 (1997): PB-516 Construction of Occurrence Graphs with Permutation Symmetries Aided by the Backtrack Method
DAIMI Report Series; No 516 (1997): PB-516 Construction of Occurrence Graphs with Permutation Symmetries Aided by the Backtrack Method
2245-9316
0105-8517
 
Language eng
 
Relation http://ojs.statsbiblioteket.dk/index.php/daimipb/article/view/7045/6006
 

Contact Us

The PKP Index is an initiative of the Public Knowledge Project.

For PKP Publishing Services please use the PKP|PS contact form.

For support with PKP software we encourage users to consult our wiki for documentation and search our support forums.

For any other correspondence feel free to contact us using the PKP contact form.

Find Us

Twitter

Copyright © 2015-2018 Simon Fraser University Library