Editors:
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (16 chapters)
-
Front Matter
-
Model Analysis and Verification for Asynchronous Design
-
Front Matter
-
-
Theory and Practice of Petri Net Based Synthesis
-
Front Matter
-
-
Hardware Design Methods and Tools
-
Front Matter
-
-
Architecture Modelling and Performance Analysis
-
Front Matter
-
About this book
The area of hardware design has traditionally been a fertile field for research in concurrency and Petri nets. Many new ideas about modelling and analysis of concurrent systems, and Petri nets in particular, originated in theory of asynchronous digital circuits. Similarly, the theory and practice of digital circuit design have always recognized Petri nets as a powerful and easy-to-understand modelling tool.
The ever-growing demand in the electronic industry for design automation to build various types of computer-based systems creates many opportunities for Petri nets to establish their role of a formal backbone in future tools for constructing systems that are increasingly becoming distributed, concurrent and asynchronous. Petri nets have already proved very effective in supporting algorithms for solving key problems in synthesis of hardware control circuits. However, since the front end to any realistic design flow in the future is likely to rely on more pragmatic Hardware Description Languages (HDLs), such as VHDL and Verilog, it is crucial that Petri nets are well interfaced to such languages.
Hardware Design and Petri Nets is divided into five parts, which cover aspects of behavioral modelling, analysis and verification, synthesis from Petri nets and STGs, design environments based on high-level Petri nets and HDLs, and finally performance analysis using Petri nets.
Hardware Design and Petri Nets serves as an excellent reference source and may be used as a text for advanced courses on the subject.
Editors and Affiliations
-
University of Newcastle upon Tyne, UK
Alex Yakovlev
-
Universidade Nova de Lisboa, Portugal
Luis Gomes
-
Universitá di Udine, Italy
Luciano Lavagno
Bibliographic Information
Book Title: Hardware Design and Petri Nets
Editors: Alex Yakovlev, Luis Gomes, Luciano Lavagno
DOI: https://doi.org/10.1007/978-1-4757-3143-9
Publisher: Springer New York, NY
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media Dordrecht 2000
Hardcover ISBN: 978-0-7923-7791-7Published: 29 February 2000
Softcover ISBN: 978-1-4419-4969-1Published: 03 December 2010
eBook ISBN: 978-1-4757-3143-9Published: 17 April 2013
Edition Number: 1
Number of Pages: XII, 332
Topics: Electronics and Microelectronics, Instrumentation, Electrical Engineering, Computer-Aided Engineering (CAD, CAE) and Design, Artificial Intelligence