Modeling discrete-event systems with constraints

Prototyping Systems of Concurrent Cyclic Processes (SCCP), in which a number of simultaneously running processes compete to access to a set of resources, in an automated way is the main thread of this paper. 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, especially with multiple executions of single process cycles within single system cycle will be presented. 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 randez-vous protocol. However, in this paper - modeling of the systems is based on mutual exclusion protocol, moreover buffers are included. Moreover the algorithm of determining of the system period and schedule of workflow - when there is no direct relation between eigenvalue of system matrix and system period - will be presented.