Modeling Discrete-Event Systems with Hard Synchronization Constraints

An issue of prototyping Systems of Concurrent Cyclic Processes (SCCP), in which a number of concurrently running processes compete to access to a set of resources is considered. The main outcome of this paper is an automated procedure of performance evaluation for such systems with desired values of a wide range of system functional characteristics, such as a schedule of processes flows and the system period. This stage is realised by a procedure of automatic building of an analytical model of SCCP, which is based on the (max, +) algebra formalism. In most cases the (max, +) algebra is used to model of discrete-event systems, while the synchronization is based on rendezvous protocol. However, in this paper - modeling of the systems is based on mutual exclusion protocol, moreover buffers are included. As an illustrative example example RAFI Battery Assembly System was given in this paper.