A TEMPORISED PETRI-NET APPROACH FOR DESIGN, MODELING AND ANALYSIS OF FLEXIBLE PRODUCTION SYSTEMS

The aim of this work is to present an approach, which allows tile repr oduction of a flexible production system behaviour during production o perations and gives feedback about its efficiency, in order to validat e the system's specifications. The modelling and analysis of flexible production systems are investigated for both functional and performanc e objectives. The paper focuses particularly on the modelling and anal ysis of production systems using a new proposed temporised Petri net t ool and demonstrates how the model obtained suits the tasks well by pr oducing a higher accuracy system description. An analysis methodology based on both structural and reachability-like approaches, is also pre sented to derive the behaviour characteristics of the modelled systems in terms of their functionality and performance. From validation data analysis the user can obtain useful suggestions regarding layout conf iguration and strategies of resource management and can be guided thro ughout the whole production system design phase. An application exampl e is given.