基于Petri网的生产系统建模与分析研究

针对生产管理模式的选择及Petri网建模规模较小等问题,根据生产物流控制的原理,在对基本制造单元进行模块化建模的基础上,应用模块化、层次化的技术构建了推式、拉式等生产管理模式的Petri网模型,然后应用参数化的技术对模型进行了改进,应用IDEF1X方法(icam definition methods,IDEF系列分析方法中的数据建模方法)对着色Petri网的颜色集进行了设计,弥补了Petri网建模的不足,并通过对这些方法的集成应用,建立了具有较强通用性的大规模复杂生产系统的Petri模型.最后,通过直接对所建Petri网模型的仿真和对仿真过程中所采集数据的统计计算,对生产系统的性能进行了分析,验证了上述建模方法的正确性和通用性.该方法为制造企业进行生产模式选择提供了有效的工具.     

大型真空系统智能故障诊断

根据大型真空钎焊炉真空系统的故障种类及特点,分析了现有的真空系统故障诊断存在的主要问题。针对大型真空系统故障诊断的不确定性和模糊性等特点,建立了基于故障树分析方法的模糊Petri网模型和推理算法,并以扩散泵不工作故障诊断为例,验证了该模型及算法的正确性和有效性。     

基于时间Petri网的Artifact有效性的验证

在面向Artifact的业务流程管理系统中,业务核心数据实体Artifact具有动态时变性。Artifact状态是否正常关系到流程的运转成功与否,因此,验证Artifact的有效性是一个关键问题。针对该问题本文基于时间Petri网理论对Artifact的相关流程进行分析并获得其业务要求树,然后根据流程记录数据库中Artifact的快照构建出相应快照树,最后通过比较业务要求树和快照树而得以验证Artifact是否有效。     

基于Petri网和定制技术的油田档案管理系统设计

针对油田数字化档案馆中的系统模块化程度低及灵活性差等问题, 提出基于 Petri 网和组件技术的功能定制开发方法。 采用面向对象着色 Petri 网实现档案管理的层次化建模, 并添加复位弧优化档案调用流程。利用关联矩阵和可达图及相关理论, 对模型进行合理性分析。 通过模型提取组件, 建立组件信息库。 利用信息库结合用户定制的业务逻辑, 实现系统对组件的有序调用, 完成业务定制功能。 应用结果表明, 该系统定制灵活、 适应性强、 档案调用速度快, 满足实际需要。     

基于离散-连续联合建模的供应链混合Petri网仿真研究

供应链是由作为自治实体的供应商、制造商、分销商、零售商的连续性供应、生产、销售活动和物流服务企业的离散性运输活动相互作用而组成的混合系统。传统把供应链作为离散事件系统进行建模与仿真,这种方法不能很好地反映系统的动态复杂性。现采用离散变量与连续变量相结合的建模方法,运用混合Petri网对供应链进行了仿真,证明了其优于离散Petri网仿真。     

基于Petri网工作流过程模型合理性验证方法

为保证工作流建模过程的正确性,对基于Petri网的过程建模中存在的潜在错误进行了归纳和总结,分析了合理的工作流过程模型应该满足的条件和要求,并针对自由选择网提出了一种有效的合理性验证算法.实验证明,该算法在实际应用中具有可操作性,有较强的现实意义.     

Monotone Iterative Technique for Duffie-Epstein Type Backward Stochastic Differential Equations

IntroductionRecently ,the interest for the backward stochastic dif-ferential equations (BSDEs) has beensteadily growing ,dueto the mathematical questions they posed,their relation toPDEs ,and applications to control and Finance .Pardoux and Peng1990[2]studied the following BSDEdriven by Brown motion:dy(t) =-f(t ,y(t) ,z(t))dt +z(t)dW(t)y( T) =Y(0)whereW(t)is Brown motion,(FtW)t≥0is the natural fil-tration of( Wt)t≥0. There are many results in the study ofthis type of BSDEs .Based …     

生物医学循环系统的Petri网分析与实时控制

用Petri网方法对一个生物医学循环系统进行分析,详细描述了循环系统的各个状态及转移关系,并给出了Petri网分析离散事件系统的步骤与方法,最后通过微机对系统进行实时控制。     

基于Petri网运算的系统范例分析

文献［１］中首次提出了Ｐ／Ｔ网的加法运算与笛卡尔积运算的概念，并对这两种运算的代数性质进行了研究。本文基于文献［１］的结果，对柔性制造系统、资源共享系统、控制系统中若干范例进行分析，从而显示了Ｐｅｔｒｉ网运算的背景及其意义。     

描述离散动态系统的集合标识Petri网:STPNs

基于经典Petri网,进行了标识和语义扩展,定义了集合标识Petri网(Set-TokenSPetriNets,STPNs).在定义STPNs时,构造了携带属性集合的抽象的信息标识,称为集合标识;将大规模个体按照属性层次分组,每组作为一个元素定义在属性集合中,解决了Petri网规模随着标识规模的增大而膨胀的矛盾.在语义上,进行了控制结点、路由结点、通讯弧和结点时间延迟以及针对集合标识的集合运算和结点函数等扩展.STPNs增强了Petri网描述离散事件动态系统(DEDS)的随机特性和控制特性的能力,能够作为用仿真技术研究大规模DEDS的有效建模工具.