Analysis of Asynchronous Concurrent Systems by Timed Petri Nets
Name
MIT-LCS-TR-120.pdf
Size
5.23 MB
Format
Adobe PDF
Checksum (MD5)
1eb1ca1ecd0f7710f23b41301cfac3d4
Author(s)
Ramchandani, Chander
Advisor(s)
Dennis, Jack B.
Date Issued
February 1974
Series/Report no.
MIT-LCS-TR-120
MAC-TR-120
Abstract
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.
Persistent DSpace Link
