摘要

在已有研究基础上定义一种模糊时间Petri网以处理冲突相关的不确定性时间知识.该Petri网引入变迁的模糊触发区间,结合模糊时间函数来处理不确定性时间知识,能够对冲突相关的时间不确定性问题进行定量分析,有效解决冲突事件的描述分析问题,适用于复杂实时系统建模.该方法具有冲突分析精确、计算简单、适用面广的特点,是对现有时间知识推理方法的进一步完善.