23 results on '"Lavagno, Luciano"'
Search Results
2. Hardware and Petri nets: application to asynchronous circuit design
3. Synthesizing Petri nets from state-based models
4. Quasi-Static Scheduling of Independent Tasks for Reactive Systems.
5. Quasi-static Scheduling for Concurrent Architectures.
6. Deriving Petri Nets from finite transition systems.
7. What is the cost of delay insensitivity?
8. Modelling with Petri Modules
9. Optimal Petri Net Monitor Design
10. Looking for Diamonds
11. Design of Observers/Controllers for Discrete Event Systems Using Petri Nets
12. Towards Synthesis of Asynchronous Communication Algorithms
13. Performance Analysis of Dataflow Architectures Using Timed Coloured Petri Nets
14. Modelling and Implementation of Petri Nets Using VHDL
15. An Evolutionary Approach to the Use of Petri Net Based Models : From Parallel Controllers to HW/SW Codesign
16. Synthesis of Synchronous Digital Systems Specified by Petri Nets
17. Electronic System Design Automation Using High Level Petri Nets
18. LTrL-Based Model Checking for a Restricted Class of Signal Transition Graphs
19. The Design of the Control Circuits for an Asynchronous Instruction Prefetch Unit Using Signal Transition Graphs : An asynchronous instruction prefetch unit design
20. A Polynomial Algorithm to Compute the Concurrency Relation of a Regular STG
21. Petri Net Representations of Computational and Communication Operators
22. Comprehensive Causal Specification of Asynchronous Controller and Arbiter Behaviour : A Generalized Signal Transition Graph
23. Complementing Role Models with Petri Nets in Studying Asynchronous Data Communications
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.