Cyclic scheduling problems concerning multimodal processes are usually observed in FMSs producing multi-type parts where the Automated Guided Vehicles System (AGVS) plays a role of a material handling system. Schedulability analysis of concurrently flowing cyclic processes (SCCP) executed in these kinds of systems can be considered using a declarative modeling framework. Proposed representation provides a unified way for performance evaluation of local cyclic as well as supported by them multimodal processes. The main question regards of reachability of a SCCP cyclic behavior. In this context, the sufficient conditions guarantee the reachability of both local and multimodal processes cyclic steady state spaces are discussed.