Knowledge intensive Petri net framework for concurrent intelligent design of automatic assembly systems

The integration of design and planning of flexible assembly system has been recognized as a tool for achieving efficient assembly in a production environment that demands assembly with a high degree of flexibility. This paper proposes a concurrent intelligent approach and framework for the design of robotic flexible assembly systems. The principle of the proposed approach is based on the knowledge Petri net formalisms, incorporating Petri nets with more general problem-solving strategies in AI using knowledge-based system techniques. The complex assembly systems are modeled and analyzed by adopting a formal representation of the system dynamic behaviors through knowledge Petri net modeling from the specifications and the analysis of those models. A template is first defined for a knowledge Petri net model, and then the models for assembly system individuals are established in the form of instances of the template. The design of assembly systems is implemented through a knowledge Petri net-based function–behavior–structure model. The research results show that the proposed knowledge Petri net approach is applicable for design, simulation, analysis and evaluation, and even layout optimization of the flexible assembly system in an integrated intelligent environment. The integration of assembly design and planning process can help reduce the development time of assembly systems.     

Control architecture and design method of reconfigurable manufacturing systems

This paper proposes a control architecture for reconfigurable manufacturing systems and its design method based on Petri nets (Input Output Place Transition and Production Flow Schema), Service-Oriented Architecture and Holonic and Multi-Agent System techniques, among other good practices. The control architecture integrates value-added activities, information and resources. The method considers the exchange of knowledge among heterogeneous business workflow of manufacturing subsystems in different geographical locations, and allows modeling process, product, machine and device control. An example demonstrates advantages of the resulting control system.     

Estimation of the firing frequencies in discrete and continuous Petri nets models

Production frequencies provide useful information for performance analysis, monitoring and control applications of manufacturing systems. However, such frequencies are not always measurable. In this case, they must be estimated from the observation of other variables. This paper deals with production frequencies estimation for systems modelled by discrete or continuous Petri nets. For this purpose, the content of the buffers is measured on-line with a sampling period, and the evolution equations of the model are reversed. In the case of timed Petri nets, the production frequencies estimation is obtained from the approximation of the firing sequences and in the case of continuous Petri nets it results directly from the variations of the marking vector. The exact and approximated solutions of the estimation problem are described. Accuracy of the estimation is related to measurement error, Petri net structure and sampling period. Moreover, when the estimation provides several solutions, the Petri net model is extended such that a unique solution is obtained.     

基于平行Petri网的制造系统调度与控制一体化方法

为了消除制造系统调度层与控制层之间的隔阂, 实现对生产事件快速灵活响应, 本文提出了一种调度与控制一体化的方法. 首先, 定义了一种新型Petri网模型, 即平行Petri网, 从而集成地描述了传感器、执行器、任务和资源信息, 构建制造系统的信息物理系统模型; 其次, 提出了一种从平行Petri网到赋时Petri网的抽象简化方法, 大规模压缩优化调度所需搜索的状态空间; 再次, 定义了策略Petri网以描述最优调度策略. 最后, 给出了平行Petri网与策略Petri网同步执行算法, 使得平行Petri网与物理系统同步执行.     

Decidability results in First–Order Hybrid Petri Nets

In this paper we tackle the decidabilityof marking reachability for a hybrid formalism based on Petrinets. The model we consider is the untimed version of First–OrderHybrid Petri Nets: it combines a discrete Petri net and a continuousPetri net, the latter being a fluid version of a usual discretePetri net. It is suggested that the decidability results shouldbe pursued exploiting a hierarchy of models as it has been donein the framework of Hybrid Automata. In this paper we definethe class of Single–Rate Hybrid Petri Nets: the continuousdynamics of these nets is such that the vector of the markingderivatives of the continuous places is constant but for a scalarfactor. This class of nets can be seen as the counterpart oftimed automata with skewed clocks. We prove that the reachabilityproblem for this class can be reduced to the reachability problemof an equivalent discrete net and thus it is decidable.     

应用必需信标的Petri网死锁预防策略

本文提出了表征一个Petri网子类,即S4R网(system of sequential systems with shared resources)中死锁问题的必需信标的概念和一种将混合整数规划算法与必需信标控制相结合的死锁预防策略.在该策略的迭代过程中,混合整数规划算法发现被控的Petri网中是否存在最大的死标识信标,若存在,则通过库所分类和迭代式的信标提取,得到必需信标,添加相应的控制库所,满足必需信标的最大可控性,从而实现被控的Petri网活性的目的.理论分析和算例验证表明了该策略的正确性和有效性.     

