# Networked conflicting timed event graphs representation in (Max,+) algebra

- 151 Downloads
- 5 Citations

## Abstract

Timed Event Graphs (TEGs) are a specific class of Petri nets that have been thoroughly studied given their useful linear state representation in (Max,+) algebra. Unfortunately, TEGs are generally not suitable for modeling systems displaying resources sharing (or conflicts). In this paper, we show that if a system with conflicts is modeled using a NCTEG (Networked Conflicting Timed Event Graphs), it is quite possible to obtain an equivalent (Max,+) representation. More precisely, we prove that the evolution of a NCTEG satisfies linear time-varying (Max,+) equations. In case of cyclic NCTEGs, which are a natural model of many repetitive systems, we provide a standard time-invariant (Max,+) representation. As an application of the proposed approach to exhibit its interest, we consider the case of Jobshops. We first propose a generic NCTEG-based model of these systems and subsequently apply the corresponding (Max,+) representation to evaluate some of their performances.

## Keywords

Timed event graph (Max,+) algebra Conflict Linear-time varying systems Repetitive systems## References

- Addad B, Amari S, Lesage JJ (2010) Linear time-varying (Max,+) representation of conflicting timed event graphs. In: 10th int. workshop on discrete event systems, Berlin, Germany, pp 310–315Google Scholar
- Baccelli F, Cohen G, Olsder GJ, Quadrat JP (1992) Synchronization and linearity: an algebra for discrete event systems. Wiley, New YorkzbMATHGoogle Scholar
- Baccelli F, Foss S, Gaujal B (1996) Free choice Petri nets: an algebraic approach. IEEE Trans Automat Contr 41(12):1751–1778MathSciNetzbMATHCrossRefGoogle Scholar
- Bolzern P, Colaneri P, Scatolini R (1986) Zeros of discrete time linear periodic systems. IEEE Trans Automat Contr 31:1057–1058zbMATHCrossRefGoogle Scholar
- Boutin O, Cottenceau B, L’Anton A, Loiseau JJ (2009) Modeling systems with periodic routing functions in dioid (Min,+). In: 13th IFAC symposium on information control problems in manufacturing, Moscow, Russia, pp 1377–1382Google Scholar
- Cohen G, Gaubert S, Quadrat JP (1999) Max plus algebra and systems theory: where we are and where to go now. Annu Rev Control 23:207–219Google Scholar
- Correia A, Abbas-Turki A, Bouyekhf R, El Moudni A (2009) A dioid model for invariant resource sharing problems. IEEE Trans Syst Man Cybern Part A Syst Humans 39(4):770–781CrossRefGoogle Scholar
- Gaubert S (1995) Resource optimization and (min,+) spectral theory. IEEE Trans Automat Contr 40(11):1931–1934MathSciNetzbMATHCrossRefGoogle Scholar
- Gaubert S, Mairesse J (1999) Modeling and analysis of timed Petri nets using heaps of pieces. IEEE Trans Automat Contr 44(4):683–697MathSciNetzbMATHCrossRefGoogle Scholar
- Hillion H, Proth JM (1989) Performance evaluation of jobshop systems using timed event graphs. IEEE Trans Automat Contr 34(1):3–9MathSciNetzbMATHCrossRefGoogle Scholar
- Laftit S, Proth JM, Xie XL (1992) Optimization of invariant criteria for event graphs. IEEE Trans Automat Contr 37(6):547–555MathSciNetzbMATHCrossRefGoogle Scholar
- Lahaye S, Boimond JL, Hardouin L (2004) Linear periodic systems over dioids. Discrete Event Dyn Syst 14(2):133–152MathSciNetzbMATHCrossRefGoogle Scholar
- Litvinov GL, Sobolevski AN (2001) Idempotent interval analysis andoptimization problems. Reliab Comput (Kluwer) 7(5):353–377zbMATHCrossRefGoogle Scholar
- Mayer E, Haus U-U, Raisch J, Weismantel R (2008) Throughput-optimal sequences for cyclically operated plants. Discrete Event Dyn Syst 18(3):355–383MathSciNetzbMATHCrossRefGoogle Scholar
- Misra P (1996) Time-Invariant representation of discrete periodic systems. Automatica 32(2):267–272MathSciNetzbMATHCrossRefGoogle Scholar
- Murata T (1989) Petri nets: properties analysis and applications. Proc IEEE 77(4):541–580CrossRefGoogle Scholar
- Nait SM, Manier MA, El Moudni A, Wack M (2006) Petri net with conflicts and (max,plus) algebra for transportation systems. In: 11th IFAC symposium on transportation systems, The NetherlandsGoogle Scholar
- Van Den Boom TJJ, De Shutter B (2006) Modeling and control of discrete event systems using switching Max-Plus linear systems. Control Eng Pract 14(10):1199–1211CrossRefGoogle Scholar