Academic
Publications
Timing and liveness in continuous Petri nets

Timing and liveness in continuous Petri nets,10.1016/j.automatica.2010.10.047,Automatica,Carlos Renato Vázquez,Manuel Silva

Timing and liveness in continuous Petri nets   (Citations: 1)
BibTex | RIS | RefWorks Download
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, which 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 a live model. In this paper, we investigate the conditions on the firing rates of timed continuous models that make a given continuous system live.
Journal: Automatica , vol. 47, no. 2, pp. 283-290, 2011
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
    • ...For TCPNs, papers [7])[11] studied the properties of controllability, observability, optimal control, predictive control and deadlock freeness...
    • ...Applications of TCPNs include traffic systems [11], manufacturing systems [12], or biochemical networks [13]...

    Timotei Asafteiet al. On the boundedness of timed continuous Petri nets

Sort by: