Abstract
Evaluating a manufacturing system consists of providing some information about its behavior, the most important information being the productivity of the system. According to the approach adopted in Chapter 2, we consider the cyclic production case and the general case separately. Within these two parts of the study, we will consider the deterministic case and the stochastic case. As the reader will see, the most important results are in the deterministic cyclic production case. We propose also an efficient approach for evaluating the productivity in the stochastic cyclic production case. The general case is more difficult to treat. Nevertheless, we propose a simple way to evaluate the system, assuming that the control is chosen and that the modules composing the system have been chosen in an adequate manner.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
Agerwala, T. and Choed-Amphai, Y., A synthesis rule for concurrent systems. Proceedings of the 15th Design Automation Conference. Las Vegas, NV, pp. 305–311, June 1978.
Alaiwan, H. and Toudic, J. M. Recherche des semi-flots, des verrous et des trappes dans less réseaux de Petri. Techniques et Science Informatiques, vol. 4, no. 1, pp. 103–112, 1985.
Baccelli, F. Ergodic theory of stochastic Petri networks, INRIA Research Report No. 1037, May 1989.
Benson, H. P. A finite algorithm for concave minimization over a polyhedron. Nav. Res. Logis, vol. 32, pp. 165–177, 1985.
Chrétienne, P. Les réseaux de Petri temporisés. Université de Paris VI, Paris, France, Thèse d’Etat, 1983.
Claver, J. F., Harhalakis, G., Proth, J. M., Savi, V. M. and Xie, X. L. A step-wise specification of a manufacturing system using Petri nets. Conference IEEE Systems, Man and Cybernetics, Charlotte, Virginia, October 1991.
Commoner, F., Holt, A., Even, S. and Pnueli, A. Marked directed graphs. Journal of Computer and System Science, vol. 5, no. 5, 1971.
Di Mascolo, M., Frein, Y, Dallery, Y. and David, R. A Unified Modeling of Kan-ban Systems Using Petri Nets. Technical Report No. 89-06, LAG. Grenoble, France, September 1989.
Hillion, H. P. and Proth, J. M., Performance evaluation of job-shop systems using timed event-graphs. IEEE Transactions on Automatic Control, vol. 34, no. 1, pp. 3–9, 1989.
Holloway, L. E. and Krogh, B. H. Synthesis of feedback control logic for a class of controlled Petri nets. IEEE Transactions on Automatic Control, vol. 35, no. 5, May 1990.
Koh, I. and DiCesare, F. Transformation methods for generalized Petri nets and their application in flexible manufacturing systems. Proceedings of the 2nd International Conference of the CIM, Rensselaer Polytechnic Institute, Troy, NY, May 1990.
Krogh, B. H. and Beck, C. L. Synthesis of place/transition nets for simulation and control of manufacturing systems. Proceedings of the IFIP Symposium of Large Scale Systems, Zurich, August 1986.
Laftit, S., Proth, J. M. and Xie, X. Optimization of invariant criteria for event graphs. IEEE Transactions on Automatic Control, May 1992.
Mu Der Jeng and DiCesare, F. A review of synthesis techniques for Petri nets. Proceedings International Conference on Computer Integrated Manufacturing, Troy, NY, pp. 348–355, 1990.
Murata, T. Petri nets: properties, analysis and applications. Proceedings of the IEEE, vol. 77. no. 4, April 1989.
Narahari, Y. and Visvanadham, N. A Petri net approach to the modeling and analysis of flexible manufacturing systems. Annals of O.R., vol. 3, pp. 449–472, 1985.
Peterson, J. L. Petri Nets Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs, NJ, 1981.
Ramamoorthy, C. V. and Ho, G. S. Performance evaluation of asynchronous concurrent systems using Petri nets. IEEE Transactions on Software Engineering, vol. SE-6, no. 5, pp. 440–449, 1980.
Ramchandani, C. Analysis of asynchronous concurrent systems by timed Petri nets. Laboratory of Computer Science, Massachusetts Institute of Technology, Cambridge, MA. Tech. Rep. 120, 1974.
Sifakis, J. A unified approach for studying the properties of transition systems. Theoretical Computer Science, vol. 18, pp. 227–258, 1982.
Van Thoai, N. and Tuy, H. Convergent algorithms for minimizing a concave function. Mathematics of Operations research, vol. 5, no. 4, pp. 556–566, 1980.
Warland, J. An Introduction to Queueing Networks. Prentice-Hall, Englewood Cliffs, NJ, 1988.
Rights and permissions
Copyright information
© 1993 F. DiCesare, G. Harhalakis, J. M. Proth, M. Silva and F. B. Vernadat
About this chapter
Cite this chapter
Proth, J.M. (1993). Performance evaluation of manufacturing systems. In: Practice of Petri Nets in Manufacturing. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-6955-4_4
Download citation
DOI: https://doi.org/10.1007/978-94-011-6955-4_4
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-011-6957-8
Online ISBN: 978-94-011-6955-4
eBook Packages: Springer Book Archive