↓ Skip to main content
What is this page? Embed badge

Hardware Design and Petri Nets

Overview of attention for book
Cover of 'Hardware Design and Petri Nets'

Table of Contents

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

Citations

dimensions_citation
54 Dimensions
Summary Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Modelling and Implementation of Petri Nets Using VHDL
Chapter number 12
Book title
Hardware Design and Petri Nets
Published by
Springer, Boston, MA, January 2000
DOI 10.1007/978-1-4757-3143-9_12
Book ISBNs
978-1-4419-4969-1, 978-1-4757-3143-9
Authors

Dave Prothero, Prothero, Dave

View on publisher site

This page is provided by Altmetric.