Combining Decomposition and Unfolding for STG Synthesis

DOI10.1007/978-3-540-73094-1_15zbMath1226.68058OpenAlexW87105067MaRDI QIDQ3612935

Mark Schaefer, Victor Khomenko

Publication date: 11 March 2009

Published in: Petri Nets and Other Models of Concurrency – ICATPN 2007 (Search for Journal in Brave)

Full work available at URL: https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/464

zbMATH Keywords

decompositionPetri netunfoldingstate space explosionasynchronous circuitSTG

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

STG decomposition strategies in combination with unfolding

This page was built for publication: Combining Decomposition and Unfolding for STG Synthesis