ANÁLISE DE POLÍTICAS DE SEGURANÇA POR MEIO DE REDE PETRI COLORIDA EM SISTEMAS DE INFORMAÇÃO EM SAÚDE QUE UTILIZAM CONTROLE DE ACESSO BASEADO EM PAPÉIS (RBAC) Documento