Performance Evaluation of Flexible Manufacturing Systems with Timed Process Algebra

Industrial Information Technology - Formal Methods in Manufacturing ◽

10.1201/b16529-19 ◽

2014 ◽

pp. 453-475

Author(s):

María Ruiz ◽

Diego Cazorla ◽

Fernando Cuartero ◽

Hermenegilda Macia

Keyword(s):

Performance Evaluation ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Process Algebra

Download Full-text

Performance Evaluation of Flexible Manufacturing Systems with Timed Process Algebra

Formal Methods in Manufacturing ◽

10.1201/9781315216140-15 ◽

2018 ◽

pp. 453-476

Author(s):

María Carmen Ruiz ◽

Diego Cazorla ◽

Fernando Cuartero ◽

Hermenegilda Macia

Keyword(s):

Performance Evaluation ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Process Algebra

Download Full-text

Specification and performance evaluation of Flexible Manufacturing Systems using a Bounded True Concurrent Process Algebra

2006 International Conference on Computational Inteligence for Modelling Control and Automation and International Conference on Intelligent Agents Web Technologies and International Commerce (CIMCA'06) ◽

10.1109/cimca.2006.200 ◽

2006 ◽

Cited By ~ 2

Author(s):

M. Ruiz ◽

Diego Cazorla ◽

Fernando Cuartero ◽

J. Pardo

Keyword(s):

Performance Evaluation ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Process Algebra ◽

Concurrent Process ◽

And Performance

Download Full-text

Performance Evaluation of Flexible Manufacturing Systems by Coloured Timed Petri Nets and Timed State Space Generation

Industrial Information Technology - Formal Methods in Manufacturing ◽

10.1201/b16529-17 ◽

2014 ◽

pp. 381-408

Author(s):

Gasper Mušič ◽

Liana Napalkova ◽

Miguel Piera

Keyword(s):

Performance Evaluation ◽

Petri Nets ◽

State Space ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Timed Petri Nets ◽

State Space Generation

Download Full-text

Flexible manufacturing systems modelling and performance evaluation using AutoMod

International Journal of Simulation Modelling ◽

10.2507/ijsimm10(2)3.176 ◽

2011 ◽

Vol 10 (2) ◽

pp. 78-90 ◽

Cited By ~ 7

Author(s):

B.S.P. Reddy ◽

C.S.P. Rao

Keyword(s):

Performance Evaluation ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Systems Modelling ◽

And Performance

Download Full-text

Performance evaluation of flexible manufacturing systems with blocking

International Journal of Production Research ◽

10.1080/00207548908942667 ◽

1989 ◽

Vol 27 (11) ◽

pp. 1963-1979 ◽

Cited By ~ 10

Author(s):

HORST TEMPELMEIER ◽

HEINRICH KUHN ◽

ULRICH TETZLAFF

Keyword(s):

Performance Evaluation ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems

Download Full-text

Analytical performance evaluation for the design of flexible manufacturing systems

10.1109/cdc.1978.268006 ◽

1978 ◽

Cited By ~ 2

Author(s):

James Solberg

Keyword(s):

Performance Evaluation ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Analytical Performance

Download Full-text

Heuristic methods based on mean-value analysis for flexible manufacturing systems performance evaluation

10.1109/cdc.1982.268311 ◽

1982 ◽

Cited By ~ 15

Author(s):

Jean-bernard Cavaille ◽

Didier Dubois

Keyword(s):

Performance Evaluation ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Mean Value ◽

Heuristic Methods ◽

Value Analysis ◽

Mean Value Analysis

Download Full-text

Performance Evaluation of Flexible Manufacturing Systems with Starving

Modern Production Concepts ◽

10.1007/978-3-642-76401-1_36 ◽

1991 ◽

pp. 584-600 ◽

Cited By ~ 2

Author(s):

Horst Tempelmeier ◽

Heinrich Kuhn ◽

Ulrich Tetzlaff

Keyword(s):

Performance Evaluation ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems

Download Full-text

Computer aided modelling based on Petri net theory and performance evaluation of flexible manufacturing systems

10.1109/ciccas.1991.184290 ◽

2002 ◽

Author(s):

Yu Haibin ◽

Liu Changyou ◽

Xu Xinhe

Keyword(s):

Performance Evaluation ◽

Petri Net ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Computer Aided ◽

And Performance

Download Full-text

Performance evaluation of cellular flexible manufacturing systems: A decomposition approach

European Journal of Operational Research ◽

10.1016/0377-2217(92)90050-j ◽

1992 ◽

Vol 57 (2) ◽

pp. 287-304 ◽

Cited By ~ 2

Author(s):

R. Ram ◽

N. Viswanadham

Keyword(s):

Performance Evaluation ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Decomposition Approach

Download Full-text