Hardware Design and Petri Nets (Paperback)
  • Hardware Design and Petri Nets (Paperback)
zoom

Hardware Design and Petri Nets (Paperback)

(editor), (editor), (editor)
£129.99
Paperback 332 Pages / Published: 03/12/2010
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer-Verlag New York Inc.
ISBN: 9781441949691
Number of pages: 332
Weight: 534 g
Dimensions: 235 x 155 x 18 mm
Edition: Softcover reprint of the original 1st ed. 200

You may also be interested in...

Getting Started with Drones
Added to basket
Electronics All-in-One For Dummies - UK
Added to basket
Exploring Arduino
Added to basket
£26.99
Paperback
Electronics For Dummies
Added to basket
Make: Analog Synthesizers
Added to basket
Temporary Power Systems
Added to basket
The Oxford Solid State Basics
Added to basket
Make: More Electronics
Added to basket
Arduino Workshop
Added to basket
£24.99
Paperback
The Lego Mindstorms Ev3 Idea Book
Added to basket
Encyclopedia of Electronic Components
Added to basket
The Lego Mindstorms Ev3 Discovery Book
Added to basket

Please sign in to write a review

Your review has been submitted successfully.