| SHARPE |
| Tool & Interface Description |
| SHARPE Examples |
| Interface Tutorial |
| How to run SHARPE package & SHARPE gui? |
| Tool Manual: PS, PDF |
| Interface Manual: PDF, doc |
| FAQs SHARPE |
| SPNP |
| Tool Description |
| SPNP Examples |
| Interface Decription |
| How to run SPNP package & SPNP gui? |
| Interface Tutorial |
| FAQ |
| Simualtion description |
| Tool Manual: PS, PDF |
| Interface Manual: PDF |
| SRA (Software Rejuvenation Agent) |
| Coming Soon! |
| SREPT |
| Tool Description: very brief, PS(10 MB), PS(compressed, 1 MB) |
| PAPERS |
| SPNP: Stochastic Petri Nets Version 6.0 PS, PDF |
| Reliability and Performability Modeling using SHARPE 2000 PS, PDF |
| The Development of an Integrated Modeling Environment PS, PDF |
| iSPN: an Integrated Environment for Modeling Using Stochastic Petri Nets PS, PDF |
| IDEAS: an Integrated DesignEnvironment for Assessment of Computer Systems PS, PDF |