基于Petri网元件库的控制器设计

本文用VHDL语言对Petri网中的库所和变迁分别进行描述并实现,并在EDA软件平台MAX+plusII中生成其对应的器件符号图,建立Petri网元件库。并以一个实例,像调用电路元件那样,通过调用生成的Petri网元件,绘制出Petri网模型对应的电路图,然后在Max+PlusII中进行编译、模拟、适配,并下载到可编程逻辑器件FPGA中,最后在实验开发系统GW48-CK中进行硬件测试,可直接获得控制器。此方法为并行控制器的设计与实现提供了一种有效的途径,这也是一种图形化的编程方法。仿真波形及硬件测试结果表明了这一方法的正确性。     

一种基于扩展面向对象Petri网的业务组件建模方法

文章在面向对象Petri网的基础上,引入元数据(metadata),构成一种扩展的面向对象Petri网(EOPN),并以企业中的材料需求计划的制定过程为实例建立了描述这一业务过程的EOPN模型。基于这个业务过程模型实例,给出了业务组件建模的步骤和规则。     

基于Petri网的企业经营过程分析

本文首先对一般中小制造企业的经营制造过程进行分析,建立起企业从供应链到加工制造的基本框架,在此基础上,进一步建立起基于Petri网的系统模型。运用该Petri网模型,对企业的生产经营过程进行模拟和分析,根据分析结果可以对系统的经营过程进行优化和重新组合,降低企业生产成本,提高企业竞争力。     

On the Regularity of Petri Net Languages

Petri nets are known to be useful for modeling concurrent systems. Once modeled by a Petri net, the behavior of a concurrent system can be characterized by the set of all executable transition sequences, which in turn can be viewed as a language over an alphabet of symbols corresponding to the transitions of the underlying Petri net. In this paper, we study the language issue of Petri nets from a computational complexity viewpoint. We analyze the complexity of theregularity problem(i.e., the problem of determining whether a given Petri net defines an irregular language or not) for a variety of classes of Petri nets, includingconflict-free,trap-circuit,normal,sinkless,extended trap-circuit,BPP, andgeneralPetri nets. (Extended trap-circuit Petri nets are trap-circuit Petri nets augmented with a specific type ofcircuits.) As it turns out, the complexities for these Petri net classes range from NL (nondeterministic logspace), PTIME (polynomial time), and NP (nondeterministic polynomial time), to EXPSPACE (exponential space). In the process of deriving the complexity results, we develop adecomposition approachwhich, we feel, is interesting in its own right, and might have other applications to the analysis of Petri nets as well. As a by-product, an NP upper bound of the reachability problem for the class of extended trap-circuit Petri nets (which properly contains that of trap-circuit (and hence, conflict-free) and BPP-nets, and is incomparable with that of normal and sinkless Petri nets) is derived.     

混合Petri网的流体随机Petri网模型

混合Petri网和流体随机Petri网作为混合系统的建模方法,其内在的建模机制和分析方法不尽相同,而且这两种机制远未发展成熟.分析并建立它们之间相互转换的方法有助于机制本身的发展完善,并利用对方的建模原语和分析方法对系统进行多角度的分析.提出了一阶混合Petri网转换成流体随机Petri网的形式化方法及转换后变迁合并的方法,并给出了转换和合并方法的正确性证明,最后结合实例简要阐述了这两种方法的实现过程.     

Petri网的进程网系统

提出了Petri网的进程系统的概念，一个Petri网的进程网系统是以其基本进程段的集合为新的变迁集，以各个基本进程段集的输入和输出库所集的并集为新的库所集，以原网系统的初始标识为初始标识而得到的网系统，它可以很好的地描述原网系统的进程行为，文中讨论了求取任意Petri网的基本进程段的算法，该算法是通过研究网中的极小可重复向量和极小受控可重复向量在可覆盖树上的分布特征实现的，文中还给出了通过网结构来描述各个基本进程段之间关系的方法，从而求出一Petri网的进程网系统。     

非确定Petri网

根据描述工作流模型的实际应用背景，提出了非确定变迁，非确定Petri网等概念，并定义了Petri网的等价关系，证明了在这种等价关系的意义下，非确定Petri网与传统的确定Perti网的等价性。     

Petri Net Plans

Programming the behavior of multi-robot systems is a challenging task which has a key role in developing effective systems in many application domains. In this paper, we present Petri Net Plans (PNPs), a language based on Petri Nets (PNs), which allows for intuitive and effective robot and multi-robot behavior design. PNPs are very expressive and support a rich set of features that are critical to develop robotic applications, including sensing, interrupts and concurrency. As a central feature, PNPs allow for a formal analysis of plans based on standard PN tools. Moreover, PNPs are suitable for modeling multi-robot systems and the developed behaviors can be executed in a distributed setting, while preserving the properties of the modeled system. PNPs have been deployed in several robotic platforms in different application domains. In this paper, we report three case studies, which address complex single robot plans, coordination and collaboration.     

一种新型Petri Net:双层变迁定时Petri Net

嵌入式系统的设计尤其是复杂嵌入式系统的设计，需要对系统的稳定性、可靠性等进行分析，进而对系统进行设计优化。这首先需要对系统建立适当的模型进行仿真分析，该文在深入分析现有Petri Net的基础上，构建了一种适合于嵌入式系统建模的新型Petri Net。     

