Hardware Design and Petri Nets

طراحی سخت‌افزار و شبکه‌های پتری خلاصه‌ای از وضعیت هنر در کاربردهای شبکه‌های پتری در طراحی سیستم‌ها و مدارهای دیجیتال را ارائه می‌دهد.
حوزه طراحی سخت افزار به طور سنتی زمینه ای مناسب برای تحقیق در شبکه های همزمان و پتری بوده است. بسیاری از ایده‌های جدید در مورد مدل‌سازی و تحلیل سیستم‌های همزمان، و به‌ویژه شبکه‌های پتری، از نظریه مدارهای دیجیتال ناهمزمان سرچشمه می‌گیرند. به طور مشابه، تئوری و عمل طراحی مدارهای دیجیتال همواره شبکه های پتری را به عنوان یک ابزار مدل سازی قدرتمند و قابل درک می شناسند.
تقاضای روزافزون در صنعت الکترونیک برای اتوماسیون طراحی برای ساخت انواع مختلف سیستم های مبتنی بر کامپیوتر، فرصت های زیادی را برای شبکه های پتری ایجاد می کند تا نقش خود را به عنوان یک ستون فقرات رسمی در ابزارهای آینده برای ساختن سیستم هایی که به طور فزاینده ای در حال توزیع هستند، ایجاد کنند. ، همزمان و ناهمزمان. شبکه‌های پتری قبلاً در پشتیبانی از الگوریتم‌ها برای حل مسائل کلیدی در سنتز مدارهای کنترل سخت‌افزار بسیار مؤثر بوده‌اند. با این حال، از آنجایی که بخش جلویی هر جریان طراحی واقعی در آینده احتمالاً به زبان‌های توصیفی سخت‌افزاری (HDL) مانند VHDL و Verilog متکی خواهد بود، بسیار مهم است که شبکه‌های پتری به خوبی با چنین زبان‌هایی ارتباط برقرار کنند.
طراحی سخت‌افزار و شبکه‌های پتری به پنج بخش تقسیم می‌شود که جنبه‌های مدل‌سازی رفتاری، تحلیل و تایید، سنتز از شبکه‌های پتری و STGs، محیط‌های طراحی مبتنی بر شبکه‌های پتری سطح بالا و HDL ها و در نهایت تجزیه و تحلیل عملکرد با استفاده از شبکه های پتری.
طراحی سخت افزار و شبکه های پتری به عنوان یک منبع مرجع عالی عمل می کند و ممکن است به عنوان متنی برای دوره های پیشرفته در این زمینه استفاده شود.

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.