基于搜索树的业务流程Petri网模型抽象化简方法

来源 :控制理论与应用 | 被引量 : 0次 | 上传用户:chenshu541775136
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
由于大型复杂的业务流程模型不便于用户形成快速的梗概理解,因此模型的抽象化简方法研究至关重要.已有的模型抽象化简方法大都考虑模型的控制流,很少考虑模型的交互语义,并且对于模型的待抽象区域定位模糊.本文利用Petri网的行为关系理论,结合深度优先搜索的思想,提出了基于搜索树的业务流程模型抽象化简方法.通过定义工作流网的3种块结构和边界库所的概念,得到网系统的变迁关联搜索树,进而利用变迁关联搜索树来识别模型中待抽象的区域,从而实现模型的抽象化简.最后,通过一个具体的实例来验证所提出方法的有效性和可行性.本文的主
其他文献
本文就水闸的施工准备、进度安排、组织管理、技术措施等施工组织设计中的问题,根据个人的实验经验谈几点体会。
多级压缩空气储能系统以压缩空气储能及热存储技术为基础,具备冷、热、电多种能量存储及供给能力.针对多变复杂工况下系统热能合理分配问题,提出了一种多级压缩空气储能系统
控制系统中存在的不确定性为其性能优化带来诸多问题.自适应控制和鲁棒控制是针对系统存在的不确定性而采取的不同设计策略;前者没有充分考虑系统的未建模动态,而后者往往是
新胡洼节制闸启闭机房和桥头堡的造型及装饰设计,紧密结合水利工程和周围环境的特点,突破传统模式和基调,探索出新颖的艺术形象。
为了在变频环境下,提高三相并联型有源电力滤波器的电流跟踪性能和补偿效果,提出了一种基于并联通用内模,具有频率自适应性的复合重复控制策略.提出的并联通用内模能依据指令电流
为了优化控制系统,建立篦冷机温度熟料出口的识别模型,利用篦冷机内熟料换热机理,找出熟料冷却过程的关键影响因素;利用回声状态网络辨识篦冷机运行数据,基于递归最小二乘法
本文提出一种新的时滞划分方法—变时滞划分法,以解决连续延时Takagi-Sugeno模糊系统的稳定性和镇定性问题.不同于已有的文献,用可变参数将时变时滞区间[0;d(t)]划分为若干个
本文研究一类线性脉冲随机系统的有限时间有界性及H∞控制问题.首先,利用Lyapunov函数和平均脉冲区间条件,建立了系统有限时间均方有界定理;其次,基于H∞控制理论,获得了保证
针对多电机卷绕系统故障检测和隔离问题,提出了基于滑模观测器的鲁棒故障检测和隔离策略.首先,考虑到多电机卷绕系统运行环境变化引起的摩擦系数、杨式模量、半径和转动惯量
本文利用平均驻留时间方法解决至少有一个增长无源的子系统的切换非线性系统的输出跟踪问题.对于给定的无源率,设计子系统控制器使得平均驻留时间变小.所得到的平均驻留时间