基于Petri网的Web服务组合时间验证分析

由于各服务的分散性和自治性,Web服务组合需要建立可靠的表达和分析方法。针对Web服务组合时间一致性上的限制,用库所含时间因素的Petri网对服务组合模型的基本逻辑结构进行分析,对服务组合模型的执行时间和各服务可用时间进行有效性验证,并给出了时间可达性的静态和动态分析与验证方法。通过实例验证了用这些规则可对复杂的服务组合模型进行逐步化简和分析,能有效地去除存在时间限制冲突的服务组合方案,减少了因执行不合理的服务组合方案所造成的Web服务资源浪费。

时间Petri网在项目进度管理建模中的应用

通过分析现有时延Petri网和时间Petri网在项目进度管理仿真模型的不足,提出基于库所时间约束Petri网的项目进度管理模型,该模型具备全局时钟特性,不仅能体现工序自身时间参数,同时能对外部资源等工序外延时间约束进行建模。实例仿真结果表明该模型的有效性。

Petri网及其扩展研究

Petri网是一种应用非常广泛的建模工具。首先给出了基本Petri网的概念,在此基础上对多种Petri网进行了广泛的研究,包括时间因素Petri网、有色Petri网、面向对象Petri网、模糊Petri网及受控Petri网,并针对每种Petri网的特点和应用范围进行了讨论,提出了Petri网当前发展的方向和急需解决的热点问题。

基于PTCPN的协同维修操作冲突建模

针对3D仿真环境下复杂系统协同维修过程中出现的操作冲突问题,提出由角色属性及零件属性决定的相似度优先级的概念。结合协同维修多人操作及并行操作的特点,采用CPN Tools建模仿真工具,建立相似度优先级模块并引入反库所,在优先级时间着色Petri网(PTCPN)基础上对3D仿真环境下协同维修过程中冲突建模。经3D维修平台上验证,模型可以有效地削减操作冲突。