This Article 
 Bibliographic References 
 Add to: 
Algorithms for the Generation of State-Level Representations of Stochastic Activity Networks with General Reward Structures
September 1996 (vol. 22 no. 9)
pp. 603-614

Abstract—Stochastic Petri nets (SPNs) and extensions are a popular method for evaluating a wide variety of systems. In most cases, their numerical solution requires generating a state-level stochastic process, which captures the behavior of the SPN with respect to a set of specified performance measures. These measures are commonly defined at the net level by means of a reward variable. In this paper, we discuss issues regarding the generation of state-level reward models for systems specified as stochastic activity networks (SANs) with "step-based reward structures." Step-based reward structures are a generalization of previously proposed reward structures for SPNs and can represent all reward variables that can be defined on the marking behavior of a net. While discussing issues related to the generation of the underlying state-level reward model, we provide an algorithm to determine whether a given SAN is "well specified." A SAN is well specified if choices about which instantaneous activity completes among multiple simultaneously enabled instantaneous activities do not matter, with respect to the probability of reaching next possible stable markings and the distribution of reward obtained upon completion of a timed activity. The fact that a SAN is well specified is both a necessary and sufficient condition for its behavior to be completely probabilistically specified and hence is an important property to determine.

[1] W.H. Sanders and J.F. Meyer, "A Unified Approach for Specifying Measures of Performance, Dependability, and Performability," Dependable Computing for Critical Applications, A. Avizienis and J.C. Laprie, eds., vol. 4of Dependable Computing and Fault-Tolerant Systems, pp. 215-238. Springer-Verlag, 1991.
[2] G. Ciardo, A. Blackmore, P.F. Chimento, J.K. Muppala, and K.S. Trivedi, "Automated Generation and Analysis of Markov Reward Models Using Stochastic Reward Nets," Linear Algebra, Markov Chains, and Queueing Models. Springer-Verlag, 1993.
[3] M.Ajmone Marsan,G. Balbo,, and G. Conte,“A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems,” ACM Trans. Computer Systems, pp. 93-122, vol. 2, no. 2, May 1984.
[4] J.F. Meyer, A. Movaghar, and W.H. Sanders, “Stochastic Activity Networks: Structure, Behavior, and Application,” Proc. Int'l Workshop Timed Petri Nets, pp. 106-115, July 1985.
[5] M.K. Molloy, "Performance Aalysis Using Sstochastic Petri Nets," IEEE Trans. Computers, vol. 31, pp. 913-917, Sept. 1982.
[6] A. Movaghar and J.F. Meyer, "Performability Modeling with Stochastic Activity Networks," Proc. Real-Time Systems Symp.,Austin, Tex., Dec. 1984.
[7] G. Chiola, M. Ajmone Marsan, G. Balbo, and G. Conte, "Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications," IEEE Trans. Software Eng., vol. 19, no. 2, pp. 89-107, Feb. 1993.
[8] G. Balbo, G. Chiola, G. Franceschinis, and G. Molinar-Roet, "On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets," Proc. Workshop Petri Nets and Performance Models, pp. 136-145. IEEE Computer Soc., 1987.
[9] G. Chiola, "A Graphical Petri Net Tool for Performance Analysis," Proc. Third Int'l Workshop on Modeling Techniques and Performance Evaluation, AFCET, Paris, France, pp. 136-145, Mar. 1987.
[10] W.H. Sanders, "Construction and Solution of Performability Models Based on Stochastic Activity Networks," PhD thesis, Univ. of Michigan, 1988.
[11] G. Ciardo and R. Zijal, “Well-Defined Stochastic Petri Nets,” Proc. Fourth Int'l Workshop Modeling Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'96), pp. 278–284. IEEE CS Press 1996.
[12] G. Ciardo, R. German, and C. Lindemann, “A Characterization of the Stochastic Process Underlying a Stochastic Petri Net,” IEEE Trans. Software Eng., vol. 20, pp. 506–515, 1994.
[13] W.H. Sanders, W.D. Obal II, M.A. Qureshi, and F.K. Widjanarko, “TheUltraSANModeling Environment,” Performance Evaluation, vol. 24, no. 1, pp. 89-115, 1995.

Index Terms:
Stochastic Petri nets, stochastic activity networks, Markov processes, well-specified, well-defined.
Muhammad A. Qureshi, William H. Sanders, Aad P. A. van Moorsel, Reinhard German, "Algorithms for the Generation of State-Level Representations of Stochastic Activity Networks with General Reward Structures," IEEE Transactions on Software Engineering, vol. 22, no. 9, pp. 603-614, Sept. 1996, doi:10.1109/32.541432
Usage of this product signifies your acceptance of the Terms of Use.