基于时间Petri网的嵌入式系统构件建模与能耗分析

现有软件能耗分析方法主要研究算法级和指令级能耗,对于软件体系结构级的能耗研究较少。为此,从嵌入式系统的软件体系结构出发,在传统Petri网的基础上加入价格和时间标签,建立价格时间Petri网。通过价格时间Petri网构建软件构件和连接子能耗模型分析系统软件能耗,并提出最小能耗可达路径算法降低系统执行能耗。实验结果表明,该模型测得的实际能耗结果与预期结果误差较小,并且能降低系统整体能耗,提高资源利用率。     

基于Petri网的分布式实时调度模型研究

Petri网作为一种可视化的规格语言,越来越多地用于实时系统的评估和分析。该文提出了一种基于Petri网的分布式实时系统模型,并对该模型中的局部调度器和消息调度器进行了描述。根据该模型可以开发相应的分布式实时调度模拟器,这样就可以在系统的开发初期,利用模拟器来验证在给定的局部调度策略和消息调度策略下,系统任务的时间约束是否能够得到有效的保障。同时该模型还可以很容易地转化为系统的快速原型。     

Petri网关联矩阵与PNML描述之间的转换

PNML是一种基于XML的Petri网文件交换格式,支持多种Petri网类型,并提供了一种在不同Petri网工具间交换Petri网模型的途径。文中讨论了Petri网的关联矩阵和PNML描述之间的转换,给出了如何使用DOMAPI解析PNML文件及实现转换过程的技术细节。     

Petri网标记语言

Petri网标记语言（PNML）是一种基于XML语言的Petri网文件交换标准,用于实现Petri网工具的互操作性。综合介绍了PNML标准化进程和PNML的核心支撑技术,详细阐述了PNML体系结构各个组成部分及元模型中各个组成对象,借助PNK工具实现一个P／T网模型实例,根据元模型分析对应的PNML文件中的库所、变迁和弧等对象标签的含义,最后分析了PNML在工作流模型与矢量图转换等领域的研究状况,指出了下一步研究方向。     

基于对象Petri网的计算机网络仿真建模

首先给出对象Petri网(OPN)的定义及其对基本Petri网的扩展。根据OPN和计算机网络的特点，划分了计算机网络仿真模型，并结合TCP/IP协议讨论建模过程。最后通过基于OPN的CBMSE(组件建模仿真环境)仿真了一个局域网。说明OPN的对网络建模仿真和性能分析应用。     

Petri网标记语言

Petri网标记语言(PNML)是一种基于XML语言的Petri网文件交换标准,用于实现Petri网工具的互操作性.综合介绍了 PNML标准化进程和PNML的核心支撑技术,详细阐述了PNML体系结构各个组成部分及元模型中各个组成对象,借助PNK工具实现一个P/T网模型实例,根据元模型分析对应的PNML文件中的库所、变迁和弧等对象标签的含义,最后分析了PNML在工作流模型与矢量图转换等领域的研究状况,指出了下一步研究方向.     

基于Petri网语言的并发系统性质研究

给出Petri网弱活性（无死锁）与活性的两个语言刻画,讨论了同步合成Petri网的语言性质,基于Petri网语言,给出了判定Petri网活性的充分必要条件。同时研究了Petri网同步合成过程中活性保持问题,给出保持活性的充分必要条件。这些结果为讨论网的活性测试和控制提供了形式语言的方法。     

一种基于Petri网的无固定容量队列的算法

队列是一种先进行先出的数据结构,其特点是当一个数据入队后,必须穿过整个列才能出队,效率不高;当容量改变时,使用它的应用程序必须在入口或出口作相应的改变。本文设计的无固定容量的队列克服了这个缺点,即当它的容量改变时,使用它的应用程序不必改变,并且不必穿过整个队列才出队,提高了效率,并用Petri网模拟了它的系统行为,设计出它的算法,为使用这种数据结构的应用程序提供了方便。     

基于Petri网IP网QoS策略控制方法建模

研究网络中多种业务对QoS要求日益提高与网络资源矛盾愈发突出导致的QoS高效控制策略机制模型建立的问题.针对目前QoS策略控制系统运行效率相对较低的现状,提出了一种基于Petri网的控制策略机制模型.该模型具有良好的可移植性,将其应用到IP网QoS策略控制的建模中,可以建立一种快速、高效的QoS控制策略系统模型.经过数学推导和Petri网的机制理论验证得出,该模型是一种高效的QoS策略控制系统模型,其准确清晰,直观易懂,对IP网的QoS策略控制机制建立有实际指导意义.     

Petri网的并分解

给出了Petri网的并分解的定义,并讨论了通过这种分解原网与子网在结构性质方面之间的关系,对用Petri网分析大系统提供了一种有效的方法。     

Petri网的工作流模型建模研究

实现工作流技术的关键环节在于工作流的概念模型,而其中的过程建模又是构建工作流管理系统的基础,因此,对建立工作流模型的研究和应用比较多。近几年,随着业务流程建模、工作流概念的出现以及Petri网技术的发展,Petri网也被用于工作流模型的建立。该文在介绍工作流模型和Petri网基本概念的基础上,介绍工作流的四种基本流程结构,并以工作流的四种基本流程结构为出发点,给出了如何把它们映射成符合工作流网定义的模型的一种方法。