KI-Beratung Beta

  • Produktbild: Hardware Design and Petri Nets
  • Produktbild: Hardware Design and Petri Nets

Hardware Design and Petri Nets

159,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

29.02.2000

Abbildungen

XII, 332 p.

Herausgeber

Alex Yakovlev + weitere

Verlag

Springer Us

Seitenzahl

332

Maße (L/B/H)

24,1/16/2,4 cm

Gewicht

636 g

Auflage

2000

Sprache

Englisch

ISBN

978-0-7923-7791-7

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

29.02.2000

Abbildungen

XII, 332 p.

Herausgeber

Verlag

Springer Us

Seitenzahl

332

Maße (L/B/H)

24,1/16/2,4 cm

Gewicht

636 g

Auflage

2000

Sprache

Englisch

ISBN

978-0-7923-7791-7

Herstelleradresse

Springer-Verlag GmbH
Europaplatz 3
69115 Heidelberg
DE

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.