 | 낙하산무료 및 오픈 소스 BCHI Automata 그래픽 편집기 |
| 지금 다운로드 | |
낙하산 순위 및 요약
광고
낙하산 태그
낙하산 설명
무료 및 오픈 소스 Bchi Automata 그래픽 편집기 Paxion은 자바로 작성된 Bchi Automata (특별한 종류의 유한 상태 오토 마타)를위한 무료 및 오픈 소스 그래픽 편집기입니다. Paxion은 여러 모델 체커에 대한 그래픽 프론트 엔드를 제공하며 Automata의 독립형 편집기로 사용할 수 있습니다. 요구 사항 : · 자바 이 릴리스에서는 새로운 기능 : 새로운 기능 : · 수락 세트는 컬러 서클로 표시됩니다 (색상은 · 사용자) · 수락 설정은 State가 EditState 화면에 나열됩니다. 버그 수정: · Windows에서는 오른쪽 버튼을 클릭하면 컨텍스트 메뉴가 표시됩니다. · 직사각형 선택을 시작하는 대신 그리기 패널 · Windows에서 표시하는 대신 마우스 오른쪽 버튼을 클릭하면 상태가 추가되지 않습니다. · 더 이상 상황에 맞는 메뉴 · 오작동을 수정했습니다. 프로그램은 전환을 만드는 동안 마우스를 드래그 할 때 두 점을 추가하지 않습니다 (마우스가 정확히 동일한 장소에서 정확하게 해제되지 않은 경우 일반 클릭 대신 두 번 클릭의 인상을주었습니다. 눌렀다) 기타 개선 사항 : · 중간 지점이없는 자체 전환을 허용하지 않습니다 · 프로그램이 상태 모드 대신 선택 모드에서 시작됩니다.
낙하산 관련 소프트웨어
