排队系统的着色Petri网建模与分析

着色Petri网（CPN）是研究离散事件动态系统的有力工具,将着色Petri网引入排队系统建模中,能弥补排队模型缺乏动态逻辑行为分析能力的不足。针对排队系统一般模型建立顶层结构模型,并对排队系统的4个要素给出了具体的CPN描述。给出一个具体实例,阐明排队系统的CPN分析法的使用,利用仿真工具CPN-Tools对模型仿真实现,仿真结果与数学模型得出的理论值对比分析,验证了可行性。     

基于层次着色Petri网的网构软件性能建模与仿真分析方法

网构软件由分布的、松耦合的服务按照一定的交互组合而成.由于服务的共享性,通常有多个软件系统请求服务节点上的同一服务.这些外部负载会影响服务进而影响网构软件的性能,因此在研究网构软件的性能时需要将这些外部负载考虑在内.基于上述问题,提出一种基于层次着色Petri网的网构软件性能建模与仿真分析方法.首先构建网构软件的性能模型,它包含一个顶层CPN和若干个子层CPN.顶层CPN建模网构软件的业务处理流程;子层CPN详细建模从请求服务到服务执行完成的过程.服务请求来自网构软件和其它软件系统.然后采用CPN Tools工具通过模型的仿真进行性能分析.最后通过仿真实验研究外部负载对服务进而对网构软件性能的影响.     

着色Petri网及其在系统建模与仿真中的应用

在众多的系统建模方法和语言中,用着色Petri网（Colored Petri Net,简写CPN）建立的模型是可执行的,更有利于动态仿真,非常适合建模具有同步、并发、资源共享的大系统。文章介绍了CPN的基本概念及建模特性,阐明了CPN的实用价值及应用发展前景,并对一个军事系统一一空对空导弹攻击系统进行CPN的图形形式的建模分析,并用Design/CPN进行仿真验证。     

着色Petri网在科技计划项目管理系统建模中的应用

在深入研究科技计划项目管理业务基础上,鉴于Petri网的特点,提出了利用着色Petri网建模科技计划项目管理系统的方法.分析了着色Petri网适合于系统建模的原因,以项目管理评审环节为例讨论了着色Petri网在建模中的应用,并建立了基于着色Petri网的系统模型.通过对该模型的分析仿真结果表明,该方法是可行和有效的.     

基于随机着色Petri网的RUDP协议建模与分析

鉴于传输层传输协议TCP的低效率和UDP的不可靠性,本文提出一种新型的多帧无线传输RUDP协议,同时引入广义随机着色Petri网（GSCPN）,并利用GSCPN对本RUDP进行建模和分析,为以后更好地研究RUDP协议提供模型参考,具有很好的理论价值。     

基于着色Petri网的多Agent系统交互协议建模

多Agent系统（Multi—AgentSystems，MAS）中，多个Agent通过交互和协作来完成一系列任务或实现一些目标。Agent之间有效、有序地进行交互是MAS成功运行的关键。文中采用着色Vetri网来表示一个多Agent系统。利用着色Vetri网，便于描述并发现象和模拟平行系统，除了直观的图形化表示，还具有精确的形式化定义，并且有完善的分析工具。最后对FIPA规范中的FIPAInform和FIPA Request两个协议进行实例分析，说明如何用着色Petri网进行建模。     

Petri网在通信网络仿真建模中的应用

计算机仿真是通信网络技术研究中的一种非常有效的分析工具,而Petri网是一种应用非常广泛的建模工具,为了设计和开发通用的通信网络仿真系统,该文将Petri网技术应用于仿真建模过程中,所建模型简洁,直观且含义准确。     

基于Petri网的工作流建模及仿真

本文将Ｐｅｔｒｉ网应用于工作流建模和仿真,提出了用Ｐｅｔｒｉ网描述工作流程的详细过 程以及分析工作流网的详细方法．     

基于着色Petri网的联合反导作战系统建模

防空反导作战系统是一个复杂的军事系统,具有同步、并发、冲突等特点。应用着色Petri网技术对联合反TBM作战系统进行建模,符合联合反导作战系统的特点,能够有效地分析联合反导作战系统的静态结构和动态行为。分析了联合反导作战系统的信息交换关系,建立了系统的CPN模型,对模型进行了验证和仿真。     

基于着色Petri网的多Agent系统交互协议建模

多Agent系统(Multi-Agent Systems,MAS)中,多个Agent通过交互和协作来完成一系列任务或实现一些目标。Agent之间有效、有序地进行交互是MAS成功运行的关键。文中采用着色Petri网来表示一个多Agent系统。利用着色Petri网,便于描述并发现象和模拟平行系统,除了直观的图形化表示,还具有精确的形式化定义,并且有完善的分析工具。最后对FIPA规范中的FIPA Inform和FIPA Request两个协议进行实例分析,说明如何用着色Petri网进行建模。     

基于有色Petri网的工作流阶段性调度

工作流的合理、有效调度有利于改善整个工作流系统的性能,从而提高业务流程的执行效率。静态调度有利于在静态环境下达到全局调度的最优,但不能有效地处理工作流的动态不确定性。而动态调度在考虑工作流的动态不确定性的同时,优化每个任务的调度方案,但很难达到所有任务的全局最优。在总结静态调度和动态调度两种方法各自的优缺点的基础上,本文提出了一种基于有色Petri网的工作流阶段性调度方法。该方法能够妥善地处理工作流的动态性和不确定性,并在静态全局最优和动态单个最优之间达到较好的均衡。仿真实验说明了该方法的有效性和优越性。     

