用着色Petri网不变量守恒变换检测和处理电信系统业务特性交互作用

本文提出了一个检测和解决业务特性交互作用（ Ｆ Ｉ）的新方法。在本方法中,每个业务特性以一个着色 Ｐｅｔｒｉ网（ Ｃ Ｐ网）来模拟,其使用实例则表述为 Ｃ Ｐ网的变迁不变量集。当两个业务特性同时存在时,可将它们的 Ｃ Ｐ 网合成为一个大网来观察其间的交互作用,如果两个成分网中表示使用实例的不变量的支撑不能同时得到保留,则说明系统存在 Ｆ Ｉ。解决的方法是在两个业务特性中设立优先权以保证其中之一的运行。本文提出 Ｃ Ｐ 网合成变换不变量守恒定理以帮助判别不变量是否守恒。     

基于着色Petri网的交换式局域网仿真

利用CPN—Tools建模辅助工具建立了基于着色Petri网的交换式局域网模型,通过模型的仿真运行得出了网络流量和网络延时之间的关系,模型的构件组成为交换机、工作站、服务器。     

客户定单规范的Petri网模型及其分析

结合现有的电信生产局的管理机构和管理模式 ,给出了客户定单进程管理规范的Petri网模型。通过对Petri网模型的特性分析 ,确定了规范的合理性。并通过在具体邮电部门的应用 ,验证了其可行性     

基于着色Petri网的汽车关键零部件协同设计平台

在基于Web的协同设计平台上,引入了工作流管理的概念,用着色Petri网(CPN)定义、分析、优化的工作流流程模型,应用于平台的任务路由.此平台协同设计的理念配合CPN定义的流程模型,可以更好地实现资源的分配,项目的进度分析,以及协调设计成员间的工作,它将为汽车产品的协同创新设计提供一个良好的开发环境.     

着色Petri网在核心银行业务系统转型升级项目风险管理中的应用研究

核心银行业务系统结构的转型升级可以极大提高金融机构的业务处理能力,增强银行的核心竞争力,但由于核心银行系统结构复杂,其转型升级过程涉及风险难以预测。文章拟通过引入着色Petri网替代繁冗复杂的数学运算,模拟核心银行系统转型升级项目实施过程中的风险发生情况,实现对项目风险管理措施的改进和完善。     

基于Petri网的入侵检测模型研究

随着计算机网络的广泛应用,非法的入侵与攻击行为不断发生,严重威胁着网络信息的安全,对入侵和攻击进行检测与防范已经成为刻不容缓的重要课题。讲述了Petri网(PN)和有色Petri网(CPN),通过将入侵分为“存在”,“顺序”,“偏序”三种类型,描述入侵检测系统(IDS)中的攻击模式用Petri网实现,并且给出了使用有色Petri网描述攻击模式。     

Petri网模型在电信结算系统中的应用

由于Petri网模型具有强大的描述离散事件系统的能力,电信综合结算系统采用了基于Petri网的系统模型,作为分析工作流模型的理论基础。讨论了结算系统优化求解模型和工作流Petri网模型。结算系统建立了全局流程管理机制,调度系统统筹管理任务、进程和资源等各方面要素,成功减少了计算机资源消耗,也使结算系统的监控、配置、操纵更加方便和智能。     

基于赋时着色Petri网的RBC控车实时性能分析

RBC（无线闭塞中心）是CTCS-3级列控系统的关键设备,RBC通过GSM-R网络与列控车载设备进行连续双向的信息交互,实现对运行列车的控制。RBC控车实时性能是影响CTCS-3级列车运行控制系统的控制精度、效率、可靠性和安全性的重要指标与因素。对该性能指标进行形式化方法研究可为验证CTCS-3级列车运行控制系统规范和系统研发提供参考。着色Petri网不仅可以描述系统的静态结构,而且可以实现模型动态仿真,克服了其他形式化方法对系统动态行为进行静态描述的缺点。采用赋时着色Petri网对RBC与列车通信的无线消息进行研究。针对两种无线消息模型,综合信道突发降质、GSM-R小区切换、链路中断等故障因素分别进行仿真,得到RBC控车平均延时曲线,并分析不同列车速度及重发时间间隔对无线消息模型产生的影响。     

基于模糊Petri网模型的通信网络综合性能评价

论述了传统Petri网和模糊Petri网的概念、特点及区别,提出了模糊Petri网建模的规则和进行系统问题分析时的有效算法,最后,通过通信网综合性能评价来说明模糊Petri网在系统性能分析中的应用。     

