Modeling, simulation, and evaluation of causal order assurance techniques in causal broadcast algorithms using timed colored petri nets. - NamvariTazehkand, Leila; Pashazadeh, Saeid (Journal of Supercomputing, 2025)