Minimizing Place Capacities of Weighted Event Graphs for Enforcing Liveness - Archive ouverte HAL
Article Dans Une Revue Discrete Event Dynamic Systems Année : 2008

Minimizing Place Capacities of Weighted Event Graphs for Enforcing Liveness

Résumé

This paper addresses the problem of minimizing place capacities of weighted event graphs in order to enforce liveness. Necessary and sufficient conditions of the solution existence are derived. Lower bounds of place capacities while preserving liveness are established and a polynomial algorithm is proposed to determine an initial marking leading to these lower bounds while preserving the liveness.

Dates et versions

hal-01195977 , version 1 (08-09-2015)

Identifiants

Citer

Olivier Marchetti, Alix Munier-Kordon. Minimizing Place Capacities of Weighted Event Graphs for Enforcing Liveness. Discrete Event Dynamic Systems, 2008, 18 (1), pp.91-109. ⟨10.1007/s10626-007-0035-y⟩. ⟨hal-01195977⟩
115 Consultations
0 Téléchargements

Altmetric

Partager

More