基于颜色Petri网的网格服务组合

在新的面向服务的网格计算架构下,网格服务为Internet上的分布式计算提供了一种重要范例。对服务提供者和消费者来说,通过组装已有网格服务来创建新的增值网格服务的应用模式已经出现。网格服务的组合已经成为网格研究领域中的一个重要课题。由于可用网格服务的复杂性,许多网格服务表现出复杂的会话协议,要求其提供的操作能根据特定的规则进行调用。讨论了以下几个问题:(1)如何精确描述网格服务的会话协议;(2)如何建立组合规则来对选定的组件服务进行合成;(3)如何验证整个网格服务组合的正确性,尤其是被合并的组件服务的一致性和它们的会话协议。Petri网提供了描述并发系统同步的结构,高级编程语言提供了描述和操作数据值的结构,而颜色Petri网结合了Petri网和高级编程语言的表达能力。为了解决上述问题,提出了一个基于颜色Petri网的会话协议和网格服务组合模型,其使用颜色Petri网的带颜色的token来模拟业务流程的不同消息和事件类型,把服务的会话协议和网格服务组合过程转换为颜色Petri网(CPN),利用现有的CPN的专门工具(如CPN Tools)来对CPN进行模拟以分析评价系统的性能和行为性质。     

基于Petri网的分布式实时嵌入式系统调度的建模

提出了一种基于资源的时间Petri网模型,以便建模分布式实时嵌入式系统中的静态调度,分析系统性能。该模型将处理器资源和通信资源,以及相应的优先级附着到变迁上,从而建模以下的分布式实时嵌入式系统：在单处理器上采用基于固定优先级的抢先式调度,处理器之间的通信采用基于固定优先级的不可抢先式调度。最后分析了该模型的语义、性质以及状态类图的构造方法。     

基于Petri网的虚拟企业建模与调度

在分析现有虚拟企业建模及其调度方法的基础上,探讨了基于一种扩展Petri网模型的虚拟企业建模和调度方法,给出了T时延广义自控网的形式化定义和变迁规则。根据虚拟企业项目的特点,描述了基于T时延广义自控网的虚拟企业建模过程。基于所建立的虚拟企业项目模型,分别针对时间最短与费用最小两个调度目标,设计了A*算法以实现虚拟企业项目调度方案求解。实例分析验证了所提模型及调度算法的有效性。     

基于高级Petri网的工作流建模研究与仿真分析

基于颜色、时间及层次扩展的高级Petri网,克服了传统Petri网难于处理复杂问题的缺点。将其应用于服装行业ASP平台进销存系统中,建立了相关过程模型,解决了实际业务过程中的复杂性。利用仿真工具,对模型进行了仿真分析,并对其结果进行了定性分析,验证了此模型的结构是正确、合理的,且性能优化。     

Modeling and generating context-aware agent-based applications with amended colored Petri nets

Context-awareness is become more crucial in mobile distributed computing systems. However, sophisticated modeling methods to analyze context-aware systems are still very few. Among those, the Colored Petri Net (CPN) is promising because it is proven to be useful for modeling system dynamics and concurrency control in more efficient ways. However, to support managing multiple configurations of components of context-aware applications, some features need to be added to specialize the CPNs. To address these challenges, our research has two idea: (a) to decompose a system into several meaningful subsystems, each of which we will call a pattern, and (b) to separate context from the patterns to realize context-pattern independence. Hence, we propose a modeling methodology to represent and analyze a context-aware agent-based system, which tends to be highly complex. We introduce CPNs as a method of capturing the dynamics of this contextual change. We define CPNs and a way to apply them in context-aware agent-based systems. We also describe a prototype system that we have developed called CPN Generator, which translates CPN specification into Java programs.     

Petri网在商务工作流建模中的应用研究

在工作流建模研究中,Petri网是一类重要工具。对于跨机构的商务工作流来说,用基本Petri网建模往往会因为图幅规模过大和细节过多而使得其可读性下降。该文提出了一种活动/层次网(A/H-Nets)模型,并给出了建模过程和应用示例。模型通过引入复合位置和子网转移及过程转移的概念,来满足Petri网在不同层次上建模的需求。为了保证层次之间的一致性,文中给出了层次建模必须的子网(过程)替换规则。     

基于扩展混合Petri网的晶圆制造系统建模

提出了一种扩展的面向对象混合Petri网（EOHPN）的建模方法：针对晶圆制造系统的复杂性，在EOHPN模型中融入了面向对象的抽象机制；为了减少系统建模的复杂性，引入混合Petri网并用面向对象建模技术作了扩展。在定义EOHPN模型的基础上，作了对象模型的拓展。用实例描述了基于EOHPN的晶圆制造系统的建模过程，验证了模型在处理系统建模时的有效性。     

基于Petri网的BPR建模方法的研究

文章论述了基于Petri网的事务流程模型和流程建模方法。经过40多年的研究与应用,Petri 网在自动控制、通信和计算机科学等许多领域已经获得了较为成熟的应用。但把它作为支持BPR实施的流程建模工具,还没有得到广泛的应用。文中提出了一种基于Petri网的流程建模方法－BPM,在增加适当的属性后,用BPM设计的流程可直接用于仿真,这样就可得到必要的流程优化数据,以实现流程的优化。文章最后用一个简单的例子对BPM的有效性进行了验证。