面向对象的PRES网共享子网组合及应用

Shared Subnet Synthesis and Application of Object-oriented PRES Net

针对嵌入式系统建模问题,提出了一种经由扩展Petri网共享子网得到组合网的解决方案。将面向对象技术与嵌入式系统的Petri网表示模型(PRES网)融合,得到一种面向对象的PRES网—OOPRES(object-oriented petri net based representation for embedded system)网。提出了一种OOPRES网共享子网组合操作方法,并对其组合网系统的活性和有界性的保持问题进行了研究。以智能交通系统的建模分析为例验证了该组合方法的有效性。结果可为Petri网系统组合性质的考察提供有效途径,为大规模复杂嵌入式系统建模提供有利手段,具有宽广的应用前景。

Focus on embedded system modeling,a solution to obtain a synthesized net via the shared subnet of an extended Petri net is proposed.Object-oriented technology and Petri net-based representation for embedded system(PRES net)are merged to obtain an object-oriented PRES net(OOPRES net).A method of synthesized operation of the shared subnet of OOPRES net is proposed,and the preservation of the liveness and boundedness of synthesized net system is studied.Taking the modeling analysis of intelligent transportation system as an example,the effectiveness of the synthesized method is verified.The method can provide an effective way for the investigation of the synthesized properties of Petri net system,and a favorable means for modeling the large-scale complex embedded systems,which has broad application prospects.