Text this: Modeling, simulation, and evaluation of causal order assurance techniques in causal broadcast algorithms using timed colored petri nets.