时段时序逻辑的Petri网模型

本项目研究内容包括提出能描述不确定长时段时序逻辑及其Ｐｅｔｒｉ网模型，验证它的一致性和完备性；给出新时段时序逻辑的线性推理算法和时间Ｐｅｔｒｉ网模型压缩分析技术；新时段时序逻辑在工作流和多媒体通信同步中的应用。本项目在研究可突破原有时段时序逻辑不能描述具有不确定性时段行为系统的限制；可以有效地解决时段时序关系推理和应用问题。