DESIGN AND. IMPLEMENTATION OF A SOFTWARE PACKAGE FOR DRAWING AND ANALYSIS OF TIMED PETRINETS

Abstract

The increasing complexity of concurrent systems has - led to the search for concepts to describe systems., which support both the analysis of the system structure and the processes taking place within the system. Petrinets augmented with timing information (TPN) have emerged as a powerful technique for specifying and verifying such systems. Two interpretations of TPNs have been considered. This dissertation deals with the design and implementation of a software package for performance evaluation of systems based on one type of - TPN model and timing requirement of . time driven systerlsbased on other type of TPN model '. The package also allows the user to construct and store both types of TPN models. The technique implemented for performance evaluation is the one given by Ramarnoorthy [5]. It first predicts- and then verifies performance of a given system.. An overview of the analysis technique is presented. The technique for timing requirement analysis as gii eii by Coolahan [6] is also implemented. It establishes consistency relations at each place in the net, computes maximum relative firing frequencies, locates and generates timing requirgmont for each type of defined net constructions. The package has been implemented in BASIC on BBC micro computer.