CAJ | 학술논문

时间因素在对实时系统的分析中占据着重要的位置。随着时间因素在Petri网应用分析中的地位越发重要，各种与时间相关的Petri网模型相继被提出。文中结合动态实时系统的运行特征，设计了一种变迁点火时间服从正态分布的随机Petri网模型，并基于对系统行为的统计分析，提出了一种用于对变迁时间参数进行识别的数值算法。以一种随机制造单元为例，建立正态随机Petri网模型，并运用参数识别算法确定变迁时间参数。仿真结果符合系统的实际运行结果，证明了该方法的有效性。
시간인소재대실시계통적분석중점거착중요적위치。수착시간인소재Petri망응용분석중적지위월발중요，각충여시간상관적Petri망모형상계피제출。문중결합동태실시계통적운행특정，설계료일충변천점화시간복종정태분포적수궤Petri망모형，병기우대계통행위적통계분석，제출료일충용우대변천시간삼수진행식별적수치산법。이일충수궤제조단원위례，건립정태수궤Petri망모형，병운용삼수식별산법학정변천시간삼수。방진결과부합계통적실제운행결과，증명료해방법적유효성。
The factor of time had played an important role in the analysis of real-time systems. As the importance of time analysis in the application of Petri nets is increasing,a variety of timed Petri net models were proposed. Considering the characteristics of dynamic real-time systems,a stochastic Petri net with normal distributions of the firing periods was designed and a method for the identification of the parameters was proposed based on a statistical analysis of the behavior of the system. The system model of a random manufacturing unit was built with normal Petri net and the parameters of firing periods were verified by the estimation algorithm. The simulation results fit in-to the actual behavior of the system and prove the effectiveness of this method.