论文部分内容阅读
Ｐｅｔｒｉ网是一种适合于描述异步并发事件的计算机系统模型，可以有效地对并行和并发系统进行形式化验证和行为分析，以模糊Ｐｅｔｒｉ网的基本定义为基础，讨论了带权模糊的模糊产生式系统表示法，建立了这种表示法与模糊Ｐｅｔｒｉ网之间的映射关系和转换算法；在对模糊Ｐｅｔｒｉ网进一步扩充的基础上，解决了与知识的模糊Ｐｅｔｒｉ网表示相关的几个问题；最后给出了模糊Ｐｅｔｒｉ网中不确定性的计算方法和相应的不精确推理算