Analysis of Asynchronous Concurrent Systems by Timed Petri Nets
This thesis is concerned with the modeling and performance analysis of systems which consist of concurrently acting components, an example of which is an asynchronous pipelined processor. The work is divided into two parts. In the first part, a suitable model is developed for describing the struct...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149425 |
| _version_ | 1826200754596085760 |
|---|---|
| author | Ramchandani, Chander |
| author2 | Dennis, Jack B. |
| author_facet | Dennis, Jack B. Ramchandani, Chander |
| author_sort | Ramchandani, Chander |
| collection | MIT |
| description | This thesis is concerned with the modeling and performance analysis of systems which consist of concurrently acting components, an example of which is an asynchronous pipelined processor. The work is divided into two parts. In the first part, a suitable model is developed for describing the structure of asynchronous concurrent systems. In conventional automata theory, the finite-state machine model is used to describe the behavior of systems; the problem with this is that a large number of states results when practical systems are modelled. |
| first_indexed | 2024-09-23T11:41:15Z |
| id | mit-1721.1/149425 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T11:41:15Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1494252023-04-07T18:17:49Z Analysis of Asynchronous Concurrent Systems by Timed Petri Nets Ramchandani, Chander Dennis, Jack B. This thesis is concerned with the modeling and performance analysis of systems which consist of concurrently acting components, an example of which is an asynchronous pipelined processor. The work is divided into two parts. In the first part, a suitable model is developed for describing the structure of asynchronous concurrent systems. In conventional automata theory, the finite-state machine model is used to describe the behavior of systems; the problem with this is that a large number of states results when practical systems are modelled. 2023-03-29T14:57:46Z 2023-03-29T14:57:46Z 1974-02 https://hdl.handle.net/1721.1/149425 MIT-LCS-TR-120 MAC-TR-120 application/pdf |
| spellingShingle | Ramchandani, Chander Analysis of Asynchronous Concurrent Systems by Timed Petri Nets |
| title | Analysis of Asynchronous Concurrent Systems by Timed Petri Nets |
| title_full | Analysis of Asynchronous Concurrent Systems by Timed Petri Nets |
| title_fullStr | Analysis of Asynchronous Concurrent Systems by Timed Petri Nets |
| title_full_unstemmed | Analysis of Asynchronous Concurrent Systems by Timed Petri Nets |
| title_short | Analysis of Asynchronous Concurrent Systems by Timed Petri Nets |
| title_sort | analysis of asynchronous concurrent systems by timed petri nets |
| url | https://hdl.handle.net/1721.1/149425 |
| work_keys_str_mv | AT ramchandanichander analysisofasynchronousconcurrentsystemsbytimedpetrinets |