MODELING AND VERIFICATION ANALYSIS OF A FLEXIBLE MANUFACTURING SYSTEM: A MODAL LOGIC APPROACH

摘要

A flexible manufacturing system is an efficient production line with versatile machines, an automatic transport system and a sophisticated decision making system. This paper proposes a formal modeling and verification analysis methodology, which consists in representing the flexible manufacturing system by means of a modal logic formula. Then, using the concept of logic implication, and transforming this logical implication relation into a set of clauses, a modal resolution qualitative method for verification (satisfiability) as well as performance issues, for some queries is applied.