有界Petri网等价性的判定算法

Petri网语言是系统行为分析的一种重要工具,为了分析有界Petri网的行为等价,借助于有限自动机的等价性问题和算法,研究了有界Petri网的等价性问题和算法.定义了带标注Petri网语言等价性,证明了带标注的有界Petri网到有限自动机的等价转化,给出了判定有界Petri网的等价性算法,为模拟系统的性能比较提供了处理方法.     

CIMS软件开发工具：Petri网编辑器的语法分析及其实现

本文给出并发表达式语言的文法，并描述了Petri网编辑器的语法分析过程和中间代码的产生过程。解决了Petri网在计算机中的存贮结构问题，处理了可能会出现的重名变量，实现了从井发表达式语言到安全标号的Petri网的转换工作。     

一种随机Petri网性能等价化简与分析方法

随机Petri网模型是系统性能评价的有力工具,但其状态空间随模型规模的增长而指数性增长的问题限制了其对复杂和大规模系统模型的性能数量分析能力.因此,在对模型进行分析之前,先对其进行适当的性能等价化简,是一种更为可行的分析方法.本文首先讨论了一类随机Petri网-基本随机Petri网(ESPN)的性能等价分析方法,这类随机Petri网由顺序、并行、选择和循环等四种基本结构及其组合构成.作者推导出这四种基本结构的性能等价公式,并运用自底向上逐步综合替代的分层分析方法,给出这类随机Petri网模型的性能等价化简分析方法,该方法的复杂性随模型增长而线性增长,有效解决了其性能数量分析问题.然后,讨论了两种非基本结构到基本结构的转换规则,使得复杂的随机Petri网模型也可能转换为ESPN模型,从而使性能等价算法可应用于一般随机Petri网.     

含有非马尔可夫过程的排队Petri网模型和性能分析

本文提出了一种新的高级性能模型技术,称作NM-QPN(含有非马尔可夫过程的排队Petri网,Queuing Petri Net including Non-Markovian processes),它综合了排队网,随机Petri网以及模拟求解各自的特点.NM-QPN以模拟模型为总体框架,发挥排队网和随机Petri网各自的优势对系统进行建模.提出了一套完整的NM-QPN模型求解方案,通过流等价方法将模型中的马尔可夫过程进行化简,这样可以大大减少模型的状态,最后再用模拟求解方法求解剩下的非马尔可夫过程.     

MapReduce的随机Petri网模型研究

首次提出用随机Petri网为MapReduce逻辑模型建立Petri网模型的思想,目的在于采用随机Petri网工作流性质对其进行分析。因此,在研究MapReduce逻辑模型的基础上,为其建立了随机Petri网模型。该随机Petri网模型符合随机Petri网工作流系统的性质,本文利用随机Petri网的工作流系统的性能等价公式,分析了模型的性能,最终求出整个系统的性能参数。该性能参数能够很好地说明MapReduce处理大数据集的优势。     

随机Petri网模型中变迁的串、并联性能等价化简技术

随机Petri网的状态空间爆炸问题的研究始终是Petri网研究的主要问题之一.在随机Petri网模型中,变迁的串、并联是Petri网模型的主要基本形式,对它的化简不仅有助于解决随机Petri网状态空间的爆炸问题,而且也为其他随机Petri网的化简技术提供一个坚实的基础.另外在诸如工作流、多媒体等重要的随机Petri网模型中也存在大量的变迁的串、并联结构,所以对随机Petri网模型变迁的串、并联的化简,特别是能够推导出它的性能等价的数学公式就显得很有必要.本文详细阐述了随机Petri网变迁的串并联的模型化简技术,推导出了变迁的串、并联化简的性能等价公式,并给出一个化简的例子,最后对结果的相关问题进行了分析.     

基于CPLD的基本Petri网系统的硬件实现

Petri网已经逐渐成为异步并发现象建模的重要工具 ,Petri网的硬件实现将为网系统性能分析以及并行控制器的设计提供一种有效的途径。首先介绍了 Petri网 C/ E系统的特点 ,然后讨论了硬件实现的基本结构模块。最后以哲学家晚餐为例子 ,用 VHDL 语言对结构进行了描述 ,使用了 AL TERA公司的 CPL D集成开发工具 Max Plus ,并给出了软件仿真的结果     

生产者-消费者系统的建模与行为分析方法研究

生产者一消费者系统是系统工程中的一个典型系统。讨论了基于Petri网的生产者一消费者系统建模．借助基于库所指标的Petri网分解方法来分析生产者一消费者的系统行为，利用Petri网语言的同步混排运算给出了生产者一消费者系统的行为描述，对基于Petri网的系统分析提供了有效的方法。     

