Some aspects of Probabilistic Automata