A unified framework for differential aggregations in Markovian process algebra
We study lumping of differential equations induced by Markovian process algebra. We introduce ordinary fluid lumpability, a new notion of exact aggregation. We study approximations which relax the symmetries required in the perfect cases. We show that in practice the approximation is numerically robust.
markovian process algebra lumpability fluid semantics