SCOPUS 정보 검색 플랫폼

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2504, Issue , 2002, Pages 145-158

PN to CSP methodology: Improved bounds

(3) Riera, Daniel a Piera, Miquel A a Guasch, Antoni b

a UNIVERSITAT AUTÒNOMA DE BARCELONA (Spain)

b CSIC (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING; CONSTRAINT THEORY; KNOWLEDGE BASED SYSTEMS; MANUFACTURE; PETRI NETS; PROBLEM SOLVING; PRODUCTION CONTROL;

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

CONSTRAINT SATISFACTION PROBLEMS;

EID: 40649088742 PISSN: 03029743 EISSN: None Source Type: Conference Proceeding
DOI: 10.1007/3-540-36079-4_13 Document Type: Conference Paper

Times cited : (2)

References (11)

1
- 0003732093
- Willey, New York
- French, S.: Sequencing and Scheduling: An Introduction to the Mathematics ofthe Job-Shop. Willey, New York (1982)
- (1982) Sequencing and Scheduling: An Introduction to the Mathematics ofthe Job-Shop.
- French, S.¹

2
- 0022221213
- Logic Programming: Further developments
- Boston
- Gallaire, H.: Logic Programming: Further developments. IEEE Symposium on Logic Programming. Boston (1985)
- (1985) IEEE Symposium on Logic Programming
- Gallaire, H.¹

3
- 10644236958
- Edicions UPC, Barcelona
- Guasch, A., Piera, M.A., Casanovas, J., Figueras, J.: Modelado y simulación. Edicions UPC, Barcelona (2002)
- (2002) Modelado y Simulación.
- Guasch, A.¹ Piera, M.A.² Casanovas, J.³ Figueras, J.⁴

4
- 85032090044
- Constraint logic programming
- Jaffar, J., Lassez, J.L.: Constraint Logic Programming. The ACM Symposium on Principles ofProgramming Languages. ACM (1987)
- (1987) The ACM Symposium on Principles ofProgramming Languages. ACM
- Jaffar, J.¹ Lassez, J.L.²

5
- 1842488630
- Coloured petri-nets: Basics concepts
- Springer-Verlag, Berlin
- Jensen, K.: Coloured Petri-Nets: Basics Concepts, Analysis Methods and Practical Use. Springer-Verlag, Vol. 1. Berlin (1997)
- (1997) Analysis Methods and Practical Use , vol.1
- Jensen, K.¹

6
- 84945563857
- CSP generation from petri-nets models
- Barcelona
- Riera, D. and Piera, M.A. and Guasch, A.: CSP Generation from Petri-nets Models. IFAC b'02. 15th World Congress. Barcelona (2002)
- (2002) IFAC b'02. 15th World Congress
- Riera, D.¹ Piera, M.A.² Guasch, A.³

7
- 0003842336
- AC, Madrid
- Silva, M.: Las Redes de Petri: En la Automática y la Informática. AC, Madrid (1985)
- (1985) Las Redes de Petri: En la Automática y la Informática.
- Silva, M.¹

8
- 0001153857
- Petri nets and flexible manufacturing
- Advances in Petri-Nets
- Silva, M., Valette, R.: Petri Nets and Flexible Manufacturing. Lecture Notes in Computer Science, Vol. 424. Advances in Petri-Nets, (1989) 374-417
- (1989) Lecture Notes in Computer Science , vol.424 , pp. 374-417
- Silva, M.¹ Valette, R.²

9
- 85059208150
- Sketchpad: A man-machine graphical communication system
- Sutherland, I.: Sketchpad: A man-machine graphical communication system. Proc. IFIP Spring Joint Computer Conference (1963)
- (1963) Proc. IFIP Spring Joint Computer Conference
- Sutherland, I.¹

10
- 0002680001
- Understanding line drawings ofscenes with shadows
- McGraw-Hill, New York
- Waltz, D.L.: Understanding line drawings ofscenes with shadows, in: Psycology, ofComputer Vision. McGraw-Hill, New York (1975)
- (1975) Psycology, ofComputer Vision.
- Waltz, D.L.¹

11
- 0032044735
- Modeling with colored timed object-oriented petri nets for automated manufacturing systems
- 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
- (1998) Computers and Industrial Engineering , vol.34 , Issue.2 , pp. 463-480
- Wang, L.¹ Wu, S.²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.