TAPAAL

TAPAAL é uma ferramenta de software educacional para modelar, simular e verificar redes de Petri Timed-Arc. Destina-se aos utilizadores que precisam de representar sistemas com comportamento relacionado com o tempo num modelo formal. O software foi desenvolvido no Departamento de Ciência da Computação da Universidade de Aalborg, na Dinamarca.

Suas funções de modelagem fornecem uma forma de descrever as redes de Petri Timed-Arc de forma estruturada. Simulação suporta examinar como um modelo se comporta ao longo do tempo. A verificação é utilizada para avaliar as propriedades formais do modelo. Em conjunto, essas capacidades tornam o TAPAAL relevante para a educação envolvendo modelagem formal e análise.

O TAPAAL está listado para Linux e está disponível sob uma licença gratuita. Os usuários do Linux podem, portanto, usá-lo sem uma licença paga para o software. A categoria colocação é Educação porque o programa foca em aprender e trabalhar com um método formal de modelagem da ciência da computação.

O MirrorNest não hospeda uma cópia espelhada do TAPAAL. Em vez disso, ele liga diretamente ao lançamento oficial. Este arranjo dá aos usuários Linux uma entrada de catálogo que aponta para a distribuição original, mantendo a plataforma do software e informações de licenciamento claras.