loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Sixth International Conference on Application of Concurrency to System Design (ACSD'06)
Strategies for Optimised STG Decomposition
Turku, Finland
June 28-June 30
ISBN: 0-7695-2556-3
ASCII Text
x 
 
Mark Schaefer, Walter Vogler, Ralf Wollowski, Victor Khomenko, "Strategies for Optimised STG Decomposition," Application of Concurrency to System Design, International Conference on, pp. 123-132, Sixth International Conference on Application of Concurrency to System Design (ACSD'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/ACSD.2006.30,
author = {Mark Schaefer and Walter Vogler and Ralf Wollowski and Victor Khomenko},
title = {Strategies for Optimised STG Decomposition},
journal ={Application of Concurrency to System Design, International Conference on},
volume = {0},
year = {2006},
issn = {1550-4808},
pages = {123-132},
doi = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2006.30},
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 - Strategies for Optimised STG Decomposition
SN - 1550-4808
SP123
EP132
A1 - Mark Schaefer,
A1 - Walter Vogler,
A1 - Ralf Wollowski,
A1 - Victor Khomenko,
PY - 2006
KW - Asynchronous circuit
KW - STG
KW - Petri net
KW - decomposition
KW - speed-independent
VL - 0
JA - Application of Concurrency to System Design, International Conference on
ER -
 
Mark Schaefer, University of Augsburg, Germany
Walter Vogler, University of Augsburg, Germany
Ralf Wollowski, Hasso-Plattner-Institut (HPI) fur Softwaresystemtechnik GmbH, Germany
Victor Khomenko, University of Newcastle upon Tyne, UK.

When synthesising an asynchronous circuit from an STG, one often encounters the state explosion problem. In order to alleviate this problem one can decompose the STG into smaller components.

This paper deals with the decomposition method of [11], [12] and introduces several strategies for efficient implementations, proves them correct and compares them by means of benchmark examples.

Index Terms:
Asynchronous circuit, STG, Petri net, decomposition, speed-independent
Citation:
Mark Schaefer, Walter Vogler, Ralf Wollowski, Victor Khomenko, "Strategies for Optimised STG Decomposition," acsd, pp.123-132, Sixth International Conference on Application of Concurrency to System Design (ACSD'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.