The paper presents constraint satisfaction problem driven approach to analytical solution of the cyclic scheduling problem in the Flexible Manufacturing System (FMS) producing multi-type parts where for material handling are used the Automated Guide Vehicles Systems (AGVS). Finding the conditions guaranteeing the AGVs deadlock-free and collision-free movement policy is the aim of our researches. The AGVs co-sharing the common parts of the transportation route while executing repetitive processes, i.e. being assigned to AGVs passing along machines in a cyclic way, can be modeled in terms of Cyclic Concurrent Process Systems (CCPS). Schedulability analysis for a given CCPS answers the question whether a cyclic schedule exists or not. The paper suggests approach for schedulability analysis of multimodal processes representing real manufacturing employing the declarative modeling.
展开▼
