对传统Petri网在描述工作流模型时,组成模型的元素数量过多、无法体现数据流以及无法管理多个工作流实例等缺陷,将有色Petri网(Colored Petri net,CPN)理论的分析方法引入到工作流网(Workflow-net,WF-net),实现二者有机结合,提出了一种...对传统Petri网在描述工作流模型时,组成模型的元素数量过多、无法体现数据流以及无法管理多个工作流实例等缺陷,将有色Petri网(Colored Petri net,CPN)理论的分析方法引入到工作流网(Workflow-net,WF-net),实现二者有机结合,提出了一种新型扩展工作流网CPWF-net(Workflow-net based on Colored Petri net),给出了严格的定义、使能机制和触发机制,全面分析了CPWF-net的特性,并就其实际应用进行了初步探究。展开更多
因大量采用分布式、综合化、模块化方案,复杂电子系统极易出现共因故障和故障并发等新问题,传统测试性参数确定方法难以解决。针对这一问题,提出一种基于着色广义随机Petri网(colored generalized stochastic Petri nets,CGSPN)的复杂...因大量采用分布式、综合化、模块化方案,复杂电子系统极易出现共因故障和故障并发等新问题,传统测试性参数确定方法难以解决。针对这一问题,提出一种基于着色广义随机Petri网(colored generalized stochastic Petri nets,CGSPN)的复杂电子系统测试性参数确定新方法。首先,综合需求信息、约束边界和维修保障等要求,建立电子系统两层级CGSPN模型,引入着色,实现不同模块各种状态的实时追踪和故障并发处理,通过广义随机处理共因故障的随机不确定性;然后,利用着色和可用度探索一种带有冗余设计的测试性参数处理手段,丰富测试性体系;最后,构建一种不同模块、各种状态融合的并行分析技术,统一系统层和模块层之间的状态转移关系,避免分阶段串行处理和等效替换。以通信导航识别系统为例进行实例分析,所提方法比传统方法具有更好的可用性和有效性。展开更多
文摘对传统Petri网在描述工作流模型时,组成模型的元素数量过多、无法体现数据流以及无法管理多个工作流实例等缺陷,将有色Petri网(Colored Petri net,CPN)理论的分析方法引入到工作流网(Workflow-net,WF-net),实现二者有机结合,提出了一种新型扩展工作流网CPWF-net(Workflow-net based on Colored Petri net),给出了严格的定义、使能机制和触发机制,全面分析了CPWF-net的特性,并就其实际应用进行了初步探究。
文摘因大量采用分布式、综合化、模块化方案,复杂电子系统极易出现共因故障和故障并发等新问题,传统测试性参数确定方法难以解决。针对这一问题,提出一种基于着色广义随机Petri网(colored generalized stochastic Petri nets,CGSPN)的复杂电子系统测试性参数确定新方法。首先,综合需求信息、约束边界和维修保障等要求,建立电子系统两层级CGSPN模型,引入着色,实现不同模块各种状态的实时追踪和故障并发处理,通过广义随机处理共因故障的随机不确定性;然后,利用着色和可用度探索一种带有冗余设计的测试性参数处理手段,丰富测试性体系;最后,构建一种不同模块、各种状态融合的并行分析技术,统一系统层和模块层之间的状态转移关系,避免分阶段串行处理和等效替换。以通信导航识别系统为例进行实例分析,所提方法比传统方法具有更好的可用性和有效性。
