Paxion. Free Source Bchi Automata Editor gráfico
Baixe Agora

Paxion. Classificação e resumo

Paxion. Tag

editar a parte dianteira Editor gráfico. autômatos frontend gráfico Editor de autômatos

Paxion. Descrição

Editor gráfico de código gratuito e aberto Bchi Automata O Paxion é um editor gráfico gratuito e aberto para o Bchi AutomatA (um tipo especial de autômato de estado finito), escrito em Java. O Paxion fornece um frontend gráfico para vários verificadores de modelo e pode ser usado como editor independente do Automata. Requisitos: · Java. O que há de novo nesta versão: Novas características: · Aceitar conjuntos são marcados por círculos coloridos (as cores são escolhidas pelo · do utilizador) · Os conjuntos de aceitação um estado pertencem são listados na tela EditState Correções de bugs: · No Windows, ele mostrará o menu de contexto em um clique direito no · Painel de desenho em vez de iniciar uma seleção retangular · No Windows, não adicionará um estado no clique direito em vez de mostrar · O menu de contexto mais · Corrigido um mau comportamento: o programa não adiciona dois pontos quando o mouse é arrastado ao criar uma transição (isso deu a impressão de um clique duplo em vez de um clique normal quando o mouse não foi liberado exatamente no mesmo local que era pressionado) Melhorias Misc: · Não permitir transições auto sem ponto intermediário · O programa começa no modo de seleção em vez do modo de estado

Paxion. Software Relacionado