Merged processes a new condensed representation of Petri net behaviour V.Khomenko1, A.Kondratyev2, M.Koutny1 and W.Vogler3 1University of Newcastle upon Tyne
Combining Decomposition and Unfolding for STG Synthesis (application paper) Victor Khomenko1 and Mark Schaefer2 1School of Computing Science, Newcastle University, UK
The traditional synchronous (clocked) designs. lack flexibility to cope with contemporary ... Modularity no problems with the clock skew. and related subtle issues ...
for each new firing a fresh transition (called an event) is generated ... truncated (by identifying a set of cut-off events) without loss of essential ...