定义一类模糊时间Petri网用于模拟受时间约束的实时系统行为,通过对模糊时间区间的知识推理,研究实时系统中带时间因素的冲突问题和时间-空间的冲撞问题,将时间约束和冲撞发生的概率用于冲突消解。实例分析表明,相对于已有冲突分析和消解方法,该方法同时考虑了带有不确定性时间的系统冲突和冲撞行为,可以更好地模拟和分析现实中的实时系统。
科研之友
微信
新浪微博
Facebook
分享链接
