Presents a summary in the applications of Petri nets to designing digital systems and circuits. This book 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 performance analysis using Petri nets. Editor(s): Yakovlev, Alex; Gomes, Luis; Lavagno, Luciano. Num Pages: 332 pages, biography. BIC Classification: TJF; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 664. . 2000. Hardback. . . . . Books ship from the US and Ireland.

Seller Inventory # V9780792377917

Contact seller

Report this item

Bibliographic Details

Title: Hardware Design and Petri Nets
Publisher: Kluwer Academic Publishers
Publication Date: 2000
Language: English
ISBN 10: 0792377915
ISBN 13: 9780792377917
Binding: Hardcover
Condition: New

About this title

Synopsis

Hardware Design and Petri Nets presents a summary of the state of the art in the applications of Petri nets to designing digital systems and circuits.
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.

"About this title" may belong to another edition of this title.

Store Description

We carry a comprehensive range of out of print and rare books.

Visit Seller's Storefront

Seller's business information

Kennys Bookshops and Art Galleries Limited
Liosban Industrial Estate, Tuam Road, Galway, GY, Ireland

Sale & Shipping Terms

Terms of Sale

We guarantee the condition of every book as it's described on the Abebooks websites.

If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date.

For any queries please use the contact seller link or send an email to books@kennys.ie

Conor Kenny

Shipping Terms

All books securely packaged. Some books ship from Ireland.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	14 to 20 business days	13 to 14 business days
First item	US$ 10.50	US$ 21.00

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.