搜索到693篇“ 时间约束PETRI网“的相关文章
- 一种基于带标签时间约束Petri网扩展可达图的数据流通合规性检测
- 2023年
- 随着社会制度的不断完善和法律法规的不断健全,企业的经营管理流程面临越来越多的合规性检测要求。利用带标签的时间约束Petri网(LTCPN)模型描述数据流通过程中所遵循的法律法规及行业规则。为了支持更多维度的规则表达,首先需要基于LTCPN可达图构造扩展可达图GNR,然后根据含时间戳的事件日志自动生成实际数据流通模型GNP。通过检测GNP|=GNR是否成立来判断基于含时间戳的事件日志的数据流通过程是否符合LTCPN描述的规则规范。针对语义信息不明的流程模型合规性检测问题,利用图的点与边连接结构是否相同来检测事件语义无关的功能性属性是否合规。对于语义信息明确的流程模型,可以通过节点或边的语义信息有效减少检测过程中探索的状态空间数量,同时可以进一步丰富合规性检测的非功能性属性检测。通过实验验证了该方法在进行合规性检测方面的可行性。
- 刘振宇董慧李华王璐
- 关键词：PETRI网时间标签可达图图同构
- 基于改进时间约束Petri网的综合能源系统运行优化及可靠性评估被引量：9
- 2020年
- 综合能源系统包含的设备和负荷类型众多,设备之间的耦合方式多样,在实际综合园区建设过程中,对不同供能方式的经济性和可靠性评估显得尤为重要。首先,通过构建冷热供能系统的时序模型、耦合设备和储能装置的通用模型,并结合时间约束Petri网基本建模原理,建立了系统的运行优化模型;然后,对系统中元件两状态模型进行分析,建立系统的状态空间模型;并通过系统状态进行随机抽样并计算相应的供能可靠性指标。最后,通过对含有储热、储电、储气等多能存储的实际综合园区进行算例分析,评估不同运行方式下多能源系统的可靠性和经济性,从而为实际园区建设提供理论分析依据。
- 胡列翔王蕾董明枫李宏仲孙可胡哲晟
- 关键词：时间PETRI网可靠性蒙特卡洛模拟法
- 基于面向对象时间约束Petri网的加工-装配车间资源可调度性研究
- 2014年
- 为了解决加工装配车间的资源冲突问题,提出了基于面向对象时间约束Petri网的加工装配车间资源可调度性判定方法。该方法给出了面向对象时间约束Petri网的语义描述和可调度性定义,建立了基于面向对象时间约束Petri网的加工装配车间的建模方法,提出了基于加工装配车间各资源生产的最早触发开始时间和最晚触发结束时间的车间可调度性判定依据与判定步骤,并给出了资源不可调度时的改进方法。给出了应用实例,验证了所提出的判定方法的有效性。
- 鲁建厦景峰董巧英
- 关键词：可调度性PETRI网
- 基于时间约束Petri网的电网警报处理及故障诊断被引量：15
- 2012年
- 充分利用警报信息的时序属性和保护断路器动作的逻辑规则,提出了一种基于时间约束Petri网的电网警报处理及故障诊断方法。介绍了电力系统警报信息间的时序关系,以及常见警报差错信息的分类。提出了时间约束Petri网方法,引入时间约束通路的概念,直观地表达了警报信息之间的时序属性。提出了警报差错信息的识别算法,有效地识别警报信息中的误报、丢失以及时序不一致等情况。对不考虑时间约束与考虑时间约束两种情况下的故障诊断结果进行比较分析。结果表明所提出的警报处理方法,更加精确地描述了故障警报信息间的逻辑关系,使故障诊断结果更加准确。
- 杨健维何正友
- 关键词：警报PETRI网电力系统故障诊断
- 利用时间约束Petri网进行项目绩效分析被引量：3
- 2010年
- 时间Petri网(Time PetriNet)以及时延Petri网(Timed PetriNet)通过将时间约束引入到变迁中,广泛运用于任务调度以及性能分析,但是对于项目绩效分析所要求的关键路径、最短工期、成本分析等问题却无法有效解决.提出一种新的时间约束Petri网:将时间约束引入到库所中,在全局时钟的基础上,同时赋予Petri网的库所以延迟时间域和持续时间域两种时间约束,并且为T→P流关系的权函数赋予有色资源属性.给出时间约束Petri网的形式化定义,定义了变迁的发生规则,并引入状态类来计算状态的成本空间,给出状态类的计算方法.最后结合一个实例说明了利用时间约束Petri网进行项目的绩效分析的可行性,并用双色甘特图对时间约束Petri网的可达标识进行表述.
- 于瑞强黄志球
- 关键词：PETRI网项目绩效
- 基于时间约束Petri网的一致性验证算法被引量：4
- 2010年
- 时间约束的一致性验证是保证工作流时间模型正确工作的前提,因而一致性验证的算法的精确度和复杂度关乎整个工作流时间模型的运行效率。文中简要介绍了时间约束一致性定义及约束关系的推理规则,提出了一种简洁有效的时间约束一致性验证算法并分析了算法的时间复杂度。该算法借助于T-组件网和时间约束流图,能有效验证时间约束Petri网中存在的各种时间冲突,以保证工作流时间约束模型的建立及运行等各个阶段的正确性,对业务流程的建立、维护和优化都具有重要的参考意义。
- 刘林钢姜浩
- 关键词：工作流
- 采用时间约束Petri网分析优化广电过程模型
- 2007年
- 企业过程模型评价效果很难通过简单途径取得定量的对比分析结果,本文提出时间约束Petri网理论,在企业过程模型的主要指标采用Little转化为以时间为主的评价体系的基础上,研究采用时间约束Petri网建模对企业过程模型分析的方法和分析优化步骤,并针对广电网络过程模型的具体流程给出的实际案例加以形式化分析,得出优化的方案。
- 王斌田野章云
- 关键词：时间约束PETRI网
- 时间约束Petri网及其可调度性分析与验证被引量：28
- 2007年
- 时间约束Petri网(timingconstraintPetrinets,简称TCPN)是一类重要的时间Petri网系统.对相关定义重新界定,丰富并完善了TCPN理论.针对变迁可调度原始定义的不足,首先给出了变迁的弱/强可调度的新定义及强可调度判定定理;然后对变迁的强可调度进行了拓展,提出了TCPN时间可调度的概念,并结合Petri网结构给出了TCPN时间可调度判定定理;最后对TCPN的相关特性进行了研究.TCPN对时间Petri网的研究工作将起到启发作用,并对实时系统的描述和建模工作具有一定的参考价值.
- 宋巍窦万春刘茜萍
- 关键词：TCPN可调度性分析
- 基于时间约束Petri网的工作流动态一致性检验被引量：3
- 2006年
- 工作流系统中的时间管理是工作流建模和分析的重要组成部分。支持动态修改是人们在实际应用中对工作流系统提出的新要求。文中在基于时间约束的Petri网模型基础上,根据时间约束推理规则,提出一种动态修改时间约束时检验工作流一致性的方法,从而丰富了工作流的时间管理功能。
- 孙智坚姜浩
- 关键词：工作流时间约束PETRI网
- 基于时间约束Petri网的工作流可调度性分析被引量：5
- 2006年
- 引入时间参数控制工作流高效执行是工作流技术研究的重要内容之一。在工作流的Petri网模型中引入时间参数,不仅可以对工作流中的活动进行时间约束,而且能建立相应的工作流时间约束Petri网模型。文中在分析该模型的时间约束和可调度性的基础上,提出了对工作流可调度性分析验证方法及其相应的算法,最后通过一个实例说明了分析验证的过程。
- 冯林姜浩
- 关键词：工作流时间约束PETRI网模型分析可调度性
