Petri网系统的子系统相关性研究

本项目针对复杂系统Petri网建模与分析的关键科学问题，从系统综合的角度，开展Petri网系统的子系统相关性的研究。在分析和归纳子系统交互模式基础上，提供系统混合建模方法，构建系统综合的基础模型。提供子系统相关性子类的判定算法和语义表达，建立子系统相关性的分类谱系。给出子系统相关性的语言和性质关系，揭示子系统相关性的行为机理。进而提供一套有效的系统行为分析、性质验证、性能评价和优化控制方法，实现系统综合的有效分析、验证和控制。。建立高级网系统的子系统相关性理论，为实际系统的Petri网建模与分析提供可行方法。基于上述理论成果，为服务动态组合系统建模、行为分析和QoS评价提供解决方案，研制相应的服务动态组合软件支持工具。本项目的研究，将为复杂系统的Petri网建模与分析提供解决方案，丰富和发展Petri网科学理论，为计算机系统协作和集成提供理论指导。