HPS is a high-performance simulation engine that runs models comprised of probabilistic state machines. Such networks also known as stochastic activity networks and can be applied while analysing behaviour and assessing properties of systems.
The base component of the model is state machine, which resides within the environment. The state machine can be implemented in various ways: as Markov state machine, as hierarchical composition of the Markov state machines, or as engine plugin.
The project contains three implementations of the engine, in C++, in .NET Core, and in Go.