一种用于嵌入式系统建模的扩展PRES网

在嵌入式系统设计前期需要对系统建立适当的形式化模型并进行仿真分析。该文在分析现有Petri网模型的基础上,提出了一种EPRES(extended Petri net based onrepresentation for embedded system)模型,并具体给出了相应的结构定义、图形表示和行为规则。EPRES将库所分为控制库所和数据库所两类,引入变迁函数和变迁时延,可以对嵌入式系统的功能实现、资源消耗和时间约束进行描述和仿真分析。给出的使用EPRES对嵌入式系统建模的实例表明,该方法能够较好地解决嵌入式系统的建模问题。     

基于带抑制弧的时延着色Petri网的嵌入式系统建模与验证

结合着色Petri网和时延Petri网,提出了一种适合于复杂嵌入式系统建模方法。该方法在库所中表示数据、控制信息和时间戳,在变迁中引入时延、控制函数与变迁函数,利用抑制弧简化模型。该方法可以对复杂的嵌入式系统进行建模,还可以利用现有的Petri网技术分析系统性质。通过实际案例展示了该方法的应用和可行性。     

带协同约束弧的微分Petri网及其仿真

为使Petri网中单个库所对变迁的简单逻辑约束关系扩展到多个库所对变迁复杂的协同约束关系,提出了协同约束弧的概念,并将它与微分Petri网相结合,用以对具有状态反馈控制的混杂系统建模.结合一个二阶线性系统的实例,给出了它的带协同约束弧的微分Petri网模型,并用Stateflow和Simulink结合起来对这种带有协同约束弧的微分Petri网描述与仿真.仿真结果表明:在协同约束弧控制下,适时改变控制策略,将系统切换到不同的相空间,从而使不稳定系统最终在目标区域内稳定运行.     

基于着色Petri网的电子商务工作流建模

用基本Petri网对电子商务工作流建模,往往会因为细节过多而使其图形复杂.提出了一种基于着色Petri网的模型,给出了针对电子商务中网上购物系统的建模过程并进行了结构合理性的论证.应用结果表明,通过着色Petri网建模可以使得库所和变迁的数量都大为减少,使图形更加简约.     

基于着色Petri网的电子商务工作流建模

用基本Petri网对电子商务工作流建模，往往会因为细节过多而使其图形复杂。提出了一种基于着色Petri网的模型，给出了针对电子商务中网上购物系统的建模过程并进行了结构合理性的论证。应用结果表明，通过着色Petri网建模可以使得库所和变迁的数量都大为减少，使图形更加简约。     

设备维修流程的petri网模型研究

从简单Petri网开始,用子网代替初始简单网的库所或变迁。系统的设备、资源及其动态协作关系用Petri资源、库所、变迁描述。在论述了petri网技术优点的基础上,提出采用层次化的Petri网技术来建立设备系统维修流程仿真模型,并举例详述了该模型的建立。     

基于Petri网的仓库火灾预警系统建模优化分析

对业务流程进行建模分析是业务流程管理的重要内容之一。文章通过形式化建模,用Petri网对传统的仓库火灾预警系统模型进行了优化分析。首先,给出传统仓库火灾预警系统的Petri网模型,通过模型模拟实际场景,找出模型中的缺陷;然后,通过增加相关的变迁和库所对模型进行优化,达到尽可能减小企业损失的目的;最后使用PIPE软件实验仿真验证优化后模型的可行性,实验结果表明,该优化后的模型可有效对仓库火灾进行预警。     

基于映射方法的柔性制造系统建模及仿真程序设计

介绍了基于映射思想的柔性制造系统(FMS)的着色Petri网建模及仿真程序的设计方法.根据FMS硬件系统的组成,将FMS硬件单元分为五大设备类;各类信息及信息传递分别映射为相应的Petri网的库所、变迁状态;包含不同信息类型的库所、变迁映射为仿真程序的数据成员及成员函数.采用这种映射机制对FMS系统的建模容易理解、易于实现,且能使仿真程序的编制更加方便.该方法使得对复杂的柔性制造系统的分析和设计变得更加清晰、直观.     

间歇式化工形式化建模与顺序控制器设计

摘要：
针对间歇式化工生产过程,根据执行机构网元件提出了其受控Petri网模型的设计方法,将工艺流程描述为变迁串的顺序控制目标,继而根据基本变迁串将工艺流程描述为Petri网的线性约束.最后,利用库所不变量方法设计监控库所,给出顺序Petri网监控器,实现了复杂化工过程的闭环控制系统的形式化建模、分析和优化.
关键词：
离散事件系统; Petri网; 间歇式化工; 顺序控制; 监控
中图分类号： TB 61; TK 31
文献标志码： A     

基于Petri网的间歇式化工生产过程建模与调度监控器设计

针对间歇式化工生产过程,提出了一种基于Petri网的调度监控器设计算法.首先给出了间歇式化工生产系统的建模方法,并得到了其Petri网模型;其次将生产工艺描述为字符串控制目标;随后,给出在对象Petri网上设计工艺控制库所的方法,使得闭环系统满足给定的字符串控制目标;最后,利用某化工厂一种树脂生产过程的建模和调度监控问题验证了本文的方法.     

基于Petri网密码系统的实现

