Proporcionamos un algoritmo para calcular eficientemente la bisimulación de sistemas de transición etiquetados probabilísticos, que presentan elección no determinista, así como elección probabilística discreta. El algoritmo es lineal en el número de transiciones y logarítmico en el número de estados, distinguiendo tanto estados de acción como estados probabilísticos, y las transiciones entre ellos. El algoritmo mejora los límites de complejidad propuestos del mejor algoritmo que aborda el mismo propósito hasta ahora por Baier, Engelen y Majster-Cederbaum (Journal of Computer and System Sciences 60:187-231, 2000). Además, experimentalmente, en varios benchmarks, nuestro algoritmo funciona bastante bien; incluso en sistemas de transición relativamente pequeños, se puede lograr una ganancia de rendimiento de un factor 10,000.