Abstract
New generation manufacturing systems are involved in a transformation process which aims for more reliable production processes and with a lower response time to the demand of the market. This work presents an application of artificial intelligence planning techniques for the automatic generation of the control program for a manufacturing system expressed as a safe and live Petri net. The advantage of the system presented here is straightforward: it allows for a fast generation of sound results free of human errors, reducing the cost and duration of the development phase of control programs.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
AAAI (1996) American Association for Artificial Intelligence, special interest group on manufacturing. http://sigman.cs.umn.edu/.
Allen, J. F., Hendler, J. and Tate, A. (1990) Readings in Planning, Morgan-Kaufmann.
ANSI-ISA (1995) Batch control Part 1: models and terminology (SP-88). Instrument Society of America (ISA).
Ausfelder, C., Castelain, E. and Gentina, J. (1994) Hierarchical modelling of flexible manufacturing systems. IEEE Transactions on Systems, Man and Cybernetics, 24, 564–573.
Aylett, R., Soutter, J., Petley, G. and Chung, P. (1998) AI Planning in a chemical plant domain. In European Conference on Artificial Intelligence.
Castillo, L. Development and application of nonlinear planning techniques for control programming in manufacturing systems (in Spanish). PhD thesis, Universidad de Granada, Electronically available at http://decsai.ugr.es/~lcv.
Castillo, L., Fdez-Olivares, J. and González, A. (1998) Automatic synthesis of control sequences: a nonlinear planning approach, in Luger, G. (Ed.) AAAI Special Interest Group in Manufacturing Workshop: Artificial Intelligence and Manufacturing, State of the Art and State of the Practice, AAAI Press, pp. 47–54.
Castillo, L. and González, A. (1997) MACHINE: A model of action for multi-agent domains, in European Conference on Planning ECP-97.
Castillo, L. and González, A. (1998) A nonlinear planner for solving sequential control problems in manufacturing systems, in Coelho, H. (Ed.) Progress in Artificial Intelligence, Lecture Notes in Artificial Intelligence. Springer-Verlag.
Esparza, J. (1990) Synthesis rules for Petri nets, and how they lead to new results, in CONCUR'90, pp. 182–198.
Fabian, M., Lennartson, B., Gullander, P., Andreasson, S. and Adlemo, A. (1997) Integrating process planning and control for flexible production systems, in European Control Conference.
Fikes, R. E. and Nilsson, N. J. (1971) STRIPS: A new approach to the application of theorem proving to problem solving, Artificial Intelligence, 2, 189–208.
Fisher, T. (1990) Batch Control Systems: Design, application and implementation. Instrument Society of America (ISA).
Gruver, W. A. and Boudreaux, J. C. (1993) Intelligent Manufacturing: programming environments for CIM, Springer-Verlag, London.
IEC (1988) Preparation of function charts for control systems. Technical Report, IEC-60848, International Electrotechnical Commission.
IMS (1995) Intelligent Manufacturing Systems, an international research and development program, http://www.ims.org/.
Jeng, M. D. and DiCesare, F. (1990) A review of synthesis techniques for Petri nets, in Conference on Integrated Manufacturing, pp. 348–355.
Klein, I. (1994) Automatic systhesis of control programs for an assembly line. Technical Report: TH-ISY-R-1806, Linkoping University.
McAllester, D. and Rosenblitt, D. (1991) Systematic nonlinear planning, in AAAI-91, pp. 634–639.
Nilsson, N. J. (1980) Principles of Artificial Intelligence Tioga Publishing.
Peterson, J. L. (1981) Petri nets theory and the modelling of systems. Prentice-Hall.
PLANET (1998) European Network of Excellence in Artificial Intelligence Planning, technical coordination unit in intelligent manufacturing. http://odl.education. salford.ac.uk/dan/pims/home.html.
Russell, S. and Norvig, P. (1995) Artificial Intelligence: A Modern Approach. Prentice Hall.
Silva, M. and Valette, R. (1990) Petri nets and flexible manufacturing systems, in Rozenberg, G. (Ed.) Advances in Petri nets, Springer-Verlag, pp. 374–417.
Tittus, M. (1995) Control synthesis for batch processes. PhD thesis, Chalmers University of Technology.
Valette, R. (1995) Petri nets for control and monitoring: speci®cation, veri®cation and implementation, Technical Report 95099, Laboratoire d'Analyse et d'Architecture des Systèmes, Toulouse, France.
Weld, D. (1995) An introduction to least commitment planning. AI Magazine, 15(4).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Castillo, L., Fdez-Olivares, J. & Gonza´lez, A. A three-level knowledge-based system for the generation of live and safe Petri nets for manufacturing systems. Journal of Intelligent Manufacturing 11, 559–572 (2000). https://doi.org/10.1023/A:1026504523038
Issue Date:
DOI: https://doi.org/10.1023/A:1026504523038