Gerencia e valida a consistencia causal de tramas ramificadas e linhas do tempo alternativas usando grafos de eventos.