GreatSPN User Manual
User Manual: Pdf
Open the PDF directly: View PDF
Page Count: 138 [warning: Documents this large are best viewed by clicking the View PDF Link!]
- Informal introduction to the formalisms
- Getting started
- GUI in depth
- Solvers
- Structural analyzers
- Performance bounds solver
- Analytic solvers
- Simulators
- Extended SWN features
- Multiple experiments
- Compositionality in GreatSPN
- Export to other tools
- Net description files
- Known bugs and Warnings
- Installation