The Analysis Techniques and Applications of Generalized Stochastic Petri Net
Jian-dong ZHANG,Xiao-guang GAO,Yong WU,Yan ZHU
DOI: https://doi.org/10.3969/j.issn.1002-0640.2005.05.008
2005-01-01
Abstract:With the development of computer science and information technology,Generalized Stochastic Petri Net(GSPN),as a graphical modeling tool,has been widely used in the process of system design,for it can not only conduct formal specification and rapid prototyping,but also verify correctness and evaluate performance of distributed system due to the solid mathematics basis.The paper discusses the structural analysis techniques,reachability set analysis techniques and numerical solution,on the basis of which representative examples are given in detail.Finally,a diverse variety of application fields are discussed,ranging from communication protocols to flexible manufacturing.