Publication:5480167
From MaRDI portal
zbMath1095.68065MaRDI QIDQ5480167
Victor Khomenko, A. V. Yakovlev, Maciej Koutny
Publication date: 26 July 2006
Petri nets; logic synthesis; incremental SAT; asynchronous circuits; automated synthesis; STG; self-timed circuits; net unfoldings; partial order techniques; signal transition graphs
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
STG decomposition strategies in combination with unfolding, Occurrence Nets Then and Now: The Path to Structured Occurrence Nets, Failures: Their Definition, Modelling and Analysis
Uses Software