In: Proc. 16th Symp. on Reliable Distributed Systems, 22-24 October 1997, Durham, NC, pages 18-25. 1997.
Abstract: A new framework for the extension of stochastic Petri nets (SPNs) is introduced in this paper. SPNs are extended by 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 marking of a SPN to another marking. Optional reconfiguration transitions are evaluated in order to optimize a specified reward or cost function. The result of an analysis is provided in the output of a numerical computation, in the form of a graphical presentation of an optimal, marking dependent control strategy and the resulting performability measure when applying the optimal strategy. The extended SONs are called COSTPNs (controlled stochastic Petri nets). COSTPNs are mapped on EMRMs (extended Markov Reward models) for numerical analysis. Computational analysis is possible with algorithms adopted from Markov decision theory, including transient and stationary optimization. The scope of this paper is to introduce the new control structure for SPNs and to present an algorithm for the mapping of COSTPNs on EMRMs.
Keywords: Markov decision theory, controlled stochastic Petri nets, dynamic optimization, extended Markov reward models.
Back to the Petri Nets Bibliography