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

摘要

文章先分别介绍了Petri网和面向对象技术,提出将高级Petri网和面向对象技术相结合构成层次化的面向对象有色Petri网(HOCPN)模型.该模型综合了面向对象技术和Petri网的优势,实现了对较为复杂网络的建模,从而可以进一步地实现对复杂网络进行验证.最后,将该建模方法在铁路车站联锁软件系统中进行实际建模应用.