Buch, Englisch, 332 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 528 g
ISBN: 978-1-4419-4969-1
Verlag: Springer US
The area of hardware design has traditionally been a fertile field for research in concurrency and Petri nets. Many new ideas about modelling and analysis of concurrent systems, and Petri nets in particular, originated in theory of asynchronous digital circuits. Similarly, the theory and practice of digital circuit design have always recognized Petri nets as a powerful and easy-to-understand modelling tool.
The ever-growing demand in the electronic industry for design automation to build various types of computer-based systems creates many opportunities for Petri nets to establish their role of a formal backbone in future tools for constructing systems that are increasingly becoming distributed, concurrent and asynchronous. Petri nets have already proved very effective in supporting algorithms for solving key problems in synthesis of hardware control circuits. However, since the front end to any realistic design flow in the future is likely to rely on more pragmatic Hardware Description Languages (HDLs), such as VHDL and Verilog, it is crucial that Petri nets are well interfaced to such languages.
is divided into five parts, which cover aspects of behavioral modelling, analysis and verification, synthesis from Petri nets and STGs, design environments based on high-level Petri nets and HDLs, and finally performance analysis using Petri nets.
serves as an excellent reference source and may be used as a text for advanced courses on the subject.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Geisteswissenschaften Design Produktdesign, Industriedesign
- Mathematik | Informatik EDV | Informatik Professionelle Anwendung Computer-Aided Design (CAD)
- Interdisziplinäres Wissenschaften Wissenschaften: Forschung und Information Kybernetik, Systemtheorie, Komplexe Systeme
- Mathematik | Informatik EDV | Informatik Angewandte Informatik Computeranwendungen in Wissenschaft & Technologie
- Technische Wissenschaften Technik Allgemein Computeranwendungen in der Technik
- Mathematik | Informatik Mathematik Mathematik Interdisziplinär Systemtheorie
- Technische Wissenschaften Elektronik | Nachrichtentechnik Elektronik Mikroprozessoren
- Technische Wissenschaften Technik Allgemein Konstruktionslehre und -technik
- Mathematik | Informatik EDV | Informatik Technische Informatik Systemverwaltung & Management
Weitere Infos & Material
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.
