This package contains classes implementing state space exploration of PEPA models.
TODO
Implement Hide
Functional Rates
Generator Matrix