模糊Petri网知识表示方法在入侵检测中的应用

根据网络攻击具有并发性,攻击特征的提取具有不确定性等特点,给出了采用模糊Pelri网实现攻击知识的表达和入侵检测的推理模型。该模型解决了误用入侵检测系统中现有知识表示方法不能并行推理的问题,以及传统的基于Pelri网可达图搜索求解导致模型描述复杂、推理缺少智能的问题。最后通过入侵实例验证了该模型的正确性和有效性。     

Petri网在经营过程重构（BRP）中的应用研究

在比较常用于过程描述的模型工具基础上,将扩展Petri网理论引入经营过程重构（BRP）。提出了用Petri网对动态、并行的产品开发过程进行描述,并细化建立产品零件设计与工艺设计过程Petri网模型,使产品开发过程在Petri网上得到了清晰、全面地描述。     

Petri网在通信网络仿真建模中的应用

计算机仿真是通信网络技术研究中的一种非常有效的分析工具,而Petri网是一种应用非常广泛的建模工具,为了设计和开发通用的通信网络仿真系统,该文将Petri网技术应用于仿真建模过程中,所建模型简洁,直观且含义准确。     

模糊Petri网在非结构化决策支持中的应用研究

提出了一种建立非结构化决策支持的模糊Petri网模型（简称XFPN).CXFPN结合了模糊集合理论和Petri网理论的基本特点,是对基本模糊Petri网的进一步扩充。文中以促销决策支持为例,描述了非结构化决策问题到CXFPN模型建立,以及决策支持推导的相关问题。应用这种模型,对一类基于规则的决策系统的设计、分析和维护等变得容易了。     

模糊Petri网在带权不精确知识表示和推理中的应用研究

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

模糊Petri我在带权不精确知识表示和推理中的应用研究

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

Petri网在工作流建模中的应用

Petri网是一种图形化、数学化的建模方法,尤其在办公自动化领域的系统建模,在描述和分析实现上有一定的优势。本文分析了工作流的运行模式,Petri网的工作流描述,并以印刷企业订单为例,实现基于Petri网的工作流建模方法。     

Petri网在业务过程建模中的应用

业务过程建模是工作流管理系统的基础,当前人们对业务过程建模技术还缺乏系统研究。本文主要结合我们实现的业务过程建模工具综述了Petri网在业务过程的形式化表示,正确性证明、性能评价和模型优化等方面的应用。     

道义Petri网及其在协同组织社交建模分析中的应用

在开放动态的、充满异质服务的网络环境下,构建服务协同虚拟组织的一个重要挑战是自治服务代理间的协同交互问题.提出一种扩展的引用网:道义Petri网(DPN).DPN结合了动态组织建模中的角色规范概念,并采纳了引用网的网中网和同步通道.给出了DPN在建模与分析自治服务代理协同交互时的一般方法,并以电子机构模型为例,具体论证了DPN在协同交互建模与分析上的优越性及可用性.     

模糊时间Petri网的时间推理及其在过程监测中的应用

针对传统分析方法的不足,提出用线性逻辑给出模糊时间Petri网描述和时间推理的方法。该方法能清楚地分析模糊时间Petri网的运行行为,具体例子说明了其在系统过程监测和诊断中的应用。     

Petri网精细化操作及其在系统设计中的应用

针对柔性制造系统的设计问题,提出了用Petri网精细化操作解决问题的方案.给出了两种精细化操作.研究了Petri网精细化操作的动态性质保持问题,给出了精细化操作保持活性、有界性、可回复性的充分必要条件;对一个柔性制造系统进行了设计和验证.其结果可为Petri网系统静态和动态性质的考察提供有效途径,为Petri网复杂大系统的分析提供重要手段,并特别适合于柔性制造系统的设计,具有一定的实用价值.     

网简化技术在Petri网反馈控制器设计中的应用

针对基于Petri网离散事件系统库所标识不等式约束反馈控制器的设计问题,提出一项新型网简化技术--标识总量保持网简化技术,并利用此项技术把所有约束库所融合为一个与它们标识总量相等的库所,使控制器的设计更为简单,尤其是对规模较大的系统,其优势更加明显.借助一个应用实例,将该控制器设计方法与Moody等人提出的控制器设计方法作比较,表明所提出的控制器设计方法更简单、更有效.     

