Este é o aplicativo Linux denominado SEPIA: Security-oriented PN Framework, cuja versão mais recente pode ser baixada como sepia-0.1.5-consistente.jar. Ele pode ser executado online no provedor de hospedagem gratuita OnWorks para estações de trabalho.
Baixe e execute online este aplicativo chamado SEPIA: Security-oriented PN Framework with OnWorks gratuitamente.
Siga estas instruções para executar este aplicativo:
- 1. Baixe este aplicativo em seu PC.
- 2. Entre em nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que você deseja.
- 3. Carregue este aplicativo em tal gerenciador de arquivos.
- 4. Inicie o emulador OnWorks Linux online ou Windows online ou emulador MACOS online a partir deste site.
- 5. No sistema operacional OnWorks Linux que você acabou de iniciar, acesse nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que deseja.
- 6. Baixe o aplicativo, instale-o e execute-o.
SEPIA: Estrutura PN orientada para a segurança
DESCRIÇÃO:
SEPIA fornece implementações para vários tipos de redes de Petri. Junto com as redes de lugar / transição, ele suporta redes de Petri com cores de tokens distinguíveis e define redes de fluxo de trabalho coloridas, onde tokens coloridos são interpretados como elementos de dados usados durante a execução do processo. Para apoiar a análise do fluxo de informações dos processos, o SEPIA define os chamados IF-Nets, feitos sob medida para a modelagem de fluxo de trabalho orientada para a segurança que permite aos usuários atribuir níveis de segurança (ALTO, BAIXO) a transições, elementos de dados e pessoas / agentes que participam do processo execução.SEPIA baseia-se em TOVAL (http://sourceforge.net/p/toval), JAGAL (http://sourceforge.net/p/jagal) e SEWOL (https://sourceforge.net/projects/jawl/) Para usar o SEPIA, certifique-se de que essas bibliotecas estejam no caminho de construção.
SEPIA inclui o Multi Schema Validator (https://msv.java.net/) e isorelax (http://iso-relax.sourceforge.net/)
A documentação pode ser encontrada em http://doku.telematik.uni-freiburg.de/sepia.
Recursos
- Implementação de redes P / T
- Implementação de redes de Petri coloridas
- Implementação de redes coloridas de fluxo de trabalho
- Implementação de IF-Nets
- Travessia da rede de Petri
- Refinamento da rede de Petri
- Utilitários de acessibilidade
- Análise PNML
Público
Ciência / pesquisa, usuários finais avançados, segurança
Linguagem de Programação
Java
Este é um aplicativo que também pode ser obtido em https://sourceforge.net/projects/sepiaframework/. Ele foi hospedado no OnWorks para ser executado online da maneira mais fácil a partir de um de nossos Sistemas Operativos gratuitos.