基于CPN的数据版本控制建模与研究

在大型设备的状态数据库中,数据版本的管理不善可造成系统的混乱甚至崩溃,针对这些问题,通过对已有版本控制方法的分析比较,设计了一种新的数据版本控制方法。该方法构建一种有色Petri网(CPN)模拟数据版本控制过程,用不同颜色的托肯表示数据的不同版本,通过限制变迁的触发序列模拟数据版本的形成过程,应用Petri网的并发机制和SQL Server并发机制解决了版本更新过程中的并发、合并等问题。通过仿真实例表明,该方法保证了数据的一致性和完整性,有效提高了历史数据的管理水平。     

基于TOC和面向对象Petri网系统的后勤保障流程建模

在后勤保障流程建模中。提出了一种将有色Petri网系统、广义随机Petri网系统与面向对象技术、约束理论相结合的流程建模方法，使得模型具有较好的模块性、扩展性。通过应用该方法对军队物资采购机构单元Petri网模型进行着色、赋时、对象化改造，详细说明了该方法的建模步骤。     

Petri网的角色扩展探讨

Petri网具有严格的数学表述方式和直观的图形表达方式,在软件设计、工作流管理、工作流模式、数据分析、并行程序设计、协议验证等方面得到广泛的应用。随着Petri网的研究和应用的发展,产生了许多扩展Petri网的建模表达方式,包括:着色Petri网、时间Petri网、层次Petri网。现时的软件设计方法以面向对像为主流,在需求分析阶段要对业务流程进行建模工作,需要对业务过程中的人和事进行表述。使用Petri网对业务流程进行建模,一方面,Petri网可以很好地表现业务数据的变迁,却未能表达出相关业务数据变迁所涉及到的实际操作角色。另一方面,使用基于UML和Petri网的混合设计,要做大量的规则映射,不便于最终用户阅读。文章尝试讨论在经典Petri网的基础上,不改变Petri网的数学性质,为Petri网的变迁增加角色属性的描述,使之更有效地适应具体业务流程建模。     

基于Petri网的军事装备保障业务流程建模

军事装备保障业务流程信息复杂,涉及面广,普通的数学建模方法很难仿真出结果,针对此问题,本文通过Petri 网对军事装备保障业务流程进行建模,得出了与实际符合的Petri网模型,给出了适合装备保障的Petri网建模方法,对军事装备业务工作有一定的指导意义.     

基于Petri网的物流配送系统建模方法及健壮性研究

提出了基于Petri网的物流配送系统建模方法,并对配送过程中的业务流程进行建模。给出了配送模型健壮性定义,并基于工作流和Petri网的相关理论给出了健壮性的判定算法,最后通过应用实例证明了该方法的有效性。     

基于时间Petri网的物流系统建模与仿真实例

介绍一种使用时间Petri网对物流系统进行建模的方法。Petri网对带有并发性、异步性、分布式和非确定性的系统具有较强的描述能力。但在以往对物流系统的建模中,一般都采用原始Petri网,未考虑时间因素,因而只是从逻辑层面上描述物流系统,而缺少对系统的时间特性描述。选用时间Petri网对物流系统进行建模,模型能更加符合实际情况。实例和仿真结果验证了该方法的有效性。     

Petri网与函数的映射关系研究

本文讨论Petri网模型和函数之间的映射问题.用Petri网的运行等效完成程序的执行.为系统中每一个功能模块建立一个Petri网模型,对每个Petri网进行封装,组合所有的Petri网,完成系统的开发.最后,给出一个实例,验证了Petri网与函数之间的对应关系.     

基于Petri网的分析方法简述

对数学和图形进行描述和分析的工具很多,但能用良好的数学性质把一些复杂的现象（例如,同步、并发、分布、冲突、资源共享等）描述的直观、生动形象的工具很少,而Petri网就具有这些优点。在分布式系统、信息系统、离散事件系统等领域,都可以利用Petri网对离散事件动态系统建模、规范分析和设计,而且非常好。Petri网有很多分析方法,文章就作简要概述。     

基于Petri网的冷链配送流程模型构建研究

为提高冷链物流配送效率,根据配送业务流程,建立了冷链配送Petri网模型,运用关联矩阵分析模型性质。由于冷链物流配送系统中的事件具有随机并发性,应用Petri网理论,通过实验模拟,评价所建立模型的有效性。     

基于Petri网的再制造逆向物流网络建模

本文在总结了基于Petri网的供应链建模与分析技术的基础上,将Petri网技术应用于再制造逆向物流中。针对再制造逆向物流网络的结构特点,分析再制造加工网络的工作流程,应用基于Petri网的供应链建模技术,构建了再制造逆向物流网络的Petri网模型,对逆向物流系统进行了模拟仿真。