Timed Petri Nets: Probabilistic Selection Of Data Dependent Paths
Hossam Mahmoud Ahmad Fahmy · International Journal of Computer Mathematics · 1990
In this paper, 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.