一种价格时间Petri网的状态空间计算

价格时间Petri网是对web服务过程和工作流模型等进行时间和成本分析的一种新工具.而价格时间自动机则是一种相对成熟的工具.提出一种状态空间计算方法,可以将价格时间Petri网的状态空间构造为一个价格时间自动机.该方法的核心思想是在扩展状态类中增加价格参数.进一步证明了构造出的价格时间自动机和初始的价格时间Petri网是双相似的.     

State equation representation of logic operations through a Petri net

The representation of a Petri net is given with state equations more general than those described by Murata. With the proposed state equation, all the logic operations hitherto not covered, can be conveniently represented using general form. This makes it possible to analyze the Petri net model of a computer.     

Petri网图形的压缩存储与自动转换

本文给出了一种Ｐｅｔｒｉ网的计算机表示方法以及其图形的压缩存储／还原算法，并在此基础上对Ｐｅｔｒｉ网图形进行自动转换以产生此图的矩阵表示，这为在其上进行可达性分析和验证的自动化提供了极大的方便。     

A new formulation for state equation representation for Petri nets

A new algorithm for determination of state equations for Petri nets has been proposed. The proposed algorithm results in state equations similar to the state equations for linear sequential machines. All Petri nets may not be represented in the form of linear sequential machines. The resulting state equations are different from Petri net state equations and include output equations used in control theory literature.     

一种多值Petri网及其应用

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

Reliability block diagrams and “Petri” nets

A transformation algorithm is given to find a “Petri” net representation corresponding to a reliability block diagram. Several examples are given to illustrate the dynamic character of this representation. As an application we derive probability expressions from the “Petri” net representation.     

Tutorial: Petri nets as a graphical description medium for manyreliability scenarios

One of the basic problems of dependability modeling is the adequate abstraction of real-world technological problems to the principle terms of reliability/safety scenarios. This concerns primarily the definition of components and of faults on different system levels. Given these terms the rest of any modeling needs basic logical operations, mostly AND and OR, and delays, and often some counting (of time or events). All of these basic operations are offered by a fairly simple kind of Petri net (PN), i.e., timed stochastic Petri nets, allowing also for the modeling of immediate activities and of such with a deterministic delay. In this half-tutorial paper it is shown how such Petri nets modeling, i.e., the construction of the relevant nets, works in practice. No math will be needed for that. Several typical engineering virtues are needed; primarily imagination as to how to (i) find simple solutions, since often nonelegant solutions can be correct too, (ii) compose larger PN from elementary building blocks, and (iii) the ability to model the real world by interpreting the so-called tokens of a PN intelligently in different places of one and the same PN. In the appendix it is shown how the PN can also help in the analytical analysis of nonrepairable systems. In that context they are superior to state graphs since they show state durations explicitly     

一种基于Petri网的监控视频事件抽取方法

通过扩展Petri网定义,提出了一种监控视频事件时空关系和逻辑关系的描述方法,通过将语义级的查询事件映射成Petri网,再在Petri网推理过程中结合计算机视觉算法对场景运动目标行为的解释,实现了有关运动目标行为的事件抽取和相应监控视频片段的定位.     

基于UML-OOPN的武器装备体系可靠性建模方法

针对传统可靠性模型在武器装备体系建模中存在的描述能力不足和Petri网建模存在的模型爆炸和模型构建困难问题,引入面向对象建模思想,利用UML模型便于描述系统和对象Petri网模型易于动态仿真的优点,提出了基于UML-OOPN的武器装备体系任务可靠性建模方法,通过建立UML到对象Petri网的映射规则,完成了由任务描述模型向任务可靠性对象Petri网模型的转化,从而实现了两者有效结合,并以某野战防空反导体系为例验证了该方法的可行性和有效性,为解决武器装备体系任务可靠性模型构建和高效输入问题提供了一种新的方法.     

同步时序电路的增广Petri网分析

本文应用带抑制弧的增广Petri网建立了基本门电路和常用触发器的Petri网模型;并运用该模型描述了同步时序电路;提出了增广Petri网的授权矩阵、状态转移方程和触发器次态与变迁授权条件的关系。在此基础上可对同步时序电路描述和分析,并用实例证明了该方法的有效性。     

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

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

A GSPN-Based Approach to Stacked Chips Scheduling Problem

This paper discusses scheduling characteristics unique in stacked chips [including multichip package (MCP) and multidie package (MDP)] production process such as reentrant work flow and synchronization constraint. It also proposes a modeling and analytical framework for stacked chips assembly operations, which is based on the formal framework of generalized stochastic Petri net. This approach allows the seamless integration of the logical and timed dynamics of stacked chip assembly operations in a single representation. Furthermore, the proposed framework supports the analytical representation of the stacked chips scheduling problem as a mathematical programming formulation, which can be effectively solved to optimality through enumerative techniques. The framework presentation and its capabilities are elucidated by detailed application on a small system configuration for MCP.      

面向集成电路制造的基于Petri网的生产调度

本文提出了一个新的面向集成电路(IC)制造的调度方法,核心内容包括两方面:首先,用本文提出的扩展定时Petri 网对IC生产工艺进行描述;其次,对所得Petri 网模型的状态空间进行搜索,得到以Transition序列表示的最优或近似最优调度.该方法可以很好地描述IC制造系统中存在的多制造路径、资源共享、可变晶片组及并发等特性,通过引入测试弧增强Petri 网的建模能力,进而在调度模型上对设备维护、设备优先级以及操作优先级进行描述,而且支持多目标的评价函数,使得到的调度结果更具实用价值.文中给出试验结果表明了算法的有效性.     

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

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

A new function block modeling language based on Petri nets for automatic code generation

A component based modeling language with the component interfaces derived from the elements of the Petri net theory called CNet is presented in this paper. In contrast to IEC 61499 function blocks that define the flow of events and data separately, CNet models them combined as colored tokens. The event-discrete behavior of CNet components is described by a special class of colored Petri nets with timed arcs and sharpened semantics in order to allow automatic generation of possibly concurrent Java code. In this paper, the state space of CNet components is analyzed and a novel event-discrete "handler-based" execution model that implicitly models an automaton is introduced.     

基于直觉模糊Petri网的知识表示和推理

针对模糊Petri网存在隶属度单一的问题,将直觉模糊集理论与Petri网理论相结合,构建直觉模糊Petri网(Intuitionistic Fuzzy Petri Nets,IFPN)模型,用于知识的表示和推理.首先构建了IFPN模型,并将其应用于知识的表示,通过在模型中引入抑止转移弧,解决了否命题的表示问题.其次提出了基于矩阵运算的IFPN推理算法,通过修改变迁触发后token值的传递规则,解决了推理过程中的事实的保留问题;通过修改变迁的触发规则,抑制了变迁的重复触发.最后对推理算法进行了分析,并举例验证了提出的IFPN模型及其推理算法的可行性,结果表明IFPN是对FPN的有效扩充和发展,其对推理结果的描述更加细腻、全面.     

A Petri Net Control Unit for High-Speed Modular Signal Processors

This paper proposes a hierarchical representation of digital signal processing algorithms suitable for real-time implementations. Petri net models are used to demonstrate every possible operating parallelism in their graphical expression, the marked Petri graph. Moreover, a hierarchical algorithm execution control based on delayed Petri graphs is presented. A strictly modular system architecture suitable for VLSI implementation and data-driven processing is reviewed in its main components. The algorithm representation is then applied to the design of the control part of the system modules. Details at the logic level of the controllers for an array of digital signal processors are presented as an application of the proposed methodology.