For the most recent entries see the Petri Nets Newsletter.

Timed Petri Nets: Probabilistic Selection of Data Dependent Paths.

Fahmy, Hossam Mahmoud Ahmad

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.

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

Back to the Petri Nets Bibliography