序状Petri网理论及其应用研究

由于Petri网具有形象直观、数学定义严格和通用性强等特点，已经引入到实时交通调度、通信网络调度、计算机集成制造、并发计算调度等实时监控调度系统研究领域。一般说来，实时性能是实时监控调度系统最重要的性能指标之一，而它在很大程度上取决于监控调度算法的计算复杂性。目前，普遍适用的监控调度算法是基于可达性分析技术的，它是一个NP-Hard问题，很难满足监控调度系统的实时性要求。为此，研究工作者针对某些监控系统的特殊结构例如状态机、标识图等提出了许多具有良好计算性能的调度算法。然而，当前学术界尚未很好解决的普遍存在的不可控子网为序状Petri时的监控调度问题。本课题将首先研究序状Petri网（它是无环网的超集）的结构特点、分析方法和分析工具,以填补现有Petri网理论的空白之处；在此基础上，针对不可控子网为序状Petri网，研究出新型具有良好计算性能的监控调度算法。