This package contains classes implementing state space exploration of PEPA models.

TODO