Approach to Formal Specification and Analysis for Time Performance of the Concurrent Real Time System (RTEXS).

For the most recent entries see the Petri Nets Newsletter.

Approach to Formal Specification and Analysis for Time Performance of the Concurrent Real Time System (RTEXS).

In: Comput. Ind., Vol. 12, No. 4, pages 347-354. August 1989.

Abstract: An approach to modeling and analyzing a real time concurrent system RTEXS (Real Time EXecuting System) by means of a timed Petri net (TPN) is presented. The performance analysis procedure for the system is provided. The minimum times needed for the completion of one cycle of each sequence under the worst and best case of the system are given.

Keywords: real time executing system; formal specification; time performance; TPN.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography