In: 4: International Journal of Computer Mathematics, Vol. 36, No. 3, pages 183-197. 1990.
Abstract: The probabilistic selection of data dependent paths, in a time-augmented Petri net model, is introduced and tackled. Real-time systems are classified according to their timing requirements into soft real-time systems and hard real-time systems. It is shown that the type of real-time system to be modeled greatly effects the timing considerations that ensure proper performance. Expressions for the conditions needed to guarantee a correct functioning are derived. Some illustrative case studies are presented.
Keywords: timed net; probabilistic selection (of) data dependent path(s); time-augmented net; real-time system; performance.