基于Petri网和Web服务的工作流建模方案

面向Web服务的工作流系统能很好地满足现代企业应用集成和协作的需求，Web服务流程模型的建立是实现Web服务集成的重要环节。Petri网具有形式化的描述的基础和正确性分析的优点。文章将这两方面结合起来．对工作流网中控制流结构进行了分析，给出了由Petri网向WSFL转化的方法，并给出Petri模型中控制流结构的WSFL描述。     

Petri网的同步合成运算及其语言求解

文章拓展了Petri网同步合成运算的概念，并讨论了拓展后的同步合成运算满足的语言性质。证明了任意Petri网∑都可由一组S-网通过同步合成得到，从而可由这些S-网来求取∑的语言，最后给出了结构复杂的Petri网的语言的求解算法。     

Petri net model of protocol conversion for CTF service: its universal coupling criteria and property analysis

Protocol conversion is a critical issue requiring much research attention. In this paper, the protocol conversion methodology proposed originally by Green is extended with the Petri nets theory to study application layer protocol conversion among more than two interfaces. The click‐to‐fax (CTF) service based on the Internet intelligent network (IIN) model is taken as an example to illustrate the extended part. A two‐step Petri net modelling method is proposed, which is easier compared to constructing the overall model directly in just one step. Universal coupling criteria of Petri net model of protocol conversion (PNPC) are abstracted. The PNPC of CTF service is analysed using analytical techniques of Petri nets, which are proved to be effective in finding and eliminating potential bugs. The necessity of the concept of service layer is also emphasized. Copyright © 2006 John Wiley & Sons, Ltd.     

客户定单规范的Petri网模型及其分析

结合现有的电信生产局的管理机构和管理模式 ,给出了客户定单进程管理规范的Petri网模型。通过对Petri网模型的特性分析 ,确定了规范的合理性。并通过在具体邮电部门的应用 ,验证了其可行性     

基于同步合成的Petri网基本进程段求解算法

Petri网基本进程段的求取是Petri进程描述的前提和基础，然而直接求取通常是比较困难的。文章研究通过Petri网的同步合成操作求取基本进程段的方法。首先证明了一个结构复杂的Petri网可通过结构简单的S-网的同步合成操作得到，通过分析S-网与合成后的结构复杂网系统基本进程段之间的对应关系。给出了结构复杂Petri网基本进程段的求取算法。     

基于扩展Petri网的工作流建模及应用

为了更好地对工作流模型的验证和性能分析,采用扩展Petri网作为工作流建模工具,给出了工作流模型向扩展Petri网模型的转化规则,建立了实例模型,论述了含有并行成分系统的结构特性,分析验证了模型的正确性。实践证明,用扩展Petri网建立工作流模型能提高模型的准确度,减少应用传统建模方法的冗余工作量。     

一种多值Petri网及其应用

为了更好地将Petri网应用在基于多值逻辑的知识表示和推理中，以普通Petri网的基本定义为基础．结合模糊Petri网和有色Petri网各自的一些特点，将其进行必要的扩展和简化，从而提出一种多值Petri网，使托肯和变迁多值化，然后将它用于知识工程中多值产生式建模和推理中，并根据推理的需要提出了相应的算法。     

基于模糊神经Petri网的武器装备效能评估模型

将模糊Petri与神经网络理论相结合,提出了一种关于武器装备效能评估的模糊神经Petri网模型.将模糊逻辑规则应用到专家评判中得到模糊Petri网,建立基于模糊Petri网的武器装备效能评估模型,并在此基础上将人工神经网络引入到模糊Petri中,在模糊Petri模型上,用迭代最速下降法对模型的参数进行学习和训练,经过学习和训练的模型具有很强的学习能力以及对外界环境的自适应能力.以某型雷达对抗装备为例进行仿真验证,仿真结果表明该模型是可行和有效的.     

AND/OR net representation for robotic task sequence planning

The paper describes a framework for task sequence planning for a generalized robotic work cell. The AND/OR net provides a compact, distributed, domain-specific representation of geometric configurations of parts and devices in the work cell. The approach maintains a correspondence from geometric state information to task and motion plans and on-line discrete-event control that is not available in traditional action-based planners. The feasibility criteria for each AND/OR net transition guide the geometric reasoning required in the planning of feasible sequences. The resulting search space for plans is often much smaller (due to explicit representation of geometric constraints) than the state space of an action-based task planner. For purposes of analysis, the AND/OR net is mapped into a Petri net and the resulting Petri net is shown to be bounded and have guaranteed properties of liveness, safeness, and reversibility. In this form, the AND/OR net may be viewed as a Petri net synthesis tool in which the resulting Petri net representation may be used for on-line scheduling and control of the system