研究了用Petri网对密码系统建模和分析 ,用在系统可编程逻辑器件实现Petri网的方法 ,这种密码系统的设计方法简单、直观 由于Petri能够对复杂系统进行建模和分析 ,因此 ,采用这一方法能够十分容易地构造出复杂的密码系统 ,并确保系统的安全、可靠 文中给出了几种密码系统的Petri网模型 ,并给出了硬件实现的实例     

基于Petri网密码系统的实现

研究了用Petri网对密码系统建模和分析,用在系统可编程逻辑器件实现Petri网的方法,这种密码系统的设计方法简单、直观,由于Petri能够对复杂系统进行建模和分析,因此,采用这一方法能够十分容易地构造出复杂的密码系统,并确保系统的安全、可靠,文中给出了几种密码系统的Petri网模型,并给出了硬件实现的实例。     

基于扩展库所网的工作流过程规约和模式描述

通过扩展库所的属性, 给出了一种新的Petri网模型,用来规约工作流过程和表示工作流模式,并提出了一种称为参数化模式的新模式。通过区别变迁和工作流路由,使得模型中的库所和变迁能够分别表示引擎的动作和需执行的任务。基于传统的Petri网的工作流模型不适合描述工作流过程所代表的行为,因此提出了ST触发规则表达网模型的语义。     

Petri网图形建模仿真系统的研究与开发

将面向对象思想引入Petri网建模、仿真系统的研究和开发,设计了基于图形界面的普通Petri网建模仿真工具软件,构造了相关的普通Petri网核心类,给出了普通Petri网点火机制的计算机实现方法,通过可视化开发工具Delphi实现了该建模仿真工具,通过该工具,可以以人机交互的方式建立、编辑、分析、仿真普通Petri网模型     

基于状态方程的Petri网可达性的扩展

给出了两类典型的满足状态方程却不可达的Petri网.在理论分析的基础上,提出了"借、还资源法"和"借、还变迁法",较好地解决了满足状态方程但不可达的问题.使Petri网可达性得到一定的扩展,从而增强了Petri网对现实系统建模与仿真能力.     

FPGA组合逻辑程序的Petri网建模方法

针对现场可编程门阵列(FPGA)组合逻辑程序,提出其普通Petri网建模方法.首先,将状态变量描述为库所对,程序中的逻辑运算描述为变迁,从而将系统程序转换为一个普通Petri网结构;然后,根据Petri网的动态分析性能,给出系统状态可达图的计算方法,实现了状态可达图等价描述FPGA组合逻辑系统运行过程.研究结果表明:该Petri网能够准确地描述变量间的逻辑关系,提出的方法可以为FPGA组合逻辑程序的形式化设计和验证提供建模依据.     

基于Petri网的ECA规则建模

在Petri网理论基础上,对ECA规则进行了建模研究,建立了基本Petri网模型. 对如何用Petri网表示具有复合事件ECA规则进行了专门分析. 提出了扩展的Petri网系统,并综合考虑ECA规则自身特性,建立了ECA规则系统Petri网模型,比较全面地反映了ECA规则系统特性. 通过构建可达树和变迁序列,可以较为清楚地了解ECA规则系统及其行为特性,便于对规则系统进行合理性验证,以帮助系统管理员对其进行分析和管理.     

基于面向对象Petri网的BPM系统建模

为满足业务流程管理(BPM)系统在面对外界变化时对流程可变性的需求,提出了基于规则库的支持流程运行可变的BPM系统架构.利用面向对象Petri网(OOPN)建立了该BPM架构的OOPN模型,其中库所中的托肯表示各个规则库和流程.通过CPN Tools对该模型进行了仿真.使用创建过程得到具体系统模型,利用状态空间分析法给出了此模型的活性、各个库所有界性的分析报告,采用监控工具得出了主要库所的托肯流动分析报告.最后利用Gnuplot对此报告数据分析显示系统满足稳定性要求.仿真分析结果表明,此模型简单直观地表现出系统的运行过程,真实地反映了各个规则库在系统运行过程中的存取比例,为企业构建BPM系统提供了参考.     

Petri网在复杂系统建模中的意义

图灵机模型是计算机的理论模型,它能实现模型相互之间的模拟,但应用于通信系统等异步、并行的复杂系统却很难模拟,从而引入了一种建模工具--Petri网.通过介绍自动机和图灵机的原理.分析Petri网.给出一个具体的基于Petri网建模方式的实例,并对实例模型和现有的建模工具进行比较,从而证明Petri网在复杂系统建模中是处于优势的.     

测控网络服务元体系结构的虚电路CPN建模

服务元是近期开始研究的一种非层次网络体系结构,采用虚电路VC(Virtual Circuit)结构.如用于专用的测控网络系统,能提高其实时性能.针对测控网络的服务元体系结构用着色Petri网CPN(Colored Petri Net)建模,采用的不是通常自顶而下分级的方法,而是提出了统一建模的思想,用少量复杂的库所、变迁表示模型,给出了网络界熟悉的收发操作算法,提出了两次握手协议和六次握手协议.测控网络采用VC结构,能提高测控网络的实时服务质量QoS(Quality of Server),用CPN工具建模仿真可分析测控网络的性能.