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.     

Analysis of assembly operations’ difficulty using enhanced expert high-level colored fuzzy Petri net model

Majority of the products can be assembled in several ways that means the same final product can be realized by different sequences of assembly operations. Different degree of difficulty is associated with each sequence of assembly operation and such difficulties are caused by the different mechanical constraints forced by the different sequences of operations. In the past, few notable attempts have been made to represent and enumerate the degree of difficulty associated with an assembly sequence (in the form of triangular fuzzy number) by using the concept of assembly graph. However, such representation schemes do not possess the capabilities to model the user's reasoning and preferences. In this research, an intelligent Petri net model that combines the abilities of modelling, planning and performance evaluation for assembly operation is presented. This modelling tool can represent the issues concerning degree of difficulty associated with assembly sequences. The proposed mechanism is enhanced expert high-level colored fuzzy Petri net (EEHLCFPN) that is a hybrid of knowledge-based system and colored Petri net. An example encompassing assembly of subassemblies is considered to efficiently delineate the modelling capabilities of proposed hybrid petri net model.     

基于离散时间最优控制的航空发动机装配序列规划

为实现航空发动机维修差错的控制,采用基于优先约束关系的装配子网对发动机部件装配序列建模.在给定的装配评价准则下,将装配序列规划问题转化为最优变迁激发序列问题.引入离散时间的Pontryagin最小值原理(DTPMP),将极小化哈密顿函数这一全局优化的必要条件作为求解零部件装配序列的启发信息.为避免潜在死锁,给出了最优变迁激发序列算法.最后对最优装配序列规划算法的分析显示,该算法有多项式时间的复杂度.     

A Petri net model for integrated process and job shop production planning

In this paper a new Petri net class (Chameleon systems) for modeling and analyzing joined process planning and job shop production planning is proposed based on the multi-level Petri net model introduced by Valk (1995). Chameleon system is a High-level Petri net extended with time that consists of a High-level Petri net modeling the workshop which is called system net and ordinary Petri net modeling the jobs and setups which act as tokens of the system net and therefore are called token nets. Process plans of the jobs are partial orders of operation groups and alternatives. The uncertainty of operation duration is captured by a new time model. The advantages of this new modeling approach are the following: (i) a modular construction of the joined process and job shop planning is allowed, (ii) classical known Petri net analysis methods can be applied and (iii) the analysis can be done at different levels of abstraction.     

Petri net dynamics-based scheduling of flexible manufacturing systems with assembly

This paper presents a heuristic search method based on Petri nets for scheduling flexible manufacturing systems with assembly (FMSA) by partially generating the reachability graph. FMSAs are modeled by two types of timed place Petri nets, called generalized symmetric (GSN) and asymmetric nets (GAN). GSN is a sub-class of GAN. The special Petri net structures of GSN and GAN allow us to efficiently solve their state equations for solutions that constitute a part of the proposed heuristic function. Considering the dynamic information of nets such as concurrency and synchronization, the part of the heuristic function is adjusted since state equation solutions may over-estimate the real cost. The adjustment is based on a lower bound of the real cost and on dynamically comparing the partial estimated cost and partial real cost during the search process. Extensive simulation study shows that in most cases this work obtain better solutions than prior work.     

基于Petri网的哲学思考

近年来,Petri网以其优秀的描述异步并发的能力以及简单、清晰的图形表示方法获得了长足的发展.同时,Petri网技术和其它技术的完美结合使其在应用领域如鱼得水.哲学高度深刻分析了Petri网之所以获得成功的思想渊源,通过诠释Petri网思想与哲学思想的诸多相通之处,帮助大家以一种全新的视角重新认识和理解Petri网.     

借助Petri网进行流程审计