有色Petri网在渗透测试中的应用

渗透测试是常用的网络安全保障方法。该文细化现有渗透测试过程,针对传统渗透测试模型存在的不足提出一种基于有色Petri网的攻击测试网模型,用于模拟网络攻击并组织测试过程。探讨不同攻击场景的合成规则和测试用例的生成,结合实例分析其在渗透测试中的应用。     

时间Petri网在渗透测试中的应用

渗透测试攻击模型作为渗透测试的重要环节,受到学术界和工业界的共同关注。现有的渗透测试攻击模型未考虑渗透测试攻击过程中的动态参数,无法描述漏洞的发生时间。本文以漏洞为基本单元,以时间Petri网中库所的时间区间表示漏洞的发生区间,构建以时间Petri网为基础模型的渗透测试攻击模型。首先,将漏洞列表作为输入来构建单漏洞模型;然后,将单漏洞模型集合通过模型整合算法形成完整的渗透测试攻击模型;最后,给出渗透攻击路径选择算法,并通过模拟实验验证本文所提渗透攻击路径选择算法的有效性。     

Petri网在IDS中的应用研究

传统的基于Petri网的入侵检测方法只能实现误用检测,而且构造入侵模式的效率太低,不适合如今网络大规模化和入侵复杂化的趋势。针对这两个问题,该文将传统入侵检测过程中的数据分析过程分解为事件产生过程和事件分析过程两个子过程,不仅保留了基于Petri网入侵检测方法原有的优势,而且缓解了入侵模式构造效率低的问题,并且实现了异常检测。实验分析表明,该改进方案对于入侵检测是很有效的。     

属性Petri网建模及其应用

从哲学上事物的质-量互变规律出发，定性映射是以感觉特征抽取为依托而建立的脑思维数学模型。该文提出了基于定性映射模型的诊断系统的建模工具(属性Petri网的基本模型)，给出了形式化定义和基本运行机制，分析了基于属性Petri网的诊断推理算法及实例，该模型在以定性判断为特点的诊断系统中，能得到较好的应用。     

基于Petri网的人力资源管理的模型设计

讨论了工作流管理系统中Petri网建模技术的基本特点，并利用Petri网建立了企业生产管理中人力资源管理的模型。该模型可作为工作流管理系统中的一个子模型，一旦企业的业务过程发生了变化，用户可通过面向对象的Petri网对业务过程的流程进行修改，修改后的流程将自动地应用在工作流管理系统中。此模型满足了企业建立特定资源模型的需要，实现了业务流程重组的要求，具有适用性和灵活性，为人力资源的自动化办公提供了方便。     

基于Petri网的人力资源管理的模型设计

讨论了工作流管理系统中Petri网建模技术的基本特点,并利用Petri网建立了企业生产管理中人力资源管理的模型.该模型可作为工作流管理系统中的一个子模型,一旦企业的业务过程发生了变化,用户可通过面向对象的Petri网对业务过程的流程进行修改,修改后的流程将自动地应用在工作流管理系统中.此模型满足了企业建立特定资源模型的需要,实现了业务流程重组的要求,具有适用性和灵活性,为人力资源的自动化办公提供了方便.     

混合Petri网的流体随机Petri网模型

混合Petri网和流体随机Petri网作为混合系统的建模方法,其内在的建模机制和分析方法不尽相同,而且这两种机制远未发展成熟.分析并建立它们之间相互转换的方法有助于机制本身的发展完善,并利用对方的建模原语和分析方法对系统进行多角度的分析.提出了一阶混合Petri网转换成流体随机Petri网的形式化方法及转换后变迁合并的方法,并给出了转换和合并方法的正确性证明,最后结合实例简要阐述了这两种方法的实现过程.     

有色Petri网在网络通信协议上的应用

自１９６２年Ｃ．Ａ．Ｐｅｔｒｉ在其博士论文中首先提出Ｐｅｔｒｉ网后,Ｐｅｔｒｉ网理论和应用都取得了长足的进步。有色Ｐｅｔｒｉ网是由Ｋ．Ｊｅｎｓｅｎ提出的一种高级网系统,可以为系统建模提供强有力的支持。文章介绍了有色Ｐｅｔｒｉ网,并利用仿真工具Ｄｅｓｉｇｎ／ＣＰＮ对一个通信协议停－等协议进行分析。