Strategies for Optimised STG Decomposition

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Mark Schaefer Articles by Walter Vogler Articles by Ralf Wollowski Articles by Victor Khomenko

Sixth International Conference on Application of Concurrency to System Design (ACSD'06)

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.

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ACSD.2006.30

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.