Relaciones de Bisimulación entre Autómatas, Ecuaciones Diferenciales Estocásticas y Redes de Petri