Performance evaluation of concurrent asynchronous systems using petri nets

Some analysis techniques for real time asynchronous concurrent sysLems are presented. In order to model clearly the synchronization involved in these systems, the extended timed Petri net model is used. The system to be studied is first modelled by a Petri net. Based on the Petri net model, the system is classified into either: (1) consistent system; or (2) inconsistent system. Most real-world systems fall into the first class which is further subclassified into; (i) decision-free system; (ii) safe persistent system; (iii) general system. 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.