Minimizing place capacities of weighted event graphs for enforcing liveness

DOI10.1007/S10626-007-0035-YMaRDI QIDQ1020558zbMATH OpenOpenAlexFDO

Authors Olivier Marchetti, Alix Munier-Kordon

Publication date 29 May 2009

Published in Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10626-007-0035-y

zbMATH Keywords

buffer requirementlivenessmanufacturingPetri nets

Mathematics Subject Classification ID

Multivariable systems, multidimensional control systems (93C35) Discrete event control/observation systems (93C65)

Recommendations

• A sufficient condition for the liveness of weighted event graphs
• Complexity results for weighted timed event graphs
• On conditions for the liveness of weakly persistent nets
• scientific article; zbMATH DE number 5079405
• Optimisation of invariant criteria for event graphs

Cites work

• A sufficient condition for the liveness of weighted event graphs
• Firing rate optimization of cyclic timed event graphs by token allocations
• scientific article; zbMATH DE number 522844 (Why is no real title available?)
• Marking optimization of weighted marked graphs
• Optimisation of invariant criteria for event graphs
• Performance evaluation of job-shop systems using timed event-graphs
• Properties of a Model for Parallel Computations: Determinacy, Termination, Queueing
• Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing
• The basic cyclic scheduling problem with linear precedence constraints

Cited in

(4)

• A sufficient condition for the liveness of weighted event graphs
• scientific article; zbMATH DE number 522844 (Why is no real title available?)
• Complexity results for weighted timed event graphs
• Max-plus algebraic description of evolutions of weighted timed event graphs

This page was built for publication: Minimizing place capacities of weighted event graphs for enforcing liveness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1020558)