Abstract: 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.
Publication Year: 2005
Publication Date: 2005-01-01
Language: en
Type: article
Access and Citation
Cited By Count: 2
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot