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. © 2011 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Pérez Leándrez, D., Ruiz, M. C., Pardo, J. J., & Cazorla, D. (2011). BAL tool in flexible manufacturing systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6486 LNCS, pp. 209–215). https://doi.org/10.1007/978-3-642-17796-5_13
Mendeley helps you to discover research relevant for your work.