Hardware Design and Petri Nets, Fachbücher von Luis Gomes, Alex Yakovlev, Luciano Lavagno

"Hardware Design and Petri Nets" bietet eine umfassende Übersicht über den aktuellen Stand der Technik in der Anwendung von Petri-Netzen zur Gestaltung digitaler Systeme und Schaltungen. Das Buch beleuchtet die Rolle von Petri-Netzen als leistungsfähiges und leicht verständliches Modellierungswerkzeug im Bereich des Hardware-Designs, das traditionell ein fruchtbares Forschungsfeld für die Untersuchung von Parallelität darstellt. Es wird aufgezeigt, wie Petri-Netze zur Modellierung und Analyse von asynchronen digitalen Schaltungen beitragen und welche Bedeutung sie in der Automatisierung des Designs von computerbasierten Systemen haben. Angesichts der wachsenden Anforderungen der Elektronikindustrie an Designautomatisierung wird die Notwendigkeit betont, Petri-Netze mit pragmatischen Hardware-Beschreibungssprachen wie VHDL und Verilog zu verknüpfen. Das Buch ist in fünf Teile gegliedert, die verschiedene Aspekte des Verhaltensmodellierens, der Analyse und Verifikation sowie der Synthese von Petri-Netzen und STGs abdecken.