对于Petri网而言,冲撞代表着不安全,它是由于空间资源的缺少而引出的一种基本现象。人们寻找到避免冲撞的发生办法是为网系统添加补库所即做S-补。就Petri网系统做S-补的相关定理进行了补充性的证明及举例分析。
1985年《系统仿真》创刊。内部发行、半年刊。创始人:文传源、王行仁、王正中、王扬、李伯虎、彭晓源、熊光楞等。主办单位:海洋模拟器联合公司。学报主编:文传源教授;编辑部负责人:王扬高工。
为了对一种特定的时间Petri网模型的性质进行分析和验证,给出了一种将时间Petri网转化为时间自动机的方法。将时间Petri网转化为时间自动机后,就可用常见的基于时间自动机的模型检测工具去验证系统是否满足某些必要的性质。
Pi演算和Petri网是常用的两种形式化建模技术,关于他们之间的相互表达问题已经引起了人们的关注。主要目的是研究如何用Pi演算表示一种扩展的Petri网——带抑制弧的Petri网。为了能够表示Petri网的静态及动态结构,首先介绍了具有同步同信原语的Pi+演算,但是这种扩展无法表示抑制位置无穷的Petri网,因此又提出了优先原语,并通过例子说明了优先原...
对Petri网的有界性和公平性进行了再次讨论,指出Petri网的结构有界库所子集的外延子网是结构有界网,当Petri网的结构有界库所子集的外延子网的变迁集合包含原网的全部变迁时,该子网与原网的公平性是等价的,否则即使该子网为公平网,原网也不是公平网,此结论将一般Petri网的公平性判定问题转化为结构有界网的公平性判定问题。
已知一个语言表达式或语言的集合,如何直接构造产生该语言的Petri网模型是Petri网语言理论中的一个重要问题。语言表达式到Petri网(无ε-空标注)的转换算法更有难度。研究了恰当终结的标准Petri网语言(无ε-空标注)关于连接算、选择(并)运算、闭包运算、并行运算的性质,在此基础上给出正规表达式到无ε-空标注的恰当终结的标准Petri网的转换算法。...
在模糊Petri网(FPN)的建立过程中如何确定模糊产生式规则的各项参数是尚未解决的热点问题。在研究蚁群算法和反向传播算法的基础上首次将二者结合,形成ACA-BP算法,并将其运用于FPN的参数寻优过程中。该算法的实现不依赖于经验数据,对初始输入无要求。仿真实例表明,经ACA-BP算法寻优结果令人满意,且得到的FPN模型具有较强的泛化能力和自适应功能...
提出了一种基于Petri网进程的协议最小测试例集合生成方法,该方法可以得到覆盖协议行位的最小测试例集合,即用尽可能少的测试例覆盖尽可能多的协议行为,每个具体测试例都可以用Petri网进程给出图形化的直观表示。本方法还可以利用Petri网基本进程段的链接、并、闭包运算,将简单的测试例进行组合,从而得到测试协议复杂行为的测试例。结合一个实例...
首先给出一个求取同时是极小死锁和陷阱的库所子集的多项式算法(简记为FDMST算法);之后提出了能在多项式时间内判断给定库所子集是否为S-不变量极小支集的RCMSD算法,当给定库所子集被判定为极小支集时,该算法能求得立于该支集上的一个S-不变量;最后将FDMST算法与RCMSD算法结合,提出了能在多项式时间复杂度内求取部分极小支集上S-不变量的STRC算...
Petri网的合成和分解是复杂系统建模和分析的重要辅助手段。作为同步合成的逆运算,给出了Petri网的流分解的定义;讨论了原网与流分解子网的关联矩阵之间的关系。通过这种关系,得出了关于原网与流分解子网的S-不变量和T-不变量的两个计算公式。根据同步合成对Petri网的各种动态性质和结构性质有良好的保持性以及流分解是同步合成的逆运算,可以推...
Petri网的资源配置格局动态变化是本领域的一个研究点。Petri网运行引起资源配置格局转换,进程表达式虽然能够描述Petri网的运行轨迹,却难以反映资源配置格局动态变化细节。分析Petri网进程的资源变化,提出Petri网进程段的资源损益概念,给出Petri网的资源损益极大单调进程段定义。其后,在证明资源损益单调进程段的有限性、最值性等基础上,设计资...
研究了袋自动机和Petri网两种计算模型之间的关系,证明了两者在串行语义下,其动态行为(语言)是等价的,并分别给出了将袋自动机等价转化为Petri网的算法和将Petri网等价转化为袋自动机的算法。
第29届Petri网应用与理论及其他并发模型国际会议(简称PETRI NETS 2008)于2008年6月在西安召开。对会议论文集收录的全部23篇论文进行了研究和综述,从模型检测理论与应用、Petri网的步语义问题、Petri网合成、Petri网展开、Petri网建模与验证、Petri网工具等方面归纳介绍了当前国际Petri网理论与应用研究的最新进展与发展趋势。
从软件可信本源出发,提出了一种新型的软件开发体系。基于这种新型的软件开发体系,研究Petri网模型到可执行代码的自动转换问题。创造性地提出程序Petri网的概念,给出程序Petri网的定义,制定程序Petri网的构造规则。进一步地,给出几种基本Petri网结构的程序Petri网时间序列图和等效的程序运行过程。
时间和资源是工作流管理系统中的两个重要的方面,首先从不同模型的角度系统分析了基于Petri网的工作流时间管理问题,对工作流的时间性能分析、时间动态的预测、时序一致性验证、变迁的可调度性方面做总结。在此基础上,对受时间和资源双重约束工作流的Petri网在资源调度及资源冲突管理方面进行了论述,最后讨论了基于Petri网的工作流时间和资源管...
在Petri网模拟工具Renew的基础上,设计和实现了相应的元对象协议,从四个方面大大增加了Renew的建模能力:简化基级网模型;获取基级网运行信息;动态改变基级网结构以及控制基极网的运行。文章最后以银行家算法的建模作为例子,说明如何用元对象协议控制基极网的运行,以避免银行家算法中的核心问题:死锁,从而验证了元对象协议的强大功能。
对基于数据表的模糊Petri网推理算法进行了改进,给出了FPN八元组的定义,建立了模糊推理规则与FPN结点的一一对应关系,给出了依据模糊推理规则构造FPN结点的方法。最后针对网络入侵信息不确定性和大规模规则集的问题,改进基于数据表模糊推理的算法,并应用于网络误用入侵检测中。
动态描述逻辑的动作理论对动作的静态描述和动态执行提供了良好的基础和方法。作为对动态描述逻辑的扩充,可以利用Petri网对多个动态描述逻辑动作间的关系进行很好的描述和分析。具体讨论了动态描述逻辑动作系统对应的Petri网模型自动生成问题,利用领域本体对动态描述逻辑动作的条件进行本体定义,通过本体推理,得到不同动作间的条件定义中的相同...
由于原型Petri网在一些实际应用中不能满足设计的需要,人们在其概念上进行扩充形成了增广的Petri网。带抑制弧和带测试弧的Petri网正是其中的一种。分析总结了带测试弧Petri网的基本行为特征。针对零检测装置以及FIFO栈实例,应用测试弧、抑制弧对系统进行了合理的建模与分析。
随着信息化社会的发展以及图书馆规模和功能的日益强大,传统的图书管理系统已经不能满足用户的需求,所以需要对其进行改进,构建新模块,增加新功能,搭建新的图书馆自动化管理系统平台。因此,对图书馆流程的建模与分析成为图书管理系统的研究重点之一。描述了图书馆借阅系统的具体流程,建立了相应的逻辑Petri网模型,并研究了系统的某些重要性质。
基于构件的软件工程目标是对已有软件构件的重用。实际上,大部分构件不能直接集成到应用中,因为构成系统的多个构件之间的行为往往是不兼容的。在将可重用构件部署到新系统之前,有必要先检查构件接口行为的兼容性并进行适配,使不同构件之间能够正常交互。提出一种基于Petri网的构件行为的适配算法,该方法用接口Petri网描述构件的接口行为,以用例...
为了增强传统Petri网的建模能力,将随机时间与库所关联,提出了SPPN(Stochastic Places Petri Net-随机库所Petri网),并基于SPPN分析了任务间的关系。对网上企业销售系统,采取从单个组织到组织合成的方法,应用SPPN和逻辑Petri网进行建模,并给出了逻辑工作流网模型的可达图的构造算法,分析了模型的正确性。
提出了一种基于Petri网分析Web服务组合可靠性的方法。探讨了可靠性数据的采集方法,通过将BPEL描述的Web服务组合流程转换为WS_RPN,根据WS_RPN的执行路径分析Web服务组合流程的可靠性。最后通过一个实例说明了该方法的可行性。
统一威胁管理设备UTM是近年来网络安全领域涌现出的一个新的综合性平台,它融合了防火墙、入侵检测、病毒扫描等安全功能。其中防火墙模块一般实现在多核网络处理器平台上,负责高速网络收发包、策略分配等功能,是UTM中最重要的环节之一。针对UTM中防火墙的网包处理的两种流程分别建立Petri网模型,即基于会话表的处理流程和简单处理流程,并通过模...
在分析应急空间系统体系结构概念与运作过程的基础上,建立了应急空间系统体系结构的赋时CPN模型,并描述了模型的组成要素;运用CPNTools的状态空间分析工具分析了应急空间系统体系结构模型的逻辑性,验证了模型的合理性;运用CPNTools对模型进行了多次仿真,依据多次仿真数据并结合gnuplot软件分析了应急空间系统体系结构的性能。
针对MDA开发模式所面临的模型一致性问题,引入Petri网及其等价理论,提出UML动态模型的行为一致性和结构一致性分析技术。这样当UML视图被形式化地描述为Petri网模型,就可以通过分析Petri网模型的语言等价性、分支等价性来判断出UML视图的一致性,进而检验在UML模型的正确性。研究思路对进一步分析其他类型的模型一致性具有借鉴作用。
主要对一种典型作战——"导弹攻击卫星"的指挥活动建立其可视化的军事概念模型。建模过程中主要运用了工作流建模的思想、UML建模语言和Petri网建模方法,建模过程又分为模型构建和模型检验两部分内容,通过模型构建来描述"导弹攻击卫星"指挥活动内容以及活动流程等;通过模型检验来验证模型的正确性,以及对指挥活动分析的正确性。
用Petri网对系统进行建模分析可以揭示被模拟系统在结构和动态行为方面的许多重要信息。首先定义了工作流到Petri网的映射方法;然后结合实际应用设计了一个基于Petri网的天气预报用户管理系统模型,分析验证了该模型的可行性和合理性;最后在此模型的基础上,考虑时间因素给出了一种改进的时间Petri网模型,并定量分析了天气预报用户管理系统中每个...
用P/T网构建了网上商城订单前台处理和后台处理的基本流程模型,此模型保证了订单在后台处理时订单不丢失、订单处理员与发送订单两大主体之间同时核对订单。最后,利用S?不变量给出订单后台处理模型的验证。
在基于Petri网的离散事件系统监控理论中,显式控制器的设计具有非常重要的意义。当Petri网为无环网时,控制器设计可以通过线性整数规划法求解,当Petri网含环结构,目前而言,只有当Petri网的最大不可控子网中前向子网为STWT时可以求出其显式控制器,然而上述方法只是局限于库所层面的简化,而从另一个方向,即变迁层面的简化来扩展受控Petri网的显式...
购物车(0)