【摘要】 传统的随机Petri网定量分析都是针对顺序行为的,而并发描述却是Petri网引以为骄傲的内容,这就形成Petri网擅长描述并发,却没有在并发活动下分析系统的手段。本文研究同步并发机制下随机Petri网定量分析方法,旨在改进传统的分析方法,使Petri网真正成为并发系统建模与分析的有力工具。更多还原

【Abstract】 Quantitative analysis of stochastic Petri nets for sequence activity was studied in the past. However,the concurrence description is the proud content of Petri nets. Thus, non-consistency of Petri nets between analysis and description is formed. In this paper, a method of quantitative analysis for stochastic Petri nets under synchronization concurrent activity is studied. Its pur-pors is for improving past analysis method so that Petri nets become realy a strong tool of system’s establishment and analysis.更多还原