摘 要: | 建立具备及时处理实时数据功能的优先权Petri网模型,弥补数据流模型Petri网较少考虑数据信息实时性的不足.首先,针对需优先处理的实时数据提出变迁优先权及优先权Petri网的概念;其次,利用Petri网的随机性,通过比较"原则"对模型干扰前后马尔可夫链的区别来确定优先权Petri网模型中的prime变迁和spare变迁,进一步利用"原则"确定的TP与TS间的对应关系来构造优先权结构并增添input库所,并由此提出建模的算法;最后,通过分析案例说明了优先权Petri网的优越性及算法的可行性.
|