论文部分内容阅读
大型混杂系统的复杂性使建模与行为分析面临巨大挑战．为此，提出一种基于赋时层次着色Petri网的建模方法，以离散事件驱动为主线，将连续部分模型通过扩展变迁嵌入到离散模型中．离散部分和连续部分分别利用各自领域里的专业工具建模，通过通信接口交互实现混杂交互仿真，同时保证整个系统的数据一致性和时间同步性．在进行混杂系统行为分析时，根据Petri网的结构化分析方法得到混杂系统的不同行为模式，针对各模式进行多属性仿真分析．最后通过一个导弹防御系统的例子说明该建模分析方法的可行性．