基于脆弱性关联模型的网络威胁分析

为了解决网络脆弱性建模存在的问题以及威胁评估方法中的不足,结合面向对象技术提出了基于扩展时间Petri网的脆弱性关联模型,通过定义攻击复杂度和危害度因素以及各评估指标的量化方法,给出了脆弱性关联模型的生成算法。结合网络威胁度的计算公式,运用改进的Dijkstra算法给出了无目标导向的网络威胁量化分析方法。该模型能够有效缩减状态空间的规模,适合对复杂网络攻击建模。实验证明了脆弱性关联模型的正确性及其优越的描述性能,基于该模型的威胁分析方法也更为合理、有效。     

基于对象着色Petri网的UML模型研究

UML广泛应用于软件建模,但缺乏有效的模型检测的方法,使用形式化方法对UML模型进行分析,可以发现UML模型的设计问题,提高UML模型的质量。对象着色Petri网是一种拥有接口库所的模块化着色Petri网,既是一种图形化建模工具,又是具有严格的语法语义定义的形式化方法。通过引入事件托肯,改进了将UML模型转换为对象着色Petri网的方法,结合实例将UML状态图和协作图映射为对象着色Petri网模型。并用着色Petri网的方法和工具对模型进行了分析,验证了模型的一系列性质。     

基于对象Petri网的BPEL建模技术

讨论了通过对象Petri网对业务过程执行语言（BPEL）进行建模,提供一种从抽象BPEL过程扩展生成可执行BPEL过程的方法,该方法保证生成的可执行BPEL过程遵循抽象BPEL过程定义的业务协议,并通过BPEL2OPN对建模结果进行仿真。     

Research on the Approach to Assess Missile Operational Effectiveness Based on OPN

Object Petri Net （OPN） which combines Petri net with object-oriented theory gives an effective method to use the Petri net in the field of M＆S of Discrete Event Dynamic System. The concept and mechanism of object is brought in, and ttie function of ba- sic Petri net is expanded. It is a new idea to apply OPN to missile operational effectiveness assessment system. The expanded func- tion of OPN is helpful for M＆S of discrete missile combat system. Since kinds of stochastic factors of the combat are considered in the simulation, the assessment of operational effectiveness has high reliability. The structure and the combat process of ICBM combat system are studied, and then the framework of OPN-based missile operational effectiveness assessment system and its operational mechanism are given.     

Interactive hypermedia applications: A model and its implementation

By referring to the object-oriented efforts of the Multimedia and Hypermedia information coding Expert Group (MHEG), and the augmented Petri net model, we present a formal definition of the multimedia hypermedia Petri net (MHPN) model. Through this proposed model, issues of authoring, rendering and synchronization of multimedia information (i.e. structure authoring, spatial temporal relationships, user interaction, etc.) can all be laid to rest. We have implemented a testbed system, the Petri net object information system (POIS), which offers considerable potential for the development of distributed hypermedia applications. The testbed has been implemented on an IBM-PC486 under Windows 3.1. We are now in the process of porting the testbed model to Windows NT.     

基于Petri网的情境感知系统建模与仿真*

情境感知系统对情境信息的利用程度在不断提高,对服务的多样性提出了更高要求,但是传统的情境感知系统的建模方法难以满足对系统动态描述和模拟的需求。通过对传统的Petri网进行扩展,提出了情境感知系统的赋时着色Petri网模型;并结合仿真工具CPN Tools对模型进行模拟和验证,进而发现系统设计中存在的潜在不足,对其优化改进。以痴呆老人智能辅助系统为例,证明了该方法的有效性。     

一种基于时间Petri网的工作流模型

面向任务流和资源流并行的业务过程,讨论了一类如何通过资源流控制任务流的工作流建模问题.在时间Petri网的基础上提出了一种称作资源/任务网(R/T-net)的工作流概念模型,并给出了基于R/T-net的工作流建模过程.设置在任务模型中的资源依赖和资源期望可以有效地实现资源流对任务流的控制,而其中的资源点火规则和资源路由规则可以灵活地实现资源的协调、同步、分配和传递,因此,比仅用时间属性刻画任务转移的时间Petri网模型更符合诸如办公、制造、物流运输等业务过程.     

基于活动的行为关系与关联时间的多视角迹聚类方法

常用的迹聚类方法大都使用相对单一的标准,如利用活动序列关系,而忽略了活动的行为关系、时间或资源属性,这对于一些柔性配置的业务流程系统提升过程挖掘质量是不利的。针对该问题,提出了一种结合活动行为关系与关联时间的多视角迹聚类方法。首先,根据活动之间的行为关系构建控制流编码;同时,在时间属性上,把迹表示为一组最近关联活动对及其时间差;其次使用加权聚合的方式集成两个视角下的迹相似性,然后进行聚类调整。最后,将所提方法应用于登录系统场景,并且在五个真实日志上与其他聚类方法进行对比。实验结果表明该方法能够从复杂的登录系统中发现过程场景,并且从适应度、精度和F1分数三个度量标准上验证了该方法的优越性。     

基于全网攻击模型的攻击策略挖掘与危险评估

针对复杂网络攻击建模的不足,提出一种基于对象Petri网的全网攻击模型。通过对精确路径和粗糙路径的定义,提出了全网攻击模型的自动生成和路径挖掘算法。攻击路径集综合反映了不完备信息下主机间的确定攻击关系和可能攻击关系,结合攻击效能和路径粗糙度指标给出了定量的网络危险评估方法。     

