Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT.
Victor KhomenkoMaciej KoutnyAlexandre YakovlevPublished in: ACSD (2004)
Keyphrases
- petri net
- asynchronous circuits
- logic synthesis
- process algebra
- petri net model
- delay insensitive
- multi valued
- heuristic search
- quantum computing
- model checking
- inductive learning
- concurrent systems
- colored petri nets
- web service composition
- fuzzy petri net
- service composition
- stochastic petri net
- search algorithm
- knowledge acquisition
- low cost
- state space
- normal form
- learning experience
- fuzzy sets
- machine learning
- data mining