The Community for Technology Leaders
Proceedings of the Fourth International Workshop on Petri Nets and Performance Models (1991)
Melbourne, Victoria, Australia
Dec. 2, 1991 to Dec. 5, 1991
ISBN: 0-8186-2285-7
pp: 290-299
J. Couvillion , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
R. Freire , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
R. Johnson , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
W.D. Obal , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
M.A. Qureshi , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
M. Rai , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
W.H. Sanders , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
J.E. Tvedt , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
ABSTRACT
Stochastic extensions to Petri nets have received growing attention during the past decade as a model for evaluating the performance, dependability, and performability of computer hardware, software, and networks. Their formal structure permits solution by analytic means in many cases. When this is not possible, they an facilitate the automatic generation of a simulation program to estimate system behavior. The paper describes an X-window based software tool for evaluating systems that are represented as stochastic activity networks, a variant of stochastic Petri nets. The tool, known as UltraSAN, incorporates the results of recent research to significantly reduce the size of the state space that is considered for analytic solution, as well as the number of event types that are considered in simulation. Throughout the paper, a simple local area network model is used to illustrate the concepts, user interface, and model construction and solution methods implemented in the package.<>
INDEX TERMS
performance evaluation, Petri nets, software tools
CITATION

J. Couvillion et al., "Performability modeling with UltraSAN," Proceedings of the Fourth International Workshop on Petri Nets and Performance Models(PNPM), Melbourne, Victoria, Australia, , pp. 290-299.
doi:10.1109/PNPM.1991.238791
82 ms
(Ver 3.3 (11022016))