Using Petri-nets for data processing systems analysis and synthesis
The article deals with some problems connected with analysis and synthesis of Data Processing Systems under time criteria. Modelling of a DPS functioning aimed at studying its time characteristics may be carried out with the use of the suggested timed Petri-nets with color markers which describe the systems's run adequately.