面向对象双变迁Petri网及应用研究

针对Petri网数据流描述能力的不足,引入了数据变迁的概念,给出了双变迁Petri网的定义和图形表示,详细分析了双变迁Petri网的行为规则;定义了面向对象双变迁Petri网,使复杂系统的网模型易于分析理解;实例建模表明,该方法对控制流和数据流共存的复杂系统建模十分有效。

一种面向对象Petri网的构造及其CAN总线系统的应用

提出一种面向对象Petri网——变迁型面向对象Petri网,是库所型面向对象Petri网的对偶网,并在子网内部设置特殊的库所——条件判断库所来限制消息输入变迁,适用于CAN总线系统的建模。该网通过定义对象子网之间的消息输入和输出变迁来实现相互通信,并对对象的接口进行扩展,采用消息决策控制。最后对CAN总线系统进行建模、分析和验证,并总结这类网模型自身的优点。

改进的面向对象Petri网及其应用研究

在面向对象Petri网建模的基础上,在对象内部引入了一个特殊的变迁——控制变迁,在各对象之间引入了控制器,提出了一种基于控制结构的面向对象Petri网(CS-OOPN)模型,并阐述了CS-OOPN建模的步骤。该模型克服了传统的面向对象Petri网建模缺乏流程柔性和系统灵活性的缺点,能更加直观、灵活地描述工作流程。最后通过利用该模型为某集团公司设备采购管理系统建模,以审批部门的CS-OOPN模型为例,求其关联矩阵、可覆盖性树和P不变量,并进行相关性分析,结果表明了CS-OOPN的有效性和强大的建模能力。

一种着色赋时的面向对象Petri网及在自动制造系统中的应用

着色赋时的面向对象Petri网(Colored Ti med Object-Oriented Petri Net,CTOPN)是在面向对象Petri网的基础上,添加了着色令牌和输入输出变迁函数的概念而形成的,是Petri网的扩展形式.给出了CTOPN的基本定义和建立CTOPN模型的方法,给出了CTOPN在自动制造系统(Automated Manufacturing Systems,AMS)中的应用实例,最后对模型进行了死锁分析.CTOPN可以准确地描述复杂系统的静态结构及动态特性,能够成为面向对象系统的一种形式化的建模工具.

针对入侵检测分析的Petri网建模技术研究

为有效降低检测的误警率和重复报警率,在前期研究的基础上,提出针对入侵检测分析的面向对象确定性变迁Petri网模型。将面向对象和Petri网技术有机结合起来,并进行形式化描述,就对象实例化和销毁机制进行了定义并对其确定性变迁进行了规则描述,提出可变信令和不变信令使之更适合描述入侵行为的状态。利用该技术建立扫描攻击、Mitnick攻击等几个简单攻击和复合攻击分析模型;讨论利用XML技术表示面向对象Petri网模型的方法。最后实验结果表明该模型对各种复杂攻击有良好的表示能力,相对于已有研究,更便于使用而实用化。

基于Petri网的多Agent系统建模的研究

多Agent系统正成为分布式自治系统研究的一个热点,并被大量应用在商业和工业软件系统的开发中.这些系统的复杂性表明急需一种系统建模技术来构造多Agent系统,从而支持可靠的、可维护的和可扩展的系统设计.文中分析了Petri网技术在多Agent系统建模领域的应用背景,对基于Petri网的多Agent系统建模方法进行了分类、分析、比较和评估,指出了目前使用Petri网技术对多Agent系统进行建模存在的问题,并给出了今后的研究方向.

基于EOPN的晶圆制造系统实时调度仿真平台

针对半导体晶圆制造系统(SWFS)的组织构成、加工过程和生产模式的典型特点,以拓展型面向对象Petri网(EOPN)为工具对该复杂系统建立了模型,在准确描述晶圆制造过程的基础上采用面向对象技术设计并开发了一套SWFS实时调度仿真平台.该平台不仅能够真实再现半导体晶圆的反复重入型加工过程,而且能够集成多种实时调度与派工控制算法,以准确高效的仿真计算进行算法测试和相应系统绩效的评价与预测.SWFS实时调度仿真平台的开发成功对SWFS的建模、调度和控制等相关研究起到积极的支持作用.