基于资源配置混杂Petri网的混杂系统生产过程建模

为了增强混杂Ｐｅｔｒｉ网解决资源共享和资源冲突的能力,定义一种新的混杂Ｐｅｔｒｉ网模型———资源配置混杂Ｐｅｔｒｉ网,提出了相应的使能和激发规则．将对连续变迁和离散变迁的控制作用引入混杂Ｐｅｔｒｉ网,同时,增加了资源配置变迁和资源释放变迁,用于有效分配可重复利用的资源．以典型的混杂生产过程为例,研究混杂系统生产过程建模．研究结果表明,所定义的模型描述能力强,模型语义正确合理,能够有效描述和分析混杂系统生产过程．     

A Survey of Petri Net Methods for Controlled Discrete Event Systems

This paper surveys recent research on the application of Petri net models to the analysis and synthesis of controllers for discrete event systems. Petri nets have been used extensively in applications such as automated manufacturing, and there exists a large body of tools for qualitative and quantitative analysis of Petri nets. The goal of Petri net research in discrete event systems is to exploit the structural properties of Petri net models in computationally efficient algorithms for computing controls. We present an overview of the various models and problems formulated in the literature focusing on two particular models, the controlled Petri nets and the labeled nets. We describe two basic approaches for controller synthesis, based on state feedback and event feedback. We also discuss two efficient techniques for the on-line computation of the control law, namely the linear integer programming approach which takes advantage of the linear structure of the Petri net state transition equation, and path-based algorithms which take advantage of the graphical structure of Petri net models. Extensions to timed models are briefly described. The paper concludes with a discussion of directions for future research.     

神光III控制系统的故障建模与分析

应用混合随机Petri网对神光III控制系统的故障进行了建模,并应用Visobj Net对建立的故障模型进行了仿真分析。网络化控制系统是一个离散和连续相结合的混合动态系统,具有动态、并发及同步等特征;神光III控制系统就是网络化控制技术在武器装备上的一个典型应用;对于复杂系统的建模和分析,Petri网是一个非常有效的工具。Petri网已经被证明是离散事件或异步系统很好的建模和分析工具,混合随机Petri网是Petri网的一个扩展,具有强大的建模功能。仿真结果表明,所建立的模型是正确的。     

基于模糊神经Petri网的故障诊断模型

Petri网是对具有产生式规则的故障诊断系统的有力建模工具，但其缺乏较强的学习能力．本文以Petri网的基本定义为基础，结合模糊逻辑和Petri网模型，定义了模糊Petri网模型，在此基础上引入人工神经网络技术，给出了人工神经网络的模糊Petri网表示方法，并针对工程机械故障诊断异步、离散等特点，提出并建立了故障诊断的模糊神经Petri网模型及其改进模型．基于模糊神经Petri网的故障诊断系统结合了Petri网和人工神经网络的优点，经过自学习后同时具有很强的推理能力和自适应能力．     

基于Petri网的Web服务流程建模方法研究

随着网络应用的蓬勃发展,Web服务越来越普及。在实际应用中,往往需要对已有Web服务进行集成。目前通常的企业Web服务集成过程,都是先根据企业的业务流程建立相应的Web服务流程模型,再由此建立应用系统。而目前已有的建模手段的共同问题是：无法确保模型的正确性和与具体业务的紧密吻合。该文提出一种基于Petri网的Web服务流程建模方法。该建模方法通过将Petri网引入建模过程弥补了原建模过程中无法直观感受模型的不足,通过建立一套完备的形式化定义保证了建立模型的正确性,通过将紧同步随机Petri网引入建模过程可以更好的描述实际业务。通过使用该方法, 可以很好地解决现在Web流程建模过程中存在的问题。此方法也为其他领域中的流程建模仿真提供了一种很好的解决问题的方法和思路。     

针对一般线性约束的Petri网控制器设计方法

针对基于Petri网离散事件系统关于标识向量和Parikh向量的不等式约束反馈控制器设计问题,提出一种新的控制器设计方法.该方法首先利用Petri网的状态方程把关于标识向量和Parikh向量的不等式约束转变成关于Parikh向量的不等式约束,然后基于Petri网库所是关于Parikh向量的不等式约束的观点构造控制器.最后将该方法与Iordache和Moody提出的方法作比较,实验结果显示该方法更简单、有效.     

