Sciweavers

Share
AUTOMATICA
2011

Timing and liveness in continuous Petri nets

8 years 1 months ago
Timing and liveness in continuous Petri nets
Fluidification constitutes a relaxation technique for studying discrete event systems through fluidified approximated models, thus avoiding the state explosion problem. Moreover, the class of continuous models thus obtained may be interesting in itself. In Petri nets, fluidification leads to the so called continuous Petri nets, that are technically hybrid models. Under infinite server semantics, timing a continuous Petri net model preserves the liveness property, but the converse is not necessarily true, and if the autonomous net model is not live, the timing may transform it into live. In this paper we investigate the conditions on the firing rates of timed continuous models that makes live a given continuous system. Key words: Petri-nets; Continuous Systems; Deadlock; Safety analysis; Concurrent systems.
Carlos Renato Vázquez, Manuel Silva
Added 15 May 2011
Updated 15 May 2011
Type Journal
Year 2011
Where AUTOMATICA
Authors Carlos Renato Vázquez, Manuel Silva
Comments (0)
books