Timing and deadlock-freeness in continuous Petri Nets

Timing an (discrete or continuous) unforced net model reserves deadlock-freeness, but not the stronger liveness property, in general. The converse is not true, and if the autonomous net model has deadlocks, the timing may transform it into deadlock-free. Under infinite servers semantics, here we investigate the conditions on the firing rates of continuous timed models that makes deadlock-free a given timed system. Copyright © 2007 International Federation of Automatic Control All Rights Reserved.