一种基于OOPN的可执行对象结构模型

指出了UML的多视图模型存在缺乏统一语义模型的不足,提出了一种利用面向对象Petri网(OOPN)统一描述面向对象系统结构和行为模型的解决方法,即可执行对象结构模型(EOSM)。该方法将对象结构模型表示为可执行的OOPN子网,实现了对象的多个行为间的结构化动态耦合。研究表明,EOSM模型可以实现对象的结构模型与行为模型的统一表示。     

基于亲属元的亲属运算模型研究

为了解决民法意义上的亲属的结构化表示问题,提出一种可以表示任何亲属的亲属元序列表示法,通过抽象出10种基本的亲属元,可将任意的亲属表示为这些亲属元的有序序列,从而解决了亲属的编码问题及亲属属性判断问题.更重要的是,基于亲属元,构造出了一套非常简洁的亲属求逆和复合运算算法.     

基于Petri网和逻辑电路的网络安全验证

利用Petri网的库所和变迁来描述网络的状态和行为,用逻辑代数的0和1形象表示库所的状态,将复杂的PN模型转换成简单的逻辑表达式,提出了Petri网与逻辑电路相结合的新型网络数据流验证方式。这种方法具有的形式化步骤与数学模型相支持,是一种新型快捷的网络安全验证方法。     

基于Petri网的工作流模型

Petri网是一种很有效的模型描述语言，不仅能描述系统的结构特性，同时还能描述其动态特性，尤其适用于描述含有并行成分的系统，而工作流技术作为实现企业过程集成的有效手段，广泛用于各种场合。在简要介绍了Petri网和工作流基本知识的基础上，指出了基于Petri网的工作流模型的优点，讨论了将工作流模型转化为Petri网模型的基本原则，并且提出了一种扩展的Petri网模型作为一种工作流建模的工具，最后对基于Petri网的工作流模型进行了总结。     

一种基于相容关系的群体共识达成方法

针对一类评价信息不完全的多属性群决策问题中的群体判断的共识性进行研究,提出一种基于相容关系的群体共识达成方法。该方法不需进行群体共识度的计算,避免了评价信息不完全时直接计算群体共识度的困难;对于专家没有给出的评价信息,不需要进行评估和填充,避免了评估和填充缺失值时所需进行的复杂计算。最后通过一个实例对所提出方法的有效性和实用性进行了说明。     

基于Petri网的工作流和J2EE框架构建入侵响应模型

通过分析当前入侵响应系统存在的问题,提出了一种基于Petri网的工作流和J2EE框架构建的入侵响应模型,该模型先对所有报警事件进行过滤然后予以响应,并在响应当前报警事件的同时根据报警信息之间的关系,对进一步可能发生的攻击作出在线的预警并产生相应的响应措施。通过实验分析,该模型能够在入侵发生后主动采取措施阻击入侵的延续和降低系统的损失,保护受害系统。     

一种基于进程验证的Petri网可达性判定方法

为了解决Petri网的可达性判定问题,提出了一种基于进程验证的可达性判定方法.通过分析Petri网基本进程段子段间偏序关系,该方法提出原子进程段概念,求得原子进程段集及其偏序关系集作为可达性判定的验证对象.基于原网状态方程解向量、原子进程段T-向量的线性纯整数规划问题解,选取该解中非零分量对应的原子进程段子集作为待验进程段集,选取待验进程段间的偏序关系子集作为待验推理规则集,通过验证是否存在这两个集合上的以初始标识M0为推导初态、目的标识Md为推导终态的序列而判定(M0,Md)是否可达.分析表明该可达性判定算法的时间复杂度是依赖于原子进程段集规模的,最坏情况下不超过变迁集规模.     

基于Petri网的JSP动态分类调度

以带有控制器的 Petri 网为建模工具对柔性生产调度中的离散事件建模,通过构建Petri 网控制器使系统的运行满足期望的目标,同时利用混合遗传算法获得调度结果,用于解决作业车间的加工受到机床、操作工人等资源制约条件下的动态优化调度。为了保证生产的平稳性,最大限度地维持车间的生产能力,提出了针对不同的扰动进行分类处理的新方法,首先基于机床故障修复时间、工人离岗时间及取消订单包含任务的多少进行分类调度,然后根据机床故障修复后以及工人回岗后剩余任务的多少决定是否进行再一次的调度,最后对算法进行了仿真研究。     

基于面向对象Petri网的动态合同网协议通用模型

传统的合同网协议模型通过管理Agent和承包商Agent之间招投标进行交互和协商以共同完成目标任务。但传统合同网协议模型也存在一些如协作过程中通信量大、通用性不强等问题。为此，采用面向对象Petri网，引入对象Agent，对动态合同网协议进行建模,并采用Petri网的数学分析方法对模型进行了分析，表明模型具有通用性、并发性、活性的特点且通信量减少。     

基于工作流模型的企业铁路调度指挥与监控系统研究

根据企业专用铁路特点，设计了调度指挥与监控一体化方案。为了协调多个子系统的活动，采用工作流技术构建系统软件平台，实现业务过程的自动化。基于Petri网定义的基本工作流网络为系统业务流程建模，针对建模中存在的问题，提出增加颜色扩展描述信息，增加复合颜色变量扩展，提高工作流网络抽象能力及描述能力，使扩展工作流网络成为复杂系统建模的有力工具。