Back to Search
Start Over
Deadlock-Freeness Analysis of Continuous Mono-T-Semiflow Petri Nets.
- Source :
-
IEEE Transactions on Automatic Control . Sep2006, Vol. 51 Issue 9, p1472-1481. 10p. 3 Black and White Photographs, 12 Diagrams. - Publication Year :
- 2006
-
Abstract
- 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. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 00189286
- Volume :
- 51
- Issue :
- 9
- Database :
- Academic Search Index
- Journal :
- IEEE Transactions on Automatic Control
- Publication Type :
- Periodical
- Accession number :
- 22447790
- Full Text :
- https://doi.org/10.1109/TAC.2006.880957