Modelagem de uma proposta para interligação segura entre redes de controle industrial e corporativas utilizando redes de petri coloridas Documento