论文部分内容阅读
应用层次着色Petri网建立的系统可执行模型，以静态数据约束为基础，以动态行为验证为主体。通过数据字典、数据关系、产品数据的约束实现静态数据一致性约束。再应用Petri网结构分析法和状态空间分析法确定模型的数据流、规则触发、状态转换、功能执行的行为，实现动态数据一致性检验。并以区域防空系统为例，通过拦截和执行功能的动态一致性检验，建立拦截和控制可执行模型，由仿真确定设计模型的动态一致性。