Skip to main content
SpringerLink
Log in

BAL Tool in Flexible Manufacturing Systems

  • Conference paper
Algebraic Methodology and Software Technology (AMAST 2010)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 6486))

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.

This work has been partially supported by CICYT project TIN2009-14312-C02-02, and JCCM project PEII09-0232-7745.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)

    Google Scholar 

  2. Metalurgica y Plasticos de la Mancha S.A., http://www.mpm-ab.com

  3. Carmen Ruiz, M., Cazorla, D., Cuartero, F., Pardo, J.J., Macià, H.: A Bounded True Concurrency Process Algebra for Performance Evaluation. In: Núñez, M., Maamar, Z., Pelayo, F.L., Pousttchi, K., Rubio, F. (eds.) FORTE 2004. LNCS, vol. 3236, pp. 143–155. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Escuela Superior de Ingenieria Informatica, Univ. de Castilla-La Mancha, Campus Univ. s/n., 02071, Albacete, Spain

    Diego Pérez Leándrez, M. Carmen Ruiz, J. Jose Pardo & Diego Cazorla

Authors
  1. Diego Pérez Leándrez
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. M. Carmen Ruiz
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. J. Jose Pardo
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Diego Cazorla
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Macquarie University, Sydney, Australia

    Michael Johnson

  2. University of Oxford, Oxford, UK

    Dusko Pavlovic

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Pérez Leándrez, D., Ruiz, M.C., Pardo, J.J., Cazorla, D. (2011). BAL Tool in Flexible Manufacturing Systems. In: Johnson, M., Pavlovic, D. (eds) Algebraic Methodology and Software Technology. AMAST 2010. Lecture Notes in Computer Science, vol 6486. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-17796-5_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-17796-5_13

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-17795-8

  • Online ISBN: 978-3-642-17796-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation