Análise de políticas de segurança por meio de rede petri colorida em sistemas de informação em saúde que utiliza controle de acesso baseado em papéis (RBAC)