Abstract
Optimization is a key issue in the design of large manufacturing systems. An adequate modeling formalism to express the intricate interleaving of competition and cooperation relationships is needed first. Moreover, robust and efficient optimization techniques are necessary. This paper presents an integrated tool for the automated optimization of DEDS, with application to manufacturing systems. After a very quick overview of optimization problems in manufacturing systems, it presents the integration of two existing tools for the modeling and evaluation with Petri nets and a general-purpose optimization package based on simulated annealing. The consideration of a cache and a two phase technique for optimization allows to speed-up the optimization by a factor of about 35. During the first preoptimization phase, a rough approximation of the optimal parameter set is computed based on performance bounds. Two application examples show the benefits of the proposed technique.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Aarts, E. and Korst J. (1989) Simulated Annealing and Bolzmann Machines, Wiley.
Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S. and Franceschinis, G. (1995) Modelling with Generalized Stochastic Petri Nets, Series in parallel computing, John Wiley and Sons.
Balbo, G. and Silva, M. (eds.) (1998) Performance Models for Discrete Event Systems with Synchronisations: Formalisms and Analysis Techniques, Universidad de Zaragoza, Spain. MATCH Advanced School.
Campos, J. (1990) Performance bounds for synchronized queueing networks. Ph.D. Dissertation, Universidad de Zaragoza.
Campos, J., Chiola, G. and Silva, M. (1991) Properties and performance bounds for closed free choice synchronized monoclass networks. IEEE Transactions on Automatic Control (special issue on Multidimensional Queueing Networks), 36(12), 1368-1382.
Campos, J. and Silva, M. (1992) Structural techniques and performance bounds of stochastic petri net models. Advances in Petri Nets 1992, Vol. 609 of Lecture Notes in Computer Science, G. Rozenberg (ed.), Springer Verlag, pp. 352-391.
Ciardo, G., German, R. and Lindemann, C. (1994) A characterization of the stochastic process underlying a stochastic Petri net. IEEE Transactions on Software Engineering, 20, 506-515.
Dallery, Y., Liu, Z. and Towsley, D. (1994) Equivalence, reversibility, symmetry and concavity properties in Fork-join queueing networks with blocking. Journal of the ACM, 41, 903-942.
Gen, M. and Cheng, R. (1997) Genetic Algorithms and Engineering Design, Wiley.
Gordon, W. J. and Newell, G. F. (1967) Closed queueing systems with exponential servers. Operations Research 15, 254-265.
Ingber, L. (1989) Very fast simulated re-annealing. Journal of Mathematical Computer Modelling, 12(8), 967-973.
Ingber, L. (1996) Adaptive simulated annealing (ASA): Lessons learned. Journal of Control and Cybernetics, 25(1), 33-54.
Molloy, M. K. (1982) Performance analysis using stochastic Petri nets. IEEE Transactions on Computers, 31(9), 913-917.
Reeves, C. L. (1993) Modern Heuristic techniques for Combinatorial Problems, Wiley.
Silva, M. and Teruel, E. (1997) Petri nets for the design and operation of manufacturing systems. European Journal of Control, 3(3), 182-199.
Zimmermann, A., Freiheit, J., German, R. and Hommel, G. (2000) Petri net modeling and performability evaluation with TimeNET 3.0, 11th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, Schaumburg, Illinois, USA, pp. 188-202. LNCS 1786.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Zimmermann, A., Rodriguez, D. & Silva, M. A two phase optimization method for Petri net models of manufacturing systems. Journal of Intelligent Manufacturing 12, 409–420 (2001). https://doi.org/10.1023/A:1012292102123
Issue Date:
DOI: https://doi.org/10.1023/A:1012292102123