↓ Skip to main content

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
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user
wikipedia
2 Wikipedia pages

Citations

dimensions_citation
54 Dimensions

Readers on

mendeley
32 Mendeley
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.
Title
Hardware Design and Petri Nets
Published by
Springer US, April 2013
DOI 10.1007/978-1-4757-3143-9
ISBNs
978-1-4419-4969-1, 978-1-4757-3143-9
Editors

Yakovlev, Alex, Gomes, Luis, Lavagno, Luciano

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 32 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
United Kingdom 1 3%
China 1 3%
France 1 3%
Vietnam 1 3%
Unknown 28 88%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 14 44%
Student > Master 5 16%
Professor > Associate Professor 5 16%
Student > Doctoral Student 3 9%
Researcher 2 6%
Other 1 3%
Unknown 2 6%
Readers by discipline Count As %
Computer Science 12 38%
Engineering 9 28%
Mathematics 4 13%
Physics and Astronomy 1 3%
Agricultural and Biological Sciences 1 3%
Other 2 6%
Unknown 3 9%