In: Advances in Mechanical Engineering. Proceedings of the 7th ISME Conference, 1990, New Delhi, India, pages 336-345. Indian Society of Mechanical Engineers, 1990.
Abstract: This paper demonstrates the modelling of a Flexible Manufacturing System (FMS) as a Coloured Petri Net and studies its behaviour using structural and dynamic analysis of net properties. Structural analysis is used to identify net invariants which represent invariant properties of the FMS being modelled. These invariants are used to check correctness of model representation and to investigate qualitative properties of the FMS such as upper bounds on resource requirements and possibility of deadlocking. Dynamic analysis using the reachability graph is briefly introduced.
Keywords: coloured net modelling (and) analysis (of) flexible manufacturing system; net invariant; resource requirement; deadlock; reachability graph.