Paxion Free and open source Bchi automata graphical editor
Download

Paxion Ranking & Summary

Paxion Tags

edit frontend graphic editor automata graphical frontend automata editor

Paxion Description

Free and open source Bchi automata graphical editor Paxion is a free and open source graphical editor for Bchi automata (a special kind of finite state automata), written in Java. Paxion provides a graphical frontend for several model checkers and can be used as a standalone editor of automata. Requirements: · Java What's New in This Release: New Features: · Accepting sets are marked by colored circles (colors are choosen by the · user) · The accepting sets a state belong to are listed on the editState screen Bug Fixes: · Under Windows, it will show the context menu on a right click on the · drawing panel instead of starting a rectangular selection · Under Windows, it will not add a state on a right click instead of showing · the context menu anymore · Fixed a misbehaviour: the program doesn't add two points when the mouse is dragged while creating a transition (this gave the impression of a double click instead of a normal click when the mouse was not released exactly at the same place as it was pressed) Misc Improvements: · Disallow self transitions without intermediate point · The program starts in SELECT mode instead of STATE mode

Paxion Related Software