Combining Decomposition and Unfolding for STG Synthesis

  • For synthesising efficient asynchronous circuits one has to deal with the state space explosion problem. In this paper, we present a combined approach to alleviate it, based on using Petri net unfoldings and decomposition. The experimental results show significant improvement in terms of runtime and memory consumption compared with other existing methods.

Download full text files

Export metadata


Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Author:Victor Khomenko, Mark SchaeferGND
Frontdoor URL
Series (Serial Number):Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg (2007-01)
Publishing Institution:Universität Augsburg
Release Date:2007/02/14
Tag:Asynchronous circuit; STG; Petri net; decomposition; unfolding; state space explosion
GND-Keyword:Entfaltung <Mathematik>; Petri-Netz; Dekomposition
Institutes:Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik