弱引发三态加时变迁Petri多动态行为分析

中提出的弱引发三态加时Ｐｅｔｒｉ网比现有三态加时变迁Ｐｅｔｒｉ网更适于模拟分析一类具确定性时间约束和冲突结构的并发系统；给出其动态行为形式化描述与分析框架；基于此和受控执行概念，并结合实际并发系统的一类调度问题，研究其动态行为的一些性质，有关结构可用于优化并发系统的有限资源的配置。