The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.05 - September (1980 vol.6)
pp: 440-449
C.V. Ramamoorthy , Department of Electrical Engineering and Computer Sciences, University of California
ABSTRACT
Some analysis techniques for real-time asynchronous concurrent systems are presented. In order to model clearly the synchronization involved in these systems, an extended timed Petri net model is used. The system to be studied is first modeled by a Petri net. Based on the Petri net model, a system is classified into either: 1) a consistent system; or 2) an inconsistent system. Most real-world systems fall into the first class which is further subclassified into i) decision-free systems; ii) safe persistent systems; and iii) general systems. Procedures for predicting and verifying the system performance of all three types are presented. It is found that the computational complexity involved increases in the same order as they are listed above.
INDEX TERMS
real time, Asynchronous, concurrent, performance, Petri net
CITATION
C.V. Ramamoorthy, G.S. Ho, "Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets", IEEE Transactions on Software Engineering, vol.6, no. 5, pp. 440-449, September 1980, doi:10.1109/TSE.1980.230492
36 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool