混合系统建模型的ECPNs法

摘要

首先给出了混合系统的常规结构和表达式，并引入ECPNs用以完成混合系统的建模型。ECPNs.主要引入了动态颜色、动态变迁和动态库所概念，并给出正式定义，这使得混合系统中连续变量和离散事件的建模型通过标识的数量和数值统一于ECPNs之中。最后用实例说明如何用ECPNs完成混合系统建模。