BAL tool in flexible manufacturing systems

DOI10.1007/978-3-642-17796-5_13MaRDI QIDQ3067478zbMATH OpenOpenAlexFDO

Authors Diego Pérez Leándrez, M. Carmen Ruiz, Juan José Pardo, Diego Cazorla

Publication date 21 January 2011

Published in Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10578/1373

zbMATH Keywords

available resourcesflexible manufacturing systemsperformance evaluationtimed process algebra

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Production models (90B30)

Recommendations

• Improving performance in flexible manufacturing systems
• Evaluating the effect of tool management on flexible manufacturing system performance
• Priority-based tool allocation in a flexible manufacturing system
• Tool planning models for flexible manufacturing systems
• A Branch and Bound Approach for Machine Load Balancing in Flexible Manufacturing Systems

Cites work

• Applying Formal Methods: Testing, Performance, and M/E-Commerce
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)

Cited in

(1)

• Improving performance in flexible manufacturing systems

Describes a project that uses

Uses Software

• BAL

This page was built for publication: BAL tool in flexible manufacturing systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3067478)