Abstract
The design of modern telecommunication systems is a complex task since many parameters, mostly of stochastic nature, have to be taken into account in order to achieve desired performance values. Stochastic Petri Nets (SPNs) are a well-known modeling and analysis tool for such systems. In addition, the ability to adapt system operations to quickly changing environment or system conditions is of great importance. Therefore, a new framework for the extension SPNs is presented in this paper which introduces elements providing means for a dynamic optimization of performability measures. A new type of transition is defined offering a feature for specification of controlled switching, called reconfiguration, from one set of markings of a SPN to another set of markings. In a numerical analysis, these optional reconfiguration transitions are evaluated in order to optimize a specified reward or cost function. The result of the analysis is a set of strategies which tell the controller of the system when to fire enabled reconfiguration transitions and when to remain in the current state. The extended SPNs are called COSTPNs (COn-trolled STochastic Petri Nets). For the numerical analysis, COSTPNs are mapped on EMRMs (Extended Markov Reward Models). Computational analysis is possible with algorithms adopted from Markov decision theory, including transient and stationary optimization. This paper introduces the new COSTPN model, discusses the algorithms necessary for the mapping of COSTPNs on EMRMs and shows how COSTPNs can be applied for the modeling and control of a typical telecommunications system, namely a multimedia server. Major emphasis is put on the introduction of new enabling and firing rules for reconfiguring transitions and on the illustration of the new modeling approach by means of the multimedia server example.
Original language | English |
---|---|
Journal | Lecture Notes in Computer Science |
Issue number | 1605 |
Pages (from-to) | 232-272 |
Number of pages | 41 |
ISSN | 0302-9743 |
DOIs | |
Publication status | Published - 1999 |