KI-Beratung Beta

  • Produktbild: Hardware Design and Petri Nets
  • Produktbild: Hardware Design and Petri Nets
- 12%

Hardware Design and Petri Nets

12% sparen

139,99 € UVP 160,49 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.12.2010

Abbildungen

XII, 332 p.

Herausgeber

Alex Yakovlev + weitere

Verlag

Springer Us

Seitenzahl

332

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

528 g

Auflage

Softcover reprint of the original 1st ed. 2000

Sprache

Englisch

ISBN

978-1-4419-4969-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.12.2010

Abbildungen

XII, 332 p.

Herausgeber

Verlag

Springer Us

Seitenzahl

332

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

528 g

Auflage

Softcover reprint of the original 1st ed. 2000

Sprache

Englisch

ISBN

978-1-4419-4969-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Hardware Design and Petri Nets
  • Produktbild: Hardware Design and Petri Nets
  • I Hardware Modelling using Petri Nets.- 1 Comprehensive Causal Specification of Asynchronous Controller and Arbiter Behaviour.- 2 Complementing Role Models with Petri Nets in Studying Asynchronous Data Communications.- 3 Petri Net Representations of Computational and Communication Operators.- II Model Analysis and Verification for Asynchronous Design.- 4 Properties of Change Diagrams.- 5 LTrL-based Model Checking for a Restricted Class of Signal Transition Graphs.- 6 A Polynomial Algorithm to Compute the Concurrency Relation of a Regular STG.- III Theory and Practice of Petri Net Based Synthesis.- 7 Synthesis of Synchronous Digital Systems Specified by Petri Nets.- 8 Deriving Signal Transition Graphs from Behavioral Verilog HDL.- 9 The Design of the Control Circuits for an Asynchronous Instruction Prefetch Unit Using Signal Transition Graphs.- IV Hardware Design Methods and Tools.- 10 Electronic System Design Automation Using High Level Petri Nets.- 11 An Evolutionary Approach to the Use of Petri Net based Models.- 12 Modelling and Implementation of Petri Nets Using VHDL.- V Architecture Modelling and Performance Analysis.- 13 Performance Analysis of Asynchronous Circuits and Systems using Stochastic Timed Petri Nets.- 14 Performance Analysis of Dataflow Architectures Using Timed Coloured Petri Nets.- 15 Modeling a Memory Subsystem with Petri Nets: a Case Study.- 16 Performance Modeling of Multithreaded Distributed Memory Architectures.