CSP generation from Petri-nets models

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 15, Issue 1, 2002, Pages 241-246

  Riera, Daniel ^a   Piera, Miquel A ^a   Guasch, Antoni ^b  

^a UNIVERSITAT AUTÒNOMA DE BARCELONA   (Spain)

^b CSIC   (Spain)

Author keywords

Constraint satisfaction problems; Methodology; Petri nets; Planning; Production systems

Indexed keywords

AUTOMATION; COMPUTER PROGRAMMING; CONSTRAINT THEORY; MANUFACTURE; PETRI NETS; PLANNING; PROBLEM SOLVING; PRODUCTION CONTROL;

CONSTRAINT PROGRAMMING; DECISION VARIABLES; METHODOLOGY; NONDETERMINISTIC SYSTEMS; PRODUCTION LOGISTICS; PRODUCTION PLANNING; PRODUCTION SYSTEM; UNCERTAINTY IN DEMAND;

CONSTRAINT SATISFACTION PROBLEMS;

EID: 84945563857     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20020721-6-es-1901.00042     Document Type: Conference Paper

References (9)

1. Barták, R. (1999). Constraint programming: In pursuit of the holy grail. Proceedings of WDS99 (invited talk).
2. Gallaire, H. (1985). Logic programming: Further developments. IEEE Symposium on Logic Programming.
3. Jaffar, J. and J.L. Lassez (1987). Constraint logic programming. The ACM Symposium on Principles of Programming Languages.
4. Jensen, K. (1997). Coloured Petri Nets: Basics Concepts, Analysis Methods and Practical Use. Vol. 1. Springer-Verlag. Berlin.
5. Silva, M. and R. Valette (1989). Petri nets and flexible manufacturing. Lecture Notes in Computer Science, vol. 424, Advances in Petri Nets pp. 374-417.
6. Sutherland, I. (1963). Sketchpad: a man-machine graphical communication system. Proc. IFIP Spring Joint Computer Conference.
7. Waltz, D.L. (1975). Understanding line drawings of scenes with shadows, in: Psycology, of Computer Vision. McGraw-Hill. New York.
8. Wang, L. and S. Wu (1998). Modeling with colored timed object-oriented petri nets for automated manufacturing systems. Computers and Industrial Engineering 34(2), 463-480.
9. Zimmermann, A., K. Dalkowski and G. Hommel (1996). A case study in modeling and performance evaluation of manufacturing systems using colored petri nets. Proceedings of the 8th European Simulation Symposium (ESS '96).