Deadlock-Freeness Analysis of Continuous Mono-T-Semiflow Petri Nets

Deadlock-Freeness Analysis of Continuous Mono-T-Semiflow Petri Nets,10.1109/TAC.2006.880957,IEEE Transactions on Automatic Control,Jorge Júlvez,Laura

Deadlock-Freeness Analysis of Continuous Mono-T-Semiflow Petri Nets   (Citations: 4)
BibTex | RIS | RefWorks Download
Most verification techniques for highly populated discrete systems suffer from the state explosion problem. The "fluidification" of discrete systems is a classical relaxation technique that aims to avoid the state explosion problem. Continuous Petri nets are the result of fluidifying traditional discrete Petri nets. In continuous Petri nets the firing of a transition is not constrained to the naturals but to the non-negative reals. Unfortunately, some important properties, as liveness, may not be preserved when the discrete net model is fluidified. Therefore, a thorough study of the properties of continuous Petri nets is required. This paper focuses on the study of deadlock-freeness in the framework of mono-T-semiflow continuous Petri nets, i.e., conservative nets with a single repetitive sequence (T-semiflow). The study is developed both on untimed and timed systems. Topological necessary conditions are extracted for this property. Moreover, a bridge relating deadlock-freeness conditions for untimed and timed systems is established
Journal: IEEE Transactions on Automatic Control - IEEE TRANS AUTOMAT CONTR , vol. 51, no. 9, pp. 1472-1481, 2006
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.
Sort by: