lumpability

There are 2 repositories under lumpability topic.

ossef/XBorne-2017
XBorne tool, a software tool for the probabilistic modeling with Markov chains, 2017.
Language:C1 1 00
NicolaAggio/Stochastic-model-of-a-Key-Distribution-Centre
Stochastic model and analysis of the Key Distribution Centre model, exploiting PEPA specification language.
0 1 00