TY - GEN
T1 - Performability modeling with UltraSAN
AU - Couvillion, J.
AU - Freire, R.
AU - Johnson, R.
AU - Obal, W. D.
AU - Qureshi, M. A.
AU - Rai, M.
AU - Sanders, W. H.
AU - Tvedt, J. E.
N1 - Publisher Copyright:
© 1991 IEEE.
PY - 1991
Y1 - 1991
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=0005403153&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0005403153&partnerID=8YFLogxK
U2 - 10.1109/PNPM.1991.238791
DO - 10.1109/PNPM.1991.238791
M3 - Conference contribution
AN - SCOPUS:0005403153
T3 - Proceedings of the 4th International Workshop on Petri Nets and Performance Models, PNPM 1991
SP - 290
EP - 299
BT - Proceedings of the 4th International Workshop on Petri Nets and Performance Models, PNPM 1991
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 4th International Workshop on Petri Nets and Performance Models, PNPM 1991
Y2 - 2 December 1991 through 5 December 1991
ER -