Concept of Formal Petri Net Model for Several Similar Real Time Systems' Quality Evaluation

While modeling real time systems application quality parameters are always relevant. Future system must be reliable in operating, flexible enough in different situations and to have good efficiency. Price is important for system builder. Integrated quality parameter is defined for measuring and evaluation of all these and other quality parameters. In this paper Petri nets architecture is picked as projecting methodology. Real time information system is created and modeled theoretically. It is possible RT system to call as adaptive system. While studying several similar real time systems in every projecting and modeling step we try to evaluate these parameters: a) flexibility b) reliability c) performance d) price. Integrated quality parameter IKP is presented here. It is RT system's intelligent mechanism. While analyzing Petri nets it is required to make and describe information system theoretically. It is analyzed how to find the best way to reach optimal system features. Application quality parameters are used for that.