Enhanced knitting technique to Petri net synthesis

The authors' knitting technique (1994) has been applied to Petri net (PN) modeling and analysis of manufacturing systems. The advantages of the knitting technique include the possibility of implementation as a CAD tool, the preservation of liveness, boundedness, and reversibility (well-behaved properties), and the close control of concurrency and nondeterminism. Therefore, using the knitting technique, designers can build up a PN model for a complicated system without much difficulty. However, there are some limitations in the knitting technique; we enhance it in this work.<<ETX>>

[1]  MuDer Jeng,et al.  A Class of Petri Nets for Modeling and Control of Flexible Manufacturing and Assembly Systems with Shared Resources , 1993 .

[2]  Daniel Y. Chao,et al.  Extending the Knitting Technique to Petri Net Synthesis of Automated Manufacturing Systems , 1994, Comput. J..

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

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

[5]  Daniel Y. Chao,et al.  A synthesis technique of general petri nets , 1994, J. Syst. Integr..

[6]  MengChu Zhou,et al.  Petri net synthesis and analysis of a flexible manufacturing system cell , 1993, IEEE Trans. Syst. Man Cybern..

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

[8]  D. T. Wang,et al.  Iteration bounds of single-rate data flow graphs for concurrent processing , 1993 .

[9]  D. T. Wang,et al.  XPN-FMS: A CAD tool for FMS modeling, analysis, animation, and simulation using Petri nets and X window , 1995 .

[10]  MuDer Jeng,et al.  A review of synthesis techniques for Petri nets with applications to automated manufacturing systems , 1993, IEEE Trans. Syst. Man Cybern..

[11]  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.

[12]  MuDer Jeng,et al.  Synthesis using extended resource control nets for modeling shared-resource automated systems , 1992, [Proceedings] 1992 IEEE International Conference on Systems, Man, and Cybernetics.

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

[14]  MuDer Jeng,et al.  A synthesis method for Petri net modeling of automated manufacturing systems with shared resources , 1992, [1992] Proceedings of the 31st IEEE Conference on Decision and Control.