Formal Methods in Manufacturing

15	Performance Evaluation of Flexible Manufacturing Systems with Timed Process Algebra María Carmen Ruiz, Diego Cazorla, Fernando Cuartero and Hermenegilda Macia

CONTENTS

15.1 Introduction

15.2 Overview of Flexible Manufacturing Systems

15.3 Related Work

15.4 The Language BTC

15.4.1 Operational Semantics

15.5 Specification of FMSs

15.5.1 Case Study

15.6 Performance Evaluation

15.7 BAL Tool

15.7.1 Graphical Interface and Assistant

15.8 Conclusion and Future Work

References

15.1 INTRODUCTION

During the mid-1960s, knife market competition became more intense. In the period between 1960 and 1970, cost became the primary concern. Later, quality became a priority. As the market became more and more complex, delivery speed became vital for any customer ...