An efficient disk-based tool for solving large Markov models-Reference-Cited by-同舟云学术

An efficient disk-based tool for solving large Markov models

Author:

Deavours Daniel D.,Sanders William H.

Publisher

Elsevier BV

Subject

Computer Networks and Communications,Hardware and Architecture,Modeling and Simulation,Software

Reference15 articles.

1. Templates for the Solution of Linear Systems: Building Blocks for Iterative Methods;Barrett,1994

2. Advances in compositional approaches based on Kronecker algebra: Application to the study of manufacturing systems;Ciardo,1996

3. On the use of Kronecker operators for the solution of generalized stochastic Petri nets;Ciardo,1996

4. ‘On-the-fly’ solution techniques for stochastic Petri nets and extensions;Deavours,1997

5. Superposed generalized stochastic Petri nets: Definition and efficient solution;Donatelli,1994

Cited by 23 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

2. Tool-Based Assessment of Reactor Trip Systems Availability and Safety Using Markov Modeling;Cyber Security and Safety of Nuclear Power Plant Instrumentation and Control Systems;2020

4. Markov's Modeling of NPP I&C Reliability and Safety: Optimization of Tool-and-Technique Selection;2016 Second International Symposium on Stochastic Models in Reliability Engineering, Life Science and Operations Management (SMRLO);2016-02

5. Low-Overhead Development of Scalable Resource-Efficient Software Systems;Advances in Systems Analysis, Software Engineering, and High Performance Computing;2014