复合Petri网的主从式多智能体通信建模方法

针对当前主从式MAS领域通信的硬件成本高、对计算资源占用大等问题,引入复合Petri网建立通信模型.按M A S资源的类型,将复合Pet ri网的库所设计为状态、行为和时滞3种类型,关联了库所的生效时间.建立了不同优先级消息和通信异常处理的复合Petri网模型,构建了主从式多智能体复合Petri网的通信模型.通过基于主...     

Compositional Petri Net Approach to the Development of Concurrent and Distributed Systems

In the paper, a formal model based on Petri nets is proposed in the context of a compositional approach to the development and analysis of complex concurrent and distributed systems. Mutlilabels of Petri nets are introduced allowing labeling a transition not only with a single symbol, but also with a multiset of symbols. Operations on multilabeled Petri nets—parallel composition and restriction—are defined. A definition of a Petri net entity is given based on the notion of multilabels. A Petri net entity is a Petri net with a set of multilabels, where each multilabel is regarded as an access point of the entity. The operation of entity composition is introduced. Equivalence of entities is defined based on bisimulation equivalence of Petri nets. It is shown that the equivalence relation is congruent with respect to entity composition. It is also demonstrated that the composition operation is commutative and associative.     

Deadlock-Freeness Analysis of Continuous Mono-T-Semiflow Petri Nets

Most verification techniques for highly populated discrete systems suffer from the state explosion problem. The “fluidification” of discrete systems is a classical relaxation technique that aims to avoid the state explosion problem. Continuous Petri nets are the result of fluidifying traditional discrete Petri nets. In continuous Petri nets the firing of a transition is not constrained to the naturals but to the non-negative reals. Unfortunately, some important properties, as liveness, may not be preserved when the discrete net model is fluidified. Therefore, a thorough study of the properties of continuous Petri nets is required. This paper focuses on the study of deadlock-freeness in the framework of mono-T-semiflow continuous Petri nets, i.e., conservative nets with a single repetitive sequence (T-semiflow). The study is developed both on untimed and timed systems. Topological necessary conditions are extracted for this property. Moreover, a bridge relating deadlock-freeness conditions for untimed and timed systems is established.     

基于增广混合Petri网的CPS事件建模

信息物理融合系统是一类将信息系统和物理系统连接并融合在一起的混合系统,包含了感知、通信、计算与控制等多种技术,其系统操作既包括离散的计算过程,又包括连续的物理过程。针对此特性,提出一种以事件为驱动、以数据为核心的增广混合Petri网模型。首先,CPS具有事件驱动的内在属性,为事件定义1个用于赋予数据值的变量因子,以数据作为事件执行程度的核心;其次在混合Petri网的基础上加入时间和空间属性,以及为变迁的发生引入条件弧概念;最后,通过对自适应巡航控制系统的运行机理进行建模分析,验证了所提出模型的可行性。     

Petri网的组合积网及性能分析

Petri网是一种系统描述和分析的工具 .Petri网组合是由小系统的性质获得大系统性质的一种有效的分析方法 .本文提出了 Petri网的组合积运算 ,包括 Petri网的 型组合积运算和 型组合积运算、Petri网的并积运算 ,讨论了保持网的结构性质的条件 ,为复杂大系统的分析提供了新途径     

Deadlock avoidance schemes in a distributed robotic system: Petri net modeling and analysis

This article presents a Petri net-based approach to modeling and evaluating four different deadlock avoidance schemes for a distributed robotic system, i.e., a five-robot-five-assembly-line system. Among these four schemes are the conventional, full synchronization, global semaphore, and partial synchronization schemes. To explore such issues as the system performance and control structure complexity, this article conducts detailed Petri net modeling for this system and evaluates performance of the deadlock avoidance schemes using stochastic Petri nets. The interesting results presented include that: (1) any possible system deadlock can seriously degrade the system performance even if effective deadlock resolution techniques are available; (2) conservative use of resources is likely to be the best policy; and (3) higher resource utilization may not necessarily imply higher system production rate in a resource-sharing environment. The related results need to be further explored for the larger resource-sharing discrete event systems. © 1995 John Wiley & Sons, Inc.