Text this: Automata for Modeling the Distributed Probabilistic Reversible Processes