Improving performance in flexible manufacturing systems

Journal of Logic and Algebraic Programming

Volumn 78, Issue 4, 2009, Pages 260-273

  Carmen Ruiz, M ^a   Cazorla, Diego ^a   Cuartero, Fernando ^a   Macia, Hermenegilda ^a  

^a UNIVERSITY OF CASTILLA LA MANCHA   (Spain)

Author keywords

Available resources; CSP; Flexible manufacturing systems; Formal methods; Performance evaluation; Timed process algebra

Indexed keywords

ALGEBRA; COMPETITION; COMPUTER OPERATING PROCEDURES; FORMAL METHODS; RESOURCE ALLOCATION;

AVAILABLE RESOURCES; CSP; IMPROVING PERFORMANCE; MANUFACTURING INDUSTRIES; PERFORMANCE EVALUATION; PRODUCT LIVES; TIMED PROCESS ALGEBRA; TRUE CONCURRENCIES;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 62549104617     PISSN: 15678326     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jlap.2008.11.002     Document Type: Article

References (20)

1. Hoare C. Communicating Sequential Processes (1985), Prentice Hall
2. Silva M., and Valette R. Petri nets and flexible manufacturing. Adv. Petri Nets 424 (1989) 374-417
3. Gill A. Introduction to the Theory of Finite-state Machines (1962), McGraw-Hill, New York
4. Desrochers A.A., and Al-Jaar R.Y. Applications of Petri Nets in Manufacturing Systems. Modeling, Control and Performance Analysis (1995), IEEE Press
5. Ezpeleta J., and Colom J. Automatic synthesis of colored petri nets for the control of FMS. IEEE Trans. Robot. Autom. 13 3 (1997) 327-337
6. P. Loucopoulos, B. Theodoulidis, D. Pantazis, Business rules modelling: conceptual modelling and object-oriented specifications, in: F. Assche, B. Moulin, C. Rolland (Eds.), Object-Oriented Approach in Information Systems, Amsterdam, 1991, pp. 323-342.
7. Zhou M., Dicesare F., and Desreochers A. A top-down modular approach to synthesis of petri net models for manufacturing systems. Proc. IEEE Robot. Autom. Conf. (1989) 531-539
8. Koh I., and Dicesare F. Modular transformation methods for generalized Petri Nets and their application to automated manufacturing systems. IEEE Trans. Syst. Man Cybern. 21 (1991) 1512-1522
9. Proth J., Wang L., and Xie X. A class of petri nets for manufacturing system integration. IEEE Trans. Robot. Autom. 13 (1997) 317-326
10. Wysk R., Neng-Shu Y., and Sanjay J. Resolution of deadlocks in flexible manufacturing systems: avoidance and recovery approaches. J. Manuf. Syst. 13 2 (1994) 128-136
11. Lawley M. Deadlock avoidance for production systems with flexible routing. IEEE Trans. Robot. Autom. 15 3 (1999) 409-497
12. Tricas F., Garcia-Valles F., Colom J., and Ezpeleta J. A Structural approach to the problem of deadlock prevention in processes with resources. Proc. WODES'98 (1998) 273-278
13. G. Clark, S. Gilmore, J. Hillston, The PEPA performance modelling tools, in: Proceedings of the 7th Annual Workshop on Process Algebra and Performance Modelling, 1999.
14. I. Lee, P. Brémond-Grégoire, R. Gerber, A process algebraic approach to the specification and analysis of resource-bound real-time systems, 1994.
15. Brémond-Grégoire P., and Lee I. A process algebra of communicating shared resources with dense time and priorities. Theoret. Comput. Sci. 189 1-2 (1997) 179-219
16. Lee I., Philippou A., and Sokolsky O. Resources in process algebra. J. Log. Algebraic Program. 72 (2007) 98-122
17. Kleijn J., Reniers M.A., and Rooda J. Analysis of an industrial system. Form. Methods Syst. Des. 22 3 (2003) 249-282
18. V. Bos, J. Kleijn, Formal Specification and Analysis of Industrial Systems, PhD Thesis, Technische Universiteit Eindhoven (TU/e), 2002.
19. Hennessy M. Algebraic Theory of Processes (1988), MIT Press
20. Brémond-Grégoire P., and Lee I. A process algebra of communicating shared resources with dense time and priorities. Theoret. Comput. Sci. 189 (1997) 179-219