SHARPE Internal Functions Irreducible Markov Chain Acyclic Markov Chain PH-type Markov Chain Irreducible Semi-Markov Chain Acyclic Semi-Markov Chain Markov Regenerative Process Product Form Queuing Network Multi-in Product Form Queuing Network Acyclic GSPN and PH-type GSPN Irreducible GSPN Stochastic Reward Nets (SRN) Reliability Block Diagrams (RBD) Fault Tree Multistate Fault Trees Phased-Mission Systems Reliability Graph Series-Parallel Acyclic Directed Graphs About this document ...