This package contains PEPA processes.