一种层次化的面向对象CPN模型及其应用  

Hierarchical Object-oriented Colored Petri Net Model & Its Application

作　　者：王学灵[1] 陈邦兴[1] 

机构地区：[1]同济大学电子与信息工程学院

出　　处：《微型电脑应用》2008年第11期16-19,4,共4页Microcomputer Applications

基　　金：国家自然科学基金资助项目(60674004)

摘　　要：文章先分别介绍了Petri网和面向对象技术,提出将高级Petri网和面向对象技术相结合构成层次化的面向对象有色Petri网(HOCPN)模型。该模型综合了面向对象技术和Petri网的优势,实现了对较为复杂网络的建模,从而可以进一步地实现对复杂网络进行验证。最后,将该建模方法在铁路丰站联锁软件系统中进行实际建模应用。Petri net modeling and object-oriented technique are two important modeling methods in system simulation and validation.We combined these two methods together to form a new method-Hierarchical object oriented colored Petri net.And we applied this method to the railway signal interlocking software system.

关 键 词：PETRI网 面向对象 建模 铁路信号联锁 

分 类 号：TN393[电子电信—物理电子学]