Online manual on the SPNP package:

Modeling Examples:
- Example 1: Molloy's example
- Example 2: Software Performance Analysis
- Example 3: M/M/m/b Queue
- Example 4: C.mmp system performability analysis
- Example 5: Database system availability analysis
- Example 6: ATM network under overload
- Example 7: Criticality Importance and Birnbaum Importance
- Example 8: Channel recovery scheme in a cellular network
- Example 9: Accurate Model for the BUS in ATM LAN emulation
- Example 10: Birth-death Model for the BUS in ATM LAN emulation
- Example 11: MMPP Model for the BUS in ATM LAN emulation
- Example 12: Performance analysis of Multi-Protocol Label Switching Network
- Example 13: Simulation example: reader and writer sharing buffer
- Example 14: Hybrid System: reactor temperature control system
- Example 15: Dual tank system
- Example 16: Equivalent failure rate and repair rate computation in hierarchical model
- Example 17: Analysis of Phased-Mission Systems (PMS) with DSPN


Kishor Trivedi
Last modified: Wed April 28 11:49:28 EST 1999