Adicionando OCL aos formalismos abordados e removendo Petri Nets.

Signed-off-by: Cristiano Fernandes <cristiano@azapp.net>