Extending Knitting Technique To Petri Net Synthesis Of Automated Manufacturing Systems

The modeling or synthesis of Petri nets has been recognized as a key step for applying Petri nets to performance analysis, control, and simulation of industrial production systems. This paper addresses this synthesis problem by adopting a global and incremental synthesis approach: knitting technique for manufacturing systems. The knitting technique has been applied to Petri net modeling and analysis of communication networks. The idea behind this technique is to introduce details in an incremental way, i.e., by adding new paths a d o r cycles to a Petri net. At each step the Petri net model grows according to certain rules which will guarantee such system properties as boundedness, liveness, and reversibility. Thus the cumbersome analysis for these properties can be avoided while designers can still build up a Petri net model for a complicated system. The knitting rules are divided into two types: TT and PP with a number of variatwns. The resulrs are illustrated through Petri net modeling of an automed manufacturing system which consists of two robots, five machines, and a two Automatic Guided Vehicle (AGV) system.

[1]  T Murata,et al.  Reduction and expansion of live and safe marked graphs. , 1979 .

[2]  Yadati Narahari,et al.  A Petri net approach to the modelling and analysis of flexible manufacturing systems , 1985 .

[3]  Robert Valette,et al.  Analysis of Petri Nets by Stepwise Refinements , 1979, J. Comput. Syst. Sci..

[4]  Ichiro Suzuki,et al.  A Method for Stepwise Refinement and Abstraction of Petri Nets , 1983, J. Comput. Syst. Sci..

[5]  Manuel Silva Suárez,et al.  Top-down synthesis of live and bounded free choice nets , 1990, Applications and Theory of Petri Nets.

[6]  Frank DiCesare,et al.  Modular transformation methods for generalized Petri nets and their application to automated manufacturing systems , 1991, IEEE Trans. Syst. Man Cybern..

[7]  Yuh Yaw,et al.  The algorithm of a synthesis technique for concurrent systems , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

[8]  MengChu Zhou,et al.  Modeling and performance analysis of a resource-sharing manufacturing system using stochastic Petri nets , 1990, Proceedings. 5th IEEE International Symposium on Intelligent Control 1990.

[9]  MengChu Zhou,et al.  A hybrid methodology for synthesis of Petri net models for manufacturing systems , 1992, IEEE Trans. Robotics Autom..

[10]  C. V. Ramamoorthy,et al.  Synthesis rules for cyclic interactions among processes in concurrent systems , 1988, Proceedings COMPSAC 88: The Twelfth Annual International Computer Software & Applications Conference.

[11]  Carolyn L. Beck,et al.  Synthesis of Place Transition Nets for Simulation and Control of Manufacturing Systems , 1987 .

[12]  I. Koh,et al.  Transformation methods for generalized Petri nets and their applications to flexible manufacturing systems , 1990, [1990] Proceedings. Rensselaer's Second International Conference on Computer Integrated Manufacturing.

[13]  Norihisa Komoda,et al.  A Petri Net-Based Controller for Flexible and Maintainable Sequence Control and its Applications in Factory Automation , 1986, IEEE Transactions on Industrial Electronics.

[14]  Tadao Murata.  Synthesis of Decision-Free Concurrent Systems for Prescribed Resources and Performance , 1980, IEEE Transactions on Software Engineering.

[15]  Manuel Silva.  Towards a synchrony theory for P/T nets , 1987 .

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

[17]  Tilak Agerwala,et al.  A Synthesis Rule for Concurrent Systems , 1978, 15th Design Automation Conference.

[18]  MengChu Zhou,et al.  Adaptive design of Petri net controllers for error recovery in automated manufacturing systems , 1989, IEEE Trans. Syst. Man Cybern..

[19]  Zden Ek,et al.  Petri Net Models for Manufacturing Systems , 2022 .

[20]  Ajoy Kumar Datta,et al.  Modular Synthesis of Deadlock-Free Control Structures , 1986, FSTTCS.

[21]  MengChu Zhou,et al.  Parallel and sequential mutual exclusions for petri net modeling of manufacturing systems with shared resources , 1991, IEEE Trans. Robotics Autom..

[22]  Gérard Berthelot,et al.  Checking properties of nets using transformation , 1985, Applications and Theory in Petri Nets.

[23]  MengChu Zhou,et al.  Control of a Flexible Manufacturing System Using Petri Nets , 1990 .

[24]  M. Zhou,et al.  A top-down approach to systematic synthesis of Petri net models for manufacturing systems , 1989, Proceedings, 1989 International Conference on Robotics and Automation.

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

[26]  Yuh Yaw.  Analysis and synthesis of distributed systems and protocols , 1987 .

[27]  M.C. Zhou,et al.  Construction of Petri net based mathematical models of an FMS cell , 1991, Conference Proceedings 1991 IEEE International Conference on Systems, Man, and Cybernetics.

[28]  Kimon P. Valavanis.  On the hierarchical modeling analysis and simulation of flexible manufacturing systems with extended Petri nets , 1990, IEEE Trans. Syst. Man Cybern..

[29]  Tadao Murata,et al.  Circuit theoretic analysis and synthesis of marked graphs , 1977 .

[30]  Joël Favrel,et al.  Hierarchical reduction method for analysis and decomposition of Petri nets , 1985, IEEE Transactions on Systems, Man, and Cybernetics.