Declarative Modeling of Multimodal Cyclic Processes

Abstract

AbstractCyclic scheduling problems arise in a variety of transportation applications and service domains. Within the class of those problems we can identify situations where there is need to make use of different modes of transportation. What is of particular interest in this paper is the design of a class of multimodal cyclic processes (MCP) for production engineering and supply chains. The paper presents a new modeling framework enabling to prototype and evaluate multimodal processes while comparing their cyclic steady states. A way in which the multimodal processes encompass the behavior of supporting them concurrently flowing cyclic processes (SCCP) is discussed in terms of constraints satisfaction problem. Possible implementations are illustrated on example of the flexible manufacturing system operation.KeywordsCyclic processesCyclic schedulingConcurrent processesMultimodal processesState spaceDeclarative modelingDispatching rules