A sufficient condition for the liveness of weighted event graphs - Archive ouverte HAL
Article Dans Une Revue European Journal of Operational Research Année : 2009

A sufficient condition for the liveness of weighted event graphs

Résumé

Weighted event graphs (in short WEG) are widely used to model industrial problems and embedded systems. In an optimization context, fast algorithms checking the liveness of a marked WEG must be developed. The purpose of this paper is to develop a sufficient condition of liveness of a WEG. We first show that any unitary WEG can be transformed into a graph in which the values of the arcs adjacent to any transition depend on the transition. Then, a simple sufficient condition of liveness can be expressed on this new graph and polynomially computed. This condition is shown to be necessary for a circuit with two transitions.

Dates et versions

hal-01197183 , version 1 (11-09-2015)

Identifiants

Citer

Olivier Marchetti, Alix Munier-Kordon. A sufficient condition for the liveness of weighted event graphs. European Journal of Operational Research, 2009, 197 (2), pp.532-540. ⟨10.1016/j.ejor.2008.07.037⟩. ⟨hal-01197183⟩
235 Consultations
0 Téléchargements

Altmetric

Partager

More