scientific article; zbMATH DE number 5042671

zbMath1095.68065MaRDI QIDQ5480167

Victor Khomenko, A. V. Yakovlev, Maciej Koutny

Publication date: 26 July 2006

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Petri netslogic synthesisincremental SATasynchronous circuitsautomated synthesisSTGself-timed circuitsnet unfoldingspartial order techniquessignal transition graphs

Mathematics Subject Classification ID

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

Related Items (3)

Failures: Their Definition, Modelling and Analysis ⋮ Occurrence Nets Then and Now: The Path to Structured Occurrence Nets ⋮ STG decomposition strategies in combination with unfolding

Uses Software

• Chaff
• Petrify

This page was built for publication: