14.3 A FIRST EXAMPLE: A KANBAN-LIKE FLEXIBLE MANUFACTURING SYSTEM
This section is devoted to illustrate how certain of the previous results, and others that will be introduced, can be applied to various tasks during the life cycle of manufacturing systems, addressing the related problems of performance evaluation and control. The manufacturing system considered here consists of two production lines with shared/limited resources (like machines or buffers), and it is modelled as a CPN, a relaxation of the underlying discrete model.
We will start with the analysis of some behavioural properties of the system, like DF, liveness and boundedness, by using the autonomous model. Then, by associating time to transitions, we move to the timed model. The ...
Get Formal Methods in Manufacturing now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
