Overview of Stochastic Timed Petri Nets

Stochastic Timed Petri nets are a powerfu1 modeling formalism,widely used for the performance and de- pendability evaluation of computer and communication systems. The state of the art of the research for the main sub- classes of Stochastic Timed Petri nets as well as their development histories is systematically described. Some of the basic concepts about Stochastic Timed Petri nets are first introduced. General Stochastic Petri nets and the approach- es to deal with the state space explosion problems are then reviewed Non-Markovian Stochastic Petri nets are dis- cussed,along with the analysis techniques. Finally the Fluid Stochastic Petri net formalism and its application are e- laborated.