Formal Methods in Manufacturing

13	Performance Evaluation of Flexible Manufacturing Systems by Coloured Timed Petri Nets and Timed State Space Generation Gasper Mušič, Liana Napalkova and Miquel Àngel Piera

CONTENTS

13.1 Introduction

13.2 Role of Flexibility in Modern Manufacturing Systems

13.3 Quantitative Methods for Performance Evaluation

13.4 Coloured Timed Petri Nets and Timed State Space Analysis

13.4.1 Coloured Petri Nets

13.4.2 Timed Models

13.4.3 CTPN Firing Rule

13.4.4 Classes of Timed State Spaces

13.5 Adaptation of Performance Indicators of Manufacturing Systems to CTPN Framework

13.6 Case Study

13.6.1 Scenario 1

13.6.2 Scenario 2

13.7 Conclusions

Acknowledgement

References

13.1 INTRODUCTION

The manufacturing industry has undergone significant changes in the ...