论文部分内容阅读
提出一种以Petri网为仿真进程控制，以着色Petri网与Matlab交互为主题的混杂仿真跨平台构架．该仿真构架通过运用和扩展着色Petri网中替代变迁的概念，结合融合库所和折叠功能，实现了混杂系统的复杂逻辑建模和连续系统内嵌．同时，着色Petri网的分析功能在一定程度上缓解了逻辑结构复杂的混杂系统检验困难的问题．最后通过一个混杂系统实例的建模与仿真分析，验证了该平台的可行性与逻辑检验的有效性，为复杂混杂系统的建模与仿真提供了一条新途径．