信息的使用者往往关注保存在介质上的信息而忽视处理信息的程序。由于保存在介质上的信息有多个操作入口,即使处理信息的程序真实地反映了组织的业务流程,也难保证信息使用者所获得的信息是正确的,也就是说对于访问数据的程序,存在外部干扰。引入数据库中的审计表功能,协助信息系统审计人员识别信息系统中数据的形成是否遵循了既定的业务流程。由于Petri网是描述流程的有力工具,对于复杂的业务流程,引入Petri网对流程进行审计是必要的。     

Robustness analysis of Petri nets for assembly/disassembly processes with unreliable resources

In most application of Petri nets, resources are modeled as tokens. Unreliable resources pose challenges as existing Petri net theory is deficient in analyzing the impacts of the perturbation due to resource failures. One strategy to analyze a perturbed system is to study its robustness with respect to uncertainties. In this paper, we study the robustness of a class of controlled Petri nets called controlled assembly/disassembly Petri net (CADPN) for assembly/disassembly processes with unreliable resources. The number of tokens in CADPN is not conservative to capture the effects of resource failures. Based on the CADPN model, we characterize different types of tolerable resource failures allowed for a nominal marking of a live CADPN. We show that liveness of a CADPN can still be preserved under tolerable resource failures.     

基于Petri网的实时多智能体系统建模

给出基于Petri网的实时多Agent系统建模方法,它通过Petri网建立由接口模块、目标模块、计划模块、调度模块、知识库模块、环境模块、内部模块和控制模块组成的实时Agent模型,抽象和清晰地描述出实时Agent内部和外部特征。     

基于随机有色网的柔性制造系统可用性评价方法

提出了一种柔性制造系统(FMS)的可用性评价新方法。针对传统可用性评价方法如故障树分析法、可靠图法等难以表达复杂系统的动态特性和系统内部的关联性的缺点,定义了一种基于随机Petri网和有色网对FMS生产过程进行表示的方法——SCPN(stochastic colored Petri nets)。通过构造制造单元的SCPN模型获得同构的马尔科夫链转移矩阵,将覆盖率和修复率加入可用性分析模型中,从而得到一种对FMS可用性进行评价的新方法。实验结果表明,所提方法可以对FMS进行建模,并能得到制造单元以及FMS的可用性,较以往的可用性评价方法更准确和全面。     

基于智能Petri网的物流配送路径优化算法

基于智能Petri网构建了物流配送路径的优化模型。通过定义智能Petri网的运行规则,得到了基于智能Petri网的物流配送路径优化算法与计算流程,分析了车辆在交叉口的实际延误阻抗对配送分析的影响。该算法具有求解不需要对物流网络图作任何修改和容易实现配送过程的动态模拟的特点,利用该算法可以获取配送车辆从出发点到城市中任何一个节点的最优路径。将算例与改进的Dijkstra算法进行了对比分析,结果表明了该算法的可行性和有效性。     

Autonomy-subnet based structural synthesis and liveness guarantying policy of Petri net model of flexible manufacturing system

In this paper, an autonomous subnet based structural methodology forbottom-up synthesis of Petri Nets for Flexible Manufacturing Systems is proposed.Furthermore, the theoretical analysis of the model constructed by the method is carried byintensively using model's structural information, such as invariants, siphons, etc.. As aresult, the analysis leads us to draw the general conclusion that the model obtained isconservativeness and thus bound, and characterize its liveness in terms of zero-markingminimal siphons. It is based on model's structural information that distinguishes ourmethod from others. in line of this thought, a liveness guarantying policy for the obtainedmodel is proposed. Some control subnets are merged into the original model according tothe proposed synthesis rules in this paper to ensure that no minimal siphons are emptiedin any state, therefore the liveness is guaranteed. As a result, a live, conservative andrevertible Petri Nets is obtained. A practical example is also presented to     

The Petri Net Kernel An infrastructure for building Petri net tools

The Petri Net Kernel is an infrastructure for building Petri net tools. It relieves the programmer of a Petri net tool from implementing standard operations on Petri nets and a graphical user interface. In this paper, we discuss the motivation, the concepts, and the implementation of the Petri Net Kernel. Published online: 25 July 2001     

