本项目针对复杂系统Petri网建模与分析的关键科学问题,从系统综合的角度,开展Petri网系统的子系统相关性的研究。在分析和归纳子系统交互模式基础上,提供系统混合建模方法,构建系统综合的基础模型。提供子系统相关性子类的判定算法和语义表达,建立子系统相关性的分类谱系。给出子系统相关性的语言和性质关系,揭示子系统相关性的行为机理。进而提供一套有效的系统行为分析、性质验证、性能评价和优化控制方法,实现系统综合的有效分析、验证和控制。。建立高级网系统的子系统相关性理论,为实际系统的Petri网建模与分析提供可行方法。基于上述理论成果,为服务动态组合系统建模、行为分析和QoS评价提供解决方案,研制相应的服务动态组合软件支持工具。本项目的研究,将为复杂系统的Petri网建模与分析提供解决方案,丰富和发展Petri网科学理论,为计算机系统协作和集成提供理论指导。
{{i.achievement_title}}
数据更新时间:2023-05-31
基于LS-SVM香梨可溶性糖的近红外光谱快速检测
基于文献计量学和社会网络分析的国内高血压病中医学术团队研究
血管内皮细胞线粒体动力学相关功能与心血管疾病关系的研究进展
高分五号卫星多角度偏振相机最优化估计反演:角度依赖与后验误差分析
铁路大跨度简支钢桁梁桥车-桥耦合振动研究
Petri网代数
Petri网用于分布式复杂系统的研究
Petri网系统合成与性质保持研究
基于Petri网的离散事件系统活性监控理论