Jerzy Raszka,

Lech Jamroż


The increasing complexity of information processing in distributed computer systems and microprocessors requires the use of time-saving devices and extended capacities of transmission channels. Processes in computers systems need effective processing time. This article describes an application of the theory of the Max Plus Linear System (MPLS) to controlling digital information processing and transmission time in information systems. System processes are described by an MPLS state equation and an MPLS output equation. The MPLS model makes use of formal mathematical methods of max-plus algebra which include maximization and addition operations in the domain of non-negative real numbers with the addition of minus infinity. The input data and the structure of the processes under consideration are represented by the Timed Event Graph (TEG) formalism constituting a special case of Timed Petri Nets. The suggested MPLS methods are useful for investigating selected properties of network models. They may be applied, among others, to evaluate performance criteria, cycle time, predictive control etc. This article presents the theoretical considerations used to determine the input signals controlling discrete processes, which are then illustrated with examples of numerical computations.

Słowa kluczowe: max-plus algebra, Petri nets, data processing, discrete processes

Bacceli F., Cohen G., Olsder G., Quadrat J., Synchronization and Linearity. An Algebra for Discrete Event Systems, London, John Wiley & Sons Ltd, 1992.

Balduzzi F., Giua Has., Menga G., First-order hybrid Petri net: In model for optimisation and control, IEEE Trans. On Rob. And Aut. 1 6 (4), 2000 382—399.

Cassandras Ch., Lafortune St., Introduction to Discrete Event Systems, Springer, Kluwer Academic Publishers, 2008.

Elmahi I., Grunder O., Elmoudni A., A max plus algebra approach for modeling and control of lots delivery. Industrial Technology, IEEE ICIT ’04 Vol. 2, 8-10 Dec. 2004, 926—931.

Goverde Rob M.P., Railway timetable stability analysis using max-plus system theory, Elsevier, Transportation Research Part B 41, 2007, p. 179–201

Jamroz L., Raszka J., Simulation method for the performance evaluation of system of discrete cyclic processes. 16-th IASTED International Conference on Modelling, Identification and Control, Innsbruck, Austria, 17-19.02.1997, 190—193

Maia C.A., Andrade C.R., Hardouin L., On the control of max-plus linear system subject to state restriction, Automatica, Volume 47, Issue 5, May 2011, 988—992.

Murata T., Petri nets: properties, analysis and applications. Proceedings of the IEEE, vol. 77, no. 4, p.541-580, 1989.

Guµuleac E., Balmus I. et alt., Descriptive Timed Membrane Petri Nets for Modelling of Parallel Computing, International Journal of Computers, Communications & Control, Vol. I No. 3, 2006, 33—39.

Nait-Sidi-Moh A., Manier M.-A., El Moudni A., Spectral analysis for performance evaluation in a bus network, European Journal of Operational Research Volume 193: Issue 1, 16 February 2009, 289—302.

De Schutter B., van den Boom T., Model predictive control for max-plus linear discrete event systems. Automatica 37(7), July 2001, 1049—1056.