Max-plus algebra is applied to the modelling of flexible manufacturing systems with mutual exclusion interactions of processes. The method based on this algebra provides a framework for building an executable, performance-oriented model of sequential and repetitive processes where each set of activities is performed repetitively in a fixed sequence that specifies product routing through machines. A new concept of a virtual process as well as the conditions sufficient for a stability margin computation are introduced. An example illustrating the method is presented.
BaccelliF.CohenG.OlsderG. J.QuadratJ.-P.Synchronization and Linearity. An Algebra for Discrete Event Systems, 1992 (John Wiley, Chichester).
2.
InanK. M.VaraiyaP. P.Algebras of discrete event models. Proc. IEEE, 1989, 77(1), 24–38.
3.
LaftitS.ProthJ.-M.Optimization of invariant criteria for event graphs. IEEE Trans. Autom. Control, 1992, 37(5), 547–555.
4.
BrakerJ. G.Algorithms and applications in timed discrete event systems. PhD thesis, Department of Technical Mathematics and Informatics, Delft University of Technology, 1993.
5.
CohenG.MollerJ.-P.Quadrat and Viot MAlgebraic tools for the performance evaluation of discrete event systems. Proc. IEEE, 1989, 77(1), 39–58.
6.
ObuchowiczA.BanaszakZ. A.Modelling and performance evaluation of repetitive automated manufacturing: An algebraic approach. In Proceedings of Second International Symposium on Methods and Models in Automation and Robotics, Mi?dzyzdroje, 30 August-2 September 1995, pp. 809–814.
7.
BanaszakZ.HonczarenkoJ.The automatic synthesis of performance evaluation models: The Petri net approach (Invited Session). In INRIA/IEEE Symposium on Emerging Technologies and Factory Automation ETFA1995, Paris, 10–13 October 1995, Vol. 2, pp. 487–498.
8.
OlsderG. J.Synchronized continuous flow systems. In Discrete Event Systems: Modelling and Control (Eds BalemiS.KozakP.SmedingaR.), 1992, Vol. 13, pp. 113–124 (BirkhÃuser).
