{"product_id":"hardware-design-and-petri-nets-von-luis-gomes-luciano-lavagno-alex-yakovlev-hrsg","title":"Hardware Design and Petri Nets","description":"\n                \u003cem\u003eHardware Design and Petri Nets\u003c\/em\u003e presents a summary of the  state of the art in the applications of Petri nets to designing  digital systems and circuits. \u003cbr\u003e  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. \u003cbr\u003e  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. \u003cbr\u003e  \u003cem\u003eHardware Design and Petri Nets\u003c\/em\u003e 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. \u003cbr\u003e  \u003cem\u003eHardware Design and Petri Nets\u003c\/em\u003e serves as an excellent reference  source and may be used as a text for advanced courses on the subject.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9781441949691\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9780792377917\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9781441949691","offer_id":39415685644381,"sku":"9781441949691","price":160.49,"currency_code":"EUR","in_stock":true},{"title":"Hardcover - 9780792377917","offer_id":50828779718,"sku":"9780792377917","price":160.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/d40903f2-00ea-410c-aefd-f47b778cf36f.jpg?v=1765949204","url":"https:\/\/shop.autorenwelt.de\/products\/hardware-design-and-petri-nets-von-luis-gomes-luciano-lavagno-alex-yakovlev-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}