Cyclic Steady State Refinement

摘要

The paper presents a new modeling framework enabling to evaluate the cyclic steady state of a given system of concurrently flowing cyclic processes (SCCP) on the base of the assumed topology of transportation routes, dispatching rules employed, resources and operation times as well as an initial processes allo-cation. The objective is to provide the rules useful in the course of routing and scheduling executed in SCCP where local cyclic processes interact on the base of a mutual exclusion protocol.