MODELLING AND ANALYSIS OF MANUFACTURING SYSTEMS USING AUGMENTED MARKED GRAPHS

Abstract

A manufacturing system is typically an event-driven system in which the processes are asynchronous in nature and used to compete with each other for common resources. As the sharing of resources may induce erroneous situations such as deadlocks, in manufacturing system design, a major design objective is to achieve a live and reversible system. Augmented marked graphs possess specific structural characteristics and dynamic properties which are especially desirable for modelling and analysing manufacturing systems. This paper begins with a review of augmented marked graphs and their properties. Then, we show the modelling of a manufacturing system using an augmented marked graph, and the analysis of the system liveness and reversibility based on the properties of augmented marked graphs.