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.
Timing and deadlock-freeness in continuous Petri Nets
Mangini, Agostino Marcello;
2008-01-01
Abstract
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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
