Flexible process sequencing using Petri net theory

Abstract This paper presents a new methodology for flexible process sequencing using a Petri net based approach. In the proposed approach Petri nets are used as a unified framework for representing both operation planning knowledge and process sequence. In specific, the approach taken comprises: (1) modeling operation selection and sequencing knowledge using a Petri net based approach, (2) representing the flexible sequence of operations using Petri net formalism, and (3) linearizing a flexible process sequence using T-INVARIANT analysis. An illustrative example of HoleMakingProcess has been used to demonstrate the Petri net modeling, the operation selection and sequencing procedure (called state propagation procedure), and the linearization procedure.

[1]  Stelios Kafandaris,et al.  Expert Process Planning for Manufacturing , 1990 .

[2]  Dana Nau,et al.  SIPS: An Application of Hierarchical Knowledge Clustering to Process Planning , 1986 .

[3]  Alexander H. Levis,et al.  Petri net representation of decision models , 1985, IEEE Transactions on Systems, Man, and Cybernetics.

[4]  Marc Courvoisier,et al.  Joining Petri nets and knowledge based systems for monitoring purposes , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[5]  A. Giordana,et al.  Modelling Production Systems by means of Predicate-Transitions Networks , 1985, Inf. Sci..

[6]  Didier Dubois,et al.  Using Petri nets to represent production processes , 1983, The 22nd IEEE Conference on Decision and Control.

[7]  Hong-Chao Zhang,et al.  Computer Aided Process Planning: the state-of-the-art survey , 1989 .

[8]  Toshio Sata,et al.  The Integration of CAD and CAM by Application of Artificial-Intelligence Techniques , 1982 .

[9]  Tung-Hsu Hou,et al.  Integration of a CAPP system and an FMS , 1991 .

[10]  Richard A. Wysk,et al.  An Introduction to Automated Process Planning Systems , 1984 .

[11]  Timothy J. Greene,et al.  Alternative routings in CAPP implementation in a FMS , 1988 .

[12]  Derek L. Nazareth,et al.  Investigating the Applicability of Petri Nets for Rule-Based System Verification , 1993, IEEE Trans. Knowl. Data Eng..

[13]  Behrokh Khoshnevis,et al.  A real-time computer-aided process planning system as a support tool for economic product design , 1993 .

[14]  Krishnaswami Srihari,et al.  Macro-capp: A prototype capp system for an FMS , 1990 .

[15]  R. Valette,et al.  Petri nets for sequence constraint propagation in knowledge based approaches , 1987 .

[16]  Manuel Silva,et al.  A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net , 1980, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets.

[17]  Tien-Chien Chang.  TIPPS, a totally integrated process planning system , 1982 .

[18]  Fritz Krückeberg,et al.  Mathematical methods for calculating invariants in Petri nets , 1986, European Workshop on Applications and Theory of Petri Nets.

[19]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[20]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[21]  Kurt Lautenbach.  Linear Algebraic Techniques for Place/Transition Nets , 1986, Advances in Petri Nets.

[22]  W. E. Wilhelm,et al.  Effectiveness of alternate operations in a flexible manufacturing system , 1985 .

[23]  Yi Deng,et al.  A G-Net Model for Knowledge Representation and Reasoning , 1990, IEEE Trans. Knowl. Data Eng..

[24]  Jean-Claude Latombe,et al.  GARI: A Problem Solver That Plans How to Machine Mechanical Parts , 1981, IJCAI.