Promela mecanico