%0 Journal Article
%T Overview of Stochastic Timed Petri Nets<br>随机时间Petri网综述
%A LU Guang-Song
%A GE Yun-jian
%A <br>卢光松
%A 葛运建
%J 计算机科学
%D 2005
%I 
%X 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.
%K General stochastic petri net
%K State space explosion
%K Non-Markovian stochastic petri net
%K Fluid stochastic petri net<br>随机时间Petri网
%K 建模机制
%K 非马尔科夫随机Petri网
%K 分析技术
%K 流体随机Petri网
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=BAE86F5DA91545BE&yid=2DD7160C83D0ACED&vid=9971A5E270697F23&iid=38B194292C032A66&sid=96C778EE049EE47D&eid=340AC2BF8E7AB4FD&journal_id=1002-137X&journal_name=计算机科学&referenced_num=4&reference_num=52