CONFLICT MANAGEMENT AND RESOLUTION USING (MAX, +) ALGEBRA: APPLICATION TO SERVICES INTERACTION

Dioid algebra associated with Petri Nets are appropriate tools for modeling, analyzing, and evaluating the performance of Discrete Event Systems (DESs). These tools are restricted to model systems characterized by choice phenomena and con icts. In this paper a routing policy to arbitrate and resolve the conflicts encountered while modeling DESs by dioid algebra, is proposed. This routing policy is illustrated by considering services interaction as a case study. Results are reported to show the eectiveness of the proposed policy.

[1]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[2]  A. Benveniste,et al.  A Petri net approach to fault detection and diagnosis in distributed systems. I. Application to telecommunication networks, motivations, and modelling , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[3]  J. Quadrat,et al.  Algebraic tools for the performance evaluation of discrete event systems , 1989, Proc. IEEE.

[4]  Sébastien Lahaye,et al.  Sur la commande des systèmes flexibles de production manufacturière par l’algèbre des dioïdes , 2007 .

[5]  Geert Jan Olsder,et al.  Max Plus at Work: Modeling and Analysis of Synchronized Systems: A Course on Max-Plus Algebra and Its Applications , 2005 .

[6]  Geert Jan Olsder,et al.  Synchronization and Linearity: An Algebra for Discrete Event Systems , 1994 .

[7]  J. Quadrat,et al.  Linear systems in (max, +) algebra , 1990, 29th IEEE Conference on Decision and Control.

[8]  Marie-Ange Manier,et al.  Spectral analysis for performance evaluation in a bus network , 2009, Eur. J. Oper. Res..

[9]  B. Gaujal,et al.  Throughput in stochastic free-choice nets under various policies , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[10]  Yi Deng,et al.  Performance analysis of traffic networks based on Stochastic Timed Petri Net models , 1999, Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434).

[11]  B. Schutter,et al.  On max-algebraic models for transportation networks , 1998 .