Toggle Main Menu Toggle Search

Open Access padlockePrints

Synthesis of asynchronous hardware from Petri nets

Lookup NU author(s): Dr Victor Khomenko, Professor Alex Yakovlev


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call for new approaches in the area of behavioural models. This paper focuses on some recent developments and new opportunities for Petri nets in designing asynchronous circuits such as synthesis of asynchronous control circuits from large Petri nets generated from front-end specifications in hardware description languages. These new methods avoid using full reachability state space for logic synthesis. They include direct mapping of Petri nets to circuits, structural methods with linear programming, and synthesis from unfolding prefixes using SAT solvers. (78 References).

Publication metadata

Author(s): Carmona J, Cortadella J, Khomenko V, Yakovlev A

Editor(s): Desel, J., Reisig, W., Rozenberg, G.

Publication type: Book Chapter

Publication status: Published

Book Title: Lectures on Concurrency and Petri Nets: Advances in Petri Nets

Year: 2004

Volume: 3098

Pages: 183-205

Series Title: Lecture Notes in Computer Science

Publisher: Springer

Place Published: Berlin


DOI: 10.1007/978-3-540-27755-2_9

Notes: Desel J Reisig W Rozenberg G Berlin, Germany.

Library holdings: Search Newcastle University Library for this item

ISBN: 9783540222613


Link to this publication