皮带机群控系统是一个典型的离散事件控制系统(Discrete Event Control Systems,DECS),无法通过传统的描述连续变量动态系统(Continuous Variable Dynamic Systems,CVDS)的计算机控制理论进行有效地描述,所以需要采用其他途径对其进行建模。本文在深入研究和分析了皮带机群控系统的运行状态以及控制规则之后,针对基本Petri网对复杂DECS建模时存在的“节点爆炸”问题,在基本Petri网理论以及各类拓展Petri网的基础上,结合皮带机群控系统建模的需要,设计了一种带约束组合弧的面向对象有色Petri网(Object-Oriented Color Petri Net, OOCPN)模型,约束组合弧的引入可以提高模型的抽象能力,有效地约简了Petri网模型的结构;面向对象技术的引入增强了模型的模块化描述能力,通过分析模型的完备性,验证了模型建立的正确性。同时,为了解决Petri网模型难以直接转化为控制程序的问题,本文在多范式建模(Multi-Paradigm Modeling)思想的指导下引入规则化描述方法,将系统的Petri网模型转化为规则式,加入规则库,然后编译成系统的控制程序。最后以皮带机群控系统的Petri网模型为例,进行了Petri网模型向规则式的转化,所得规则式正确地反映了系统的运行规则。