For the most recent entries see the Petri Nets Newsletter.

SMART: Simulation and Markovian Analyzer for Reliability and Timing.

Ciardo, Gianfranco; Miner, Andrew S.

In: Proc. IEEE Int. Computer Performance and Dependability Symp. (IPDS'96), pages 1-60pp. Urbana-Champaign, IL, USA: IEEE Comp. Soc. Press, September 1996.

Abstract: SMART is a new tool for performance, reliability, availability, and performability modeling. Numerical solution algorithms are available for both continuous- and discrete-time Markov chains. Mixed-time non-Markovian models can be studied using simulation. Multiple interacting models and fixed-point iterative techniques for the decomposition and solution of complex models can be easily specified. To assist in the model specification and help in avoiding common mistakes, the input language is strongly typed.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography