Petri net synthesis and synchronization using knitting technique

The conventional Petri net (PN) synthesis approaches, in general, suffer the drawback of synthesizing limited classes of nets. However, the knitting technique can synthesize PNs beyond asymmetric-choice nets. In addition, one major advantage of the knitting technique is that the resultant PN is guaranteed to be live, bounded, and reversible-the well-behaved properties. Most current synthesis techniques cannot handle system with shared resources, Zhou and DiCesare (1991) presented the conditions of a PN containing sequential mutual exclusion (SME) to be live, bounded, and deadlock-free. The major motivation of this work is to generalize Zhou and DiCesare's work and to extend the authors' knitting technique (1994) to construct classes of PNs that involve synchronization and shared resources according to the synthesis rules. In addition, this paper begins the consideration of marking in the PN synthesis with knitting technique.<<ETX>>

[1]  D. T. Wang,et al.  Extending Knitting Technique To Petri Net Synthesis Of Automated Manufacturing Systems , 1992, Proceedings of the Third International Conference on Computer Integrated Manufacturing,.

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

[3]  Daniel Y. Chao,et al.  An interactive tool for design, simulation, verification, and synthesis of protocols , 1994, Proceedings of International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems.

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

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

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

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

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

[9]  Daniel Y. Chao,et al.  An interactive tool for design, simulation, verification, and synthesis of protocols , 1994, Softw. Pract. Exp..

[10]  Manuel Silva Suárez,et al.  On the analysis and synthesis of free choice systems , 1991, Applications and Theory of Petri Nets.

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

[12]  Ajoy Kumar Datta,et al.  Synthesis of a Class of Deadlock-Free Petri Nets , 1984, JACM.

[13]  Manuel Silva Suárez,et al.  Circuits, handles, bridges and nets , 1991, Applications and Theory of Petri Nets.

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

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

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

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

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

[19]  Daniel Yuh Chao,et al.  X Window Implementation of an Algorithm to Synthesize Ordinary Petri Nets , 1996 .

[20]  C. V. Ramamoorthy,et al.  An Implementation of an Automated Protocol Synthesizer (APS) and Its Application to the X.21 Protocol , 1985, IEEE Transactions on Software Engineering.

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

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

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

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

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