Modular synthesis of Petri nets for modeling flexible manufacturing systems
Tóm tắt
This paper proposes a modular Petri net synthesis method for modeling flexible manufacturing systems based on synchronization among control processes of the manufacturing resources (such as robots and machines). In the method, the target system is modeled in a bottom-up and uniform manner by first describing the system's control processes using strongly connected state machines (SCSMs) as the basic modules. Each SCSM may contain multiple tokens to represent resources from the same type such as spaces in a buffer. Next, the common transitions and common transition subnets of the modules are merged to represent their synchronization. The system model constructed is proven to be conservative and thus bounded. Moreover, a restricted class of merged nets is proven to be live and reversible. For general classes of merged nets, this paper shows theorems that easily calculateP-invariants of the final net without solving the linear system equations. TheseP-invariants can be used to help in verifying the model's qualitative properties such as liveness.
Tài liệu tham khảo
Agerwala, T. and Y. Choed-Amphai, “A Synthesis Rule for Concurrent Systems,”Proceedings of the Fifteenth Design Automation Conference, Las Vegas, pp. 305–311 (1978).
Beck, C.L., “Modeling and Simulation of Flexible Control Structures for Automated Manufacturing Systems,” M.S. thesis and Robotics Institute technical report, Carnegie-Mellon University, Pittsburgh, PA (1985).
Berthelot, G., “Transformations and Decompositions of Nets,”Advances in Petri Nets 1986 (Lecture Notes in Computer Science 254), Springer-Verlag, New York, pp. 359–376 (1986).
DiCesare, F. and M.D. Jeng, “Synthesis for Manufacturing Systems Integration,” inPractice of Petri Nets in Manufacturing, Chapman and Hall, London, pp. 103–146 (1993).
Esparza, J. and M. Silva, “Top-Down Synthesis of Live and Bounded Free Choice Nets,” Technical Report GISIRR-90.01, University of Zaragoza, Spain (1990).
Hoare, C.A.R., “Communicating Sequential Processes,”Communications of ACM, Vol. 21, No. 8, pp. 666–677 (1978).
Jantzen, M. and R. Valk, “Formal Properties of Place/Transition Nets,”Net Theory and Applications (Lecture Notes in Computer Science 84, Springer-Verlag, New York, pp. 165–212 (1980).
Jeng, M.D. and F. DiCesare, “A Review of Synthesis Techniques for Petri Nets with Applications to Automated Manufacturing Systems,”IEEE Transactions on Systems, Man and Cybernetics, Vol. 23, No. 1, pp. 301–312 (1993).
Krogh, B.H. and C.L. Beck, “Synthesis of Place/Transition Nets for Simulation and Control of Manufacturing Systems,”Proceedings of the Fourth IFAC/IFORS Symposium on Large Scale Systems, pp. 661–666 (1986).
Murata, T., “Petri Nets: Properties, Analysis and Applications,”Proceedings of IEEE, Vol. 77, No. 4, pp. 541–580 (1989).
Narahari, Y. and N. Viswanadham, “A Petri Net Approach to the Modelling and Analysis of Flexible Manufacturing Systems,”Annals of Operations Research, Vol. 3, pp. 449–472 (1985).
Peterson, J.L.,Petri Net Theory and the Modeling of Systems, Prentice-Hall, Englewood Cliffs, NJ (1981).
Suzuki, I. and T. Murata, “A Method for Stepwise Refinement and Abstraction of Petri Nets,”Journal of Computer and System Science, Vol. 27, pp. 51–76 (1983).
Valette, R., “Analysis of Petri Nets by Stepwise Refinement,”Journal of Computer and System Science, Vol. 18, pp. 35–46 (1979).
Zhou, M.C., F. DiCesare, and A.A. Desrochers, “A Hybrid Methodology for Synthesis of Petri Net Models for Manufacturing Systems,”IEEE Transactions on Robotics and Automation, Vol. 8, No. 3, pp. 350–361 (1992).