一种基于广义随机着色Petri网的网络攻击组合模型

攻击行为建模对网络安全分析与评估具有重要的作用。该文定义了一种基于广义随机着色Petri网的网络攻击组合模型,该模型能清晰表达攻击组合中各组合部分之间的关联关系,给出了攻击行为、攻击组合运算的定义和攻击组合的建立算法,并对组合模型的结构复杂度进行了度量。在此基础上,从系统性能分析的角度对时间代价进行评估。针对网络实例的分析进一步验证了所提出的组合模型及相关计算方法的有效性。     

基于有色Petri网的模型驱动SOA服务模型组合

在模型驱动SOA的框架下,业务流程层的合理创建可验证的流程服务。通过形式化定义了服务组合过程中的5种基本的逻辑结构,采用有色Petri网表示,并将其抽象成为服务的代数运算;在此基础上,提出了经过服务运算后得到的服务性质以及组合服务的构造方法;最后通过实例,说明该建模方法可以保证组合的服务是正确而且可终止的。     

基于模型构件和Petri网的企业整体建模方法

模型复用是提高建模质量和效率的主要手段，而模型构件是复用的核心和基础。在对构成企业这一社会技术系统的各种要素进行分析的基础上，首先将组成系统的要素分为功能构件、资源构件和人力构件等三类模型构件。然后以Petri网作为建模工具，给出一种以模型构件作为变迁和库所的企业整体建模方法。由此方法建立的企业模型具有良好的整体性和可复用性，能够全面反映构成企业的技术实体、资源和人等要素的配置和相互关系。最后给出一个企业建模实例。     

一种基于逻辑Petri网的过程挖掘方法

逻辑Petri网是抑制弧Petri网和高级Petri网的抽象和扩展,可在过程挖掘中简洁准确的表示活动之间复杂的业务逻辑关系.本文在传统Petri网挖掘方法的基础上,为了进一步提高复杂系统挖掘模型的简洁度和拟合度,尤其是对并行活动间存在复杂与或关系的系统,提出了一种基于逻辑Petri网的过程挖掘方法,并给出了逻辑Petri网中逻辑变迁的挖掘算法.它可以充分挖掘活动之间的业务逻辑,并且业务逻辑可用逻辑表达式表示.通过与相应Petri网模型的实例比较分析,例证了本文方法的正确性和有效性,且逻辑Petri网模型更加适合日志行为.     

用于检测数据库一致性的Petri网模型

本文通过建立事务调度的Ｐｅｔｒｉ网模型，给出了并发控制系统判断数据库一致性的形式化方法，得到了判定可串行化调度的充要条件。本方法简便、实用，大大改进了以往的方法，为实现数据库一致性的自动判定提供了前提。最后从方法学角度提出了应用Ｐｅｔｒｉ网的新方法。     

基于Petri网的工作流过程建模和时间性能分析

介绍了基于Petri网的工作流建模技术,并针对一个复杂的企业生产经营活动的流程构建了一个简化灵活的模型,利用随机Petri网的性能分析方法对建立的模型进行了时间性能分析。结果表明,文中的性能分析方法可对复杂的模型进行有效地简化分析。     

含有否定命题逻辑推理的一致性模糊Petri网模型

模糊Petri网(Fuzzy Petri Net,FPN)是Petri网(Petri Net,PN)的模糊化描述的一种扩充.基于FPN模型的模糊推理规则表示和模糊推理已经得到了广泛的研究.传统的方法不能准确表示含有否定命题的产生式规则,并解决正确推理问题.本文讨论了模糊逻辑中否定的含义,将条件命题中的否定理解为其对推理规则的阻碍作用,结果命题中的否定理解为规则中的前提条件阻碍该命题的发生.在此基础上提出一种新的适合于含有否定命题逻辑规则的一致性FPN模型(Consistent Fuzzy Petri Net,CFPN)表示方法,同时在CFPN模型中引入域值的概念,并给出相应的形式化推理算法及相关证明.     

基于Petri网的安全协议形式化分析

本文提出了一种基于Petri网的安全协议形式化描述和安全性验证的方法.该方法的特点是,利用逆向状态分析判定协议运行过程中可能出现的不安全状态,利用Petri网的状态可达性分析判断这些不安全状态是否可达.通过实例,我们证明了这种方法的有效性.