BAL tool in flexible manufacturing systems

  • Authors:

  • Diego Pérez Leándrez;M. Carmen Ruiz;J. Jose Pardo;Diego Cazorla

  • Affiliations:

  • Escuela Superior de Ingenieria Informatica, Univ. de Castilla-La Mancha, Albacete, Spain;Escuela Superior de Ingenieria Informatica, Univ. de Castilla-La Mancha, Albacete, Spain;Escuela Superior de Ingenieria Informatica, Univ. de Castilla-La Mancha, Albacete, Spain;Escuela Superior de Ingenieria Informatica, Univ. de Castilla-La Mancha, Albacete, Spain

  • Venue:
  • AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

A tool for performance evaluation will be presented in this paper. The tool is named BAL and is based on the timed process algebra BTC incorporating resources as well. BAL begins by first making the syntactic analysis of the system specification, and then draws up its relevant transition graph by applying the rules of the operational semantics and solves a performance optimization problem relevant to optimize of the maximum throughout. Usage of BAL tool is illustrated on a Flexible Manufacturing Systems (FMS) to find a suitable number of resources/machines to maximize system throughput.