Optimal deadlock avoidance Petri net supervisors for automated manufacturing systems

Deadlock avoidance problems are investigated for automated manufacturing systems with flexible routings. Based on the Petri net models of the systems, this paper proposes, for the first time, the concept of perfect maximal resource-transition circuits and their saturated states. The concept facilitates the development of system liveness characterization and deadlock avoidance Petri net supervisors. Deadlock is characterized as some perfect maximal resource-transition circuits reaching their saturated states. For a large class of manufacturing systems, which do not contain center resources, the optimal deadlock avoidance Petri net supervisors are presented. For a general manufacturing system, a method is proposed for reducing the system Petri net model so that the reduced model does not contain center resources and, hence, has optimal deadlock avoidance Petri net supervisor. The controlled reduced Petri net model can then be used as the liveness supervisor of the system.     

A knowledge-based inspection process planning system for coordinate measuring machines

The coordinate measuring machine (CMM) is one of the most effective geometry inspection facilities used in manufacturing industry. To fully utilize its capabilities in a computer-integrated manufacturing (CIM) environment, we should integrate CMM with other systems and facilities. This paper presents the development of a knowledge-based inspection planner based on the fundamental principles of AI planning to integrate computer-aided design systems and CMMs. The issues involved in CAD-directed inspection process planning are examined; the task of inspection process planning is decomposed into a number of sub-tasks. According to the task decomposition, a knowledge-based planning system was designed with several modules. Each of these modules consists of a knowledge base, a control operator, a context and a communication interface. The knowledge base is the local knowledge source for problem solving; the control operator determines when and where the knowledge is applied; the context contains the initial planning state which is essential input part information, the intermediate planning states which result from the tentative decision made by the modules, and the goal state. The module interfacing was realized by directly calling procedures defined in other modules to pass the planning tasks and decisions. Examples are included to explain the planning knowledge and strategy.     

An assembly oriented design framework for product structure engineering and assembly sequence planning

The paper describes a novel framework for an assembly-oriented design (AOD) approach as a new functional product lifecycle management (PLM) strategy, by considering product design and assembly sequence planning phases concurrently. Integration issues of product life cycle into the product development process have received much attention over the last two decades, especially at the detailed design stage. The main objective of the research is to define assembly sequence into preliminary design stages by introducing and applying assembly process knowledge in order to provide an assembly context knowledge to support life-oriented product development process, particularly for product structuring. The proposed framework highlights a novel algorithm based on a mathematical model integrating boundary conditions related to DFA rules, engineering decisions for assembly sequence and the product structure definition. This framework has been implemented in a new system called PEGASUS considered as an AOD module for a PLM system. A case study of applying the framework to a catalytic-converter and diesel particulate filter sub-system, belonging to an exhaust system from an industrial automotive supplier, is introduced to illustrate the efficiency of the proposed AOD methodology.     

Robot assembly planning using a task grammar augmented with heuristic knowledge

Automated assembly planning in a manufacturing environment requires not only mathematically sound formal methods and algorithmic computations but also heuristic knowledge. Much of this knowledge can be extracted from manual task manipulation strategies, such as the motion classification scheme used in methods-time measurement (MTM) studies. In this paper, we delineate various task-level operations in the context of robotic assembly, and show how these operations can be organized in the form of a task grammar. The proposed task grammar captures the intrinsic principle on how the sequence of robot operations should be ordered and how one high-level operation can be effectively decomposed into low-level operations. In order to control the process of robot task decomposition, we explicitly represent and apply qualitative heuristic knowledge about task constraints and operation applicability. In the paper, we first describe how syntactical knowledge about robot operations can be formulated for assembly-related manipulation tasks. Next, through illustrative examples, we attempt to show how qualitative knowledge can be effectively used in the task decomposition in three distinct ways: heuristic-based operation pattern matching, spatial-feature-based qualitative state envisionment, and canonical transformation of task environments.