针对一些复杂知识系统的知识不确定性及知识规则数量多的特点,在模糊Petri网(FPN)的基础上给出了面向对象模糊Petri网(object-oriented fuzzy Petri net,OOFPN)的形式化定义及其知识表示和知识推理。通过面向对象技术,可以采用模块化方...针对一些复杂知识系统的知识不确定性及知识规则数量多的特点,在模糊Petri网(FPN)的基础上给出了面向对象模糊Petri网(object-oriented fuzzy Petri net,OOFPN)的形式化定义及其知识表示和知识推理。通过面向对象技术,可以采用模块化方法设计知识系统,将复杂知识系统划分为许多功能子系统,从而降低构建知识系统的复杂性,方便知识系统的优化和管理。展开更多
企事业过程建模系统EPMS（Enterprise Process Modeling System）以可视化过程建模语言VPML（Visual Process Modeling Language）为基础，用于过程模型建造和过程模型模拟。VPML语义的正确性与完备性是得到可靠的过程模型的基本保证。...企事业过程建模系统EPMS（Enterprise Process Modeling System）以可视化过程建模语言VPML（Visual Process Modeling Language）为基础，用于过程模型建造和过程模型模拟。VPML语义的正确性与完备性是得到可靠的过程模型的基本保证。文章以枚举法为基础，利用PETRI网描述VPML的所有语义，证明其语义的正确性与完备性。利用二者之间建立的映射关系，将VPML建立的模型转换为PETRI网描述，借助于PETRI网工具可进行系统性能分析，提高产品开发的可靠性。展开更多
文摘针对一些复杂知识系统的知识不确定性及知识规则数量多的特点,在模糊Petri网(FPN)的基础上给出了面向对象模糊Petri网(object-oriented fuzzy Petri net,OOFPN)的形式化定义及其知识表示和知识推理。通过面向对象技术,可以采用模块化方法设计知识系统,将复杂知识系统划分为许多功能子系统,从而降低构建知识系统的复杂性,方便知识系统的优化和管理。
文摘企事业过程建模系统EPMS（Enterprise Process Modeling System）以可视化过程建模语言VPML（Visual Process Modeling Language）为基础，用于过程模型建造和过程模型模拟。VPML语义的正确性与完备性是得到可靠的过程模型的基本保证。文章以枚举法为基础，利用PETRI网描述VPML的所有语义，证明其语义的正确性与完备性。利用二者之间建立的映射关系，将VPML建立的模型转换为PETRI网描述，借助于PETRI网工具可进行系统性能分析，提高产品开发的可靠性。
