Exponential stability of Petri net systems | ||
| The International Conference on Electrical Engineering | ||
| Article 48, Volume 6, 6th International Conference on Electrical Engineering ICEENG 2008, May 2008, Pages 1-9 PDF (192.92 K) | ||
| Document Type: Original Article | ||
| DOI: 10.21608/iceeng.2008.34287 | ||
| Authors | ||
| Mehdi Foroozanfar; Ali Doustmohammadi; S. K. Y. Nikravesh | ||
| Department of Electrical Engineering, Amirkabir University of Technology Tehran, IRAN. | ||
| Abstract | ||
| Abstract: In this paper we first present the exponential stability of discrete event dynamic systems (DEDS) available in the literature. The result is then applied to a class of discrete event systems modeled by Petri net. In particular it is shown that a Petri net model of a discrete event system will be exponentially stable if the transition firing obeys certain Lyapunov type rules. In other words, the result obtained here shows that if the Petri net has a given marking at a certain time and the firing of the transitions are done according to certain rules and conditions then the marking of the system states will eventually go to zero in an exponential manner. As a result the finite capacity buffers in the system will not suffer any overflow. An example is given at the end in order to give more insight to the results obtained here. | ||
| Keywords | ||
| Discrete Event Dynamic Systems; Petri Nets; Exponential Stability; Lyapunov Stability; Invariant Set | ||
|
Statistics Article View: 123 PDF Download: 132 |
||
