建立具备及时处理实时数据功能的优先权Petri网模型,弥补数据流模型Petri网较少考虑数据信息实时性的不足.首先,针对需优先处理的实时数据提出变迁优先权及优先权Petri网的概念;其次,利用Petri网的随机性,通过比较"原则"对模型干扰前后马尔可夫链的区别来确定优先权Petri网模型中的prime变迁和spare变迁,进一步利用"原则"确定的TP与TS间的对应关系来构造优先权结构并增添input库所,并由此提出建模的算法;最后,通过分析案例说明了优先权Petri网的优越性及算法的可行性.
The priority Petri net are modeled for dealing timely with current data,then improve drawbacks of the Data-flow Petri net about consider currents of information.Firstly,the notion of priority and priority Petri net is presented in terms of prior addressed data;then,according to randomness of Petri net,the prime transition and spare transition are clarified in priority Petri net through " Rule" affect on Markov chain,and construct priority structure and input place by corresponding relation between TPand TSreflected in " Rule",such that an algorithm of model is given in the paper;at last,a case study is used to show the advantage of priority Petri net and the feasibility of algorithm.