Abstract
Traditional production planning techniques are constrained by large numbers of decision variables, uncertainty in demand and time production, and non-deterministic system behaviour (intrinsic characteristics in manufacturing). This paper presents an improvement to a methodology in the area of Knowledge Based Systems (KBS) which generates automatically Constraint Satisfaction Problems (CSP), using Petri-nets (PN) to model the problem and Constraint Programming (CP) in the solution.
The methodology combines the modelling power of PN to represent both manufacturing architecture and production logistics, together with the optimisation performance given by CP. While PN can represent a whole production system, CP is effective in solving large problems, especially in the area of planning. The improvement raises from the design of a more complete algorithm to calculate the transitions firings bounds, and hence to remove useless problem variables.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
French, S.: Sequencing and Scheduling: An Introduction to the Mathematics of the Job-Shop. Willey, New York (1982)
Gallaire, H.: Logic Programming: Further developments. IEEE Symposium on Logic Programming. Boston (1985)
Guasch, A., Piera, M.A., Casanovas, J., Figueras, J.: Modelado y simulación. Edicions UPC, Barcelona (2002)
Jaffar, J., Lassez, J.L.: Constraint Logic Programming. The ACM Symposium on Principles of Programming Languages. ACM (1987)
Jensen, K.: Coloured Petri-Nets: Basics Concepts, Analysis Methods and Practical Use. Springer-Verlag, Vol. 1. Berlin (1997)
Riera, D. and Piera, M.A. and Guasch, A.: CSP Generation from Petri-nets Models. IFAC b’02. 15th World Congress. Barcelona (2002)
Silva, M.: Las Redes de Petri: en la Automática y la Informática. AC, Madrid (1985)
Silva, M., Valette, R.: Petri Nets and Flexible Manufacturing. Lecture Notes in Computer Science, Vol. 424. Advances in Petri-Nets, (1989) 374–417
Sutherland, I.: Sketchpad: a man-machine graphical communication system. Proc. IFIP Spring Joint Computer Conference (1963)
Waltz, D.L.: Understanding line drawings of scenes with shadows, in: Psycology, of Computer Vision. McGraw-Hill, New York (1975)
Wang, L., Wu, S.: Modeling with Colored Timed Object-Oriented Petri Nets for Automated Manufacturing Systems. Computers and Industrial Engineering, Vol. 34,2, (1998) 463–480
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Riera, D., Piera, M.A., Guasch, A. (2002). PN to CSP Methodology: Improved Bounds. In: Escrig, M.T., Toledo, F., Golobardes, E. (eds) Topics in Artificial Intelligence. CCIA 2002. Lecture Notes in Computer Science(), vol 2504. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36079-4_13
Download citation
DOI: https://doi.org/10.1007/3-540-36079-4_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00011-2
Online ISBN: 978-3-540-36079-7
eBook Packages: Springer Book Archive