Cobras Snakes é uma biblioteca Python que fornece tudo, então necessário para definir e executar muitos tipos de redes de Petri.
Baixe Agora

Cobras Classificação e resumo

Cobras Tag

Biblioteca Python. Pitão biblioteca cobras Net Álgebra Kit

Cobras Descrição

As cobras são uma biblioteca Python que fornece tudo, então necessário definir e executar muitos tipos de redes de Petri. As cobras são uma biblioteca Python que fornece tudo, então necessário definir e executar muitos tipos de redes de petri, em particular as da família PBC e M-Nets. Seu principal objetivo é ser uma biblioteca geral de Petri Net, ser capaz de lidar com a maioria dos modelos de redes de Petri, e fornecer ao pesquisador uma ferramenta para protótiem rapidamente suas novas ideias. As cobras devem ser adequadas para fornecer o modelo de dados para editores ou simuladores; Na verdade, qualquer editor que usa cobras também pode ser um simulador como cobras pode executar qualquer recurso de chave net.a de cobras é a capacidade de usar objetos arbitrários de python como tokens e expressões arbitrárias de python em muitos pontos, por exemplo, em transições guardas ou arcos de saída de transições. Isto é o que faz cobras que gerais. Isso depende da capacidade de Python para executar o código Python fornecido dinamicamente (a função Eval). Esse recurso pode não ser eficiente o suficiente para a verificação de modelo: a velocidade é o preço a pagar pela ampla generalidade. No entanto, no caso de um novo modelo, as cobras podem ser a única ferramenta disponível. A outra característica importante das cobras é o sistema de plug-in que permite estender os recursos e trabalhar com classes especializadas de redes de petri. Atualmente, os seguintes plugins são fornecidos: a POS acrescenta a nós da capacidade de manter sua posição. Os nós podem ser movidos ou deslocados, Petri Nets podem ser deslocados globalmente e sua caixa delimitadora pode ser computada.Graphviz adiciona um método para desenhar uma rede Petri usando o GraphViz da ferramenta. O layout é fornecido pelo usuário que fornece a coordenada dos nós (usando o plugin pos) .Status amplia o modelo Petri Net adicionando status aos nós. Isso é semelhante ao que é usado nos modelos da família PBC ou MNETS. Os nós podem então mesclados automaticamente de acordo com o status.Ops, este plugins define operações de fluxo de controle em redes de Petri normalmente encontradas na família PBC e MNETS. Nets podem ser compostos em paralelo, seqüência, escolha e iteração. Essas operações dependem dos lugares Status.Posops combina os recursos dos plugins POS e OPS: As operações de fluxo de controle são modificadas para reorganizar a posição dos nós para fornecer Nets.Lashdata bem modelados permite definir dados que não são tratados Lugares da Net Petri, mas armazenados nas estruturas especiais tratadas pelo chicote da biblioteca. Isso permite, em particular, agregar estados possivelmente infinitos em um estado meta. O que há de novo nesta versão: · Corrigido hash inconstante em clusters · Mutabilidade fixa de multisets hashed · Corrigidas cobras.nets.tuple.mode.

Cobras Software Relacionado