基于着色Petri网的Web服务组合建模

用经典Petri网对Web服务组合建模,其令牌类型的单一性不利于对模型的理解.针对这种不足,提出了一种基于着色Petri网的建模方法,给出了Web服务网系统结构的静态和动态特性,而且还给出了一个用着色Petri网建模的实例.应用结果表明,利用着色Petri网建立的模型具有较强的解释性和扩展性.     

一种Petri网结合遗传算法的优化方法及应用

根据实际优化问题,在时间Petri网和着色Petri网的基础上,提出了一种新的扩展Petri网(EPN)模型,并在EPN中定义了条件矩阵Q,给出了Petri网与遗传算法相结合的优化方法和具体算法.使用本优化方法,对一个车间作业(Job-shop)调度问题进行了求解,建立了该Job-shop调度的EPN模型,并采用单个体遗传算法对Petri网模型进行优化,结果证明了该建模和优化方法的有效性和正确性.     

多传感器信息融合的分层着色Petri网模型

该文以导弹攻击系统为例,提出了一种基于分层着色Petri网理论建立多传感器信息融合系统模型的方法。该方法运用着色Petri网理论克服了以往用普通Petri建模的不足,细化了其系统模型的中间过程,同时给出融合中心的数据融合算法和指挥中心的神经网络解析算法。基于分层着色Petri网建模与分析方法有利于融合系统的性能分析和行为仿真的实现。     

一种Petri网结合遗传算法的优化方法及应用

根据实际优化问题，在时间Petri网和着色Petri网的基础上，提出了一种新的扩展Petri网（EPN）模型，并在EPN中定义了条件矩阵Q，给出了Petri网与遗传算法相结合的优化方法和具体算法，使用本优化方法，对一个车间作业（Job-shop）调度问题进行了求解，建立了该Job-shop调度的EPN模型，并采用单个体遗传算法对Petri网模型进行优化，结果证明了该建模和优化方法的有效性和正确性。     

PDM系统中工作流与过程管理模型的建立

介绍了PDM系统中工作流和过程管理的功能和组件层次,探讨了工作流管理系统的体系结构和工作流过程管理的模型,给出了工作流实现的类模型,研究了工作流和过程管理的关键技术并给出具体的实现方法.将着色时间Petri网引入到PDM的工作流管理系统中,将基于Petri网的并行式工作流模型应用于PDM系统中,用可达图来分析Petri网工作流模型的静态和动态的结构性能,给出了审批流程的着色时间Petri网模型和流程的变迁过程,在最后的实例中说明了工作流管理的具体实现和工作流的执行过程.     

着色Petri网模型驱动的云测试生成方法与实现

为进一步提高测试生成效率,提升大规模测试生成的自动化程度,构建了一种基于着色Petri网模型的一致性云测试生成方法,称为PT-Cloud方法,并将该方法实现为可提供一致性测试生成服务的云测试生成平台.该方法利用MapReduce技术,实现了面向测试生成需求的被测系统着色Petri网模型重构和标记,并在此基础上以实际测试数据驱动一致性测试例的自动生成.经实际测试生成和执行实践验证,PT-Cloud方法能保证所生成的测试例是切实可执行的,同时有效提高了测试生成的效率和自动化程度.     

针对SoC设计正确性和时间性的形式化协同验证方法

给传统嵌入式系统验证方法带来巨大挑战的是SoC设计中硬件部分采用IP核、软件部分采用构件技术，这就需要一种既能克服传统方法缺陷又能适合SoC的新方法。针对SoC提出了一种基于着色Petri网的数学模型，形式化定义了IP核、构件和用户自定义逻辑模块，并阐述了从SoC设计体系结构到着色Petri网模型的转换方法，还介绍了如何利用现有工具CPN Tods来分析Petri网模型。该方法不仅能验证SoC设计的正确性，还能验证其时间性，一旦给出SoC设计中IP核、构件和用户自定义逻辑的体系结构，那么就能够验证出整个系统的设计正确性和时间性，最后通过一个验证PDA手机音频和视频子系统的例子证明该方法行之有效，并给出了相应的实验结果。     

基于时间Petri网和启发式搜索的资源分配

提出了一种改进的时间Petri网计划管理模型,综合考虑调度和资源分配,以充分发挥FMS的柔性制造能力.首先根据系统理论,区分了两种资源类型:主角(主资源)和配角(辅助资源),然后再根据主资源构造FMS的时间Petri网.这种方法简化了Petri网的构造,给出了一个清晰的资源调度流程,并且辅助资源的分配可以在调度的同时利用启发式搜索算法给出.最后,给出一个改进的时间Petri网在资源受限情况下进行调度和资源分配的实例.     

一种基于信任协商的网络协同攻防游戏模型

针对目前信息安全类游戏缺乏协同机制以及协同过程中敏感信息易泄露的问题,基于改进的信任管理和信任协商技术,设计了一种基于信任协商的网络协同攻防游戏模型,将信任协商技术应用到协同过程中,降低了协同过程中敏感信息泄露的风险,并探讨了自适应信任协商策略模式.通过实验分析证明了自适应信任协商在效率方面的优势.     

制造系统的Petri网建模

应用Petri网对作为离散事件动态系统的一个简单制造系统进行了建模分析,阐述了Petri网建模的主要特征及方法,介绍了Petri网在制造系统描述中的应用,并以某机器制造车间为研究对象进行了实际建模,给出了相应的Petri网模型.     

Petri网不变式和状态方程的求解

不变式和状态方程的求解是Petri网分析中的基本问题. 研究了Petri网库所不变式和变迁不变式的一种求解方法,给出了Petri网系统状态方程的求解方法和发射向量的通解形式. 这些方法都是基于网关联矩阵的满秩分解. 讨论了Petri网系统状态方程存在整数解的条件,即可达性的一个必要条件. 该条件对于Petri网可达性分析有着重要的意义和价值.     

Petri网在ERP实施中业务流程建模的应用

对企业在实施ERP中的业务流程优化问题,提出了一种基于Petri网的业务流程优化和配置方法.首先分析ERP实施中的业务流程建模,指出采用Petri网建模的适用性.其次运用Petri网对流程给出形式化定义,提出优化规则,探讨基于Petri网的流程模型在ERP软件中的实现.最后结合某企业实施用友ERP的过程进行实例分析.     

基于对手态度学习的协商决策模型

为了解决基于多Agent应用环境下的双边自动协商问题,提出了一种用基于支持向量机(SVM)算法的对手协商态度学习方法.在该方法中,协商的过程被看作一个建议序列,把建议序列映射到新的特征空间,形成了多个协商轨迹（每个协商项有一个协商轨迹）.通过支持向量机的方法来学习协商轨迹,得到协商对手在每个协商项的态度.然后利用学习得到的对手协商态度,构造了一个协商的决策模型.此模型能同时基于对手的态度和自身的偏好来做出协商决策.另外,模型中的模型函数在满足一定约束的条件下,可以保证协商决策的收敛性和单调性.实验结果表明,该模型能有效较少协商的时间,增加协商双方的效用总和.     

基于高级Petri网的住院医师培训工作流建模与分析

为了实现住院医师培训系统协调并发运行、工作流程顺畅无误运转,提出一种基于着色高级Petri网与跨组织Petri网技术相结合的综合建模方法.针对跨组织模型结构,通过分级验证法验证模型性能,即采用不变量验证法验证组织内活性,采用归约可达图法验证组织间关联关系的可达性.利用不变量法和归约可达图验证法可确保组织内部和组织间无死锁,采用着色跨组织方法构建的模型适应于住院医师培训系统多角色和并发性的特点,提高了系统的实用性和高效性.     

基于赋时有色Petri网离散制造过程建模与仿真

针对解决离散制造系统控制过程中可能出现的冲突、死锁等问题,将赋时Petri网和着色Petri网两者相结合,根据柔性制造系统的元素建立了拥有4个CNC机床加工中心,4条工件生产线的赋时着色Petri网模型。仿真结果表明,该方法能有效解决冲突、死锁等问题。     

一种递归π演算向Petri网的转换方法

针对π演算中的递归结构,本文给出了一种递归π演算向Petri网的转换方法。该转换遵循基本进程转换规则以及组合规则,采用层次化方法,针对递归次数较多时产生的Petri网结点过多的情况,本文给出了一种更简洁的Petri网表示,它保留了系统的语义,且编码完全相同的轨迹集合,对于在规模较大的复杂系统中应用Petri网模型有着积极的意义。本文还分别证明了递归π演算与转换的Petri网的互模拟等价性以及Petri网与其简洁表示的等价性。     

着色Petri网在应急联动系统中的建模与仿真分析

在分析应急联动系统业务流程的基础上,引入着色Petri网,并利用支持Petri网建模与仿真的成熟工具CPNTools实现了应急联动系统流程的建模与仿真,同时对所建模型的性能进行了分析.     

制造自动化系统的TCPN规格及其可调度性分析研究

时间约束Petri网(TCPN)是Petri网的一种扩展形式,是迄今为止对时间约束描述能力较强的网之一.文中给出了建立制造自动化系统时间约束Petri网模型的一般性步骤,以及基于时间约束Petri网的可调度分析算法,并以制造自动化系统的应用实例,具体说明了可调度分析算法的应用.     

复杂产品概念设计多学科过程建模方法研究

为了使复杂产品概念设计的过程模型支持多学科优化,实现概念设计过程中的求解功能,确定产品设计的综合最优方案,提出了基于扩展Petri网与NSGA-Ⅱ算法相结合的多学科过程建模方法.针对复杂产品设计过程的特点,分析了概念设计在多学科优化过程中的重要作用,研究了扩展Petri网模型建立和NSGA-Ⅱ算法的执行过程,给出了以扩展Petri模型的变迁序列作为NSGA-Ⅱ算法染色体,结合属于Petri网模型元素的选择算子、交叉算子进行NSGA-Ⅱ优化运算的方法.将上述方法应用于某工业汽轮机的设计,并通过实例验证了该方法对于不同的设计要求,可以给出不同情况下的Pareto最优解集,是进行复杂产品概念设计过程建模的一种切实有效方法.     

改进型有色Petri网的安全协议分析

针对传统有色Petri网方法在安全协议分析中存在的一些不足,提出一种新的基于有色Petri网模型的分析方法。给出改进型的基于有色Petri网的模型构造方法及协议分析的具体步骤,利用此法对具体的Helsinki协议进行建模和分析。实验证明,这种方法行之有效,且在一定程度上有利于有色Petri网安全协议向自动化分析方向发展。