Ubuntu Online, Fedora Online, Windows 온라인 에뮬레이터 또는 MAC OS 온라인 에뮬레이터와 같은 여러 무료 온라인 워크스테이션 중 하나를 사용하여 OnWorks 무료 호스팅 제공업체에서 실행할 수 있는 ltsview 명령입니다.
프로그램:
이름
LTSView - 레이블이 지정된 전환 시스템의 3D 대화형 시각화
개요
LTS보기 [OPTION]... [인파일]
기술
LTSView 애플리케이션을 시작합니다. INFILE이 제공되면 INFILE의 LTS가 로드됩니다.
응용 프로그램.
입력 형식은 INFILE의 내용에 따라 결정됩니다. 실패하면 시도는 다음과 같습니다.
파일 확장자에 따라 입력 형식을 강제로 적용했습니다. 지원되는 형식
파일 확장자는 다음과 같습니다:
알데바란 형식(CADP; *.aut);
GraphViz 형식(*.dot);
유한 상태 기계 형식(*.fsm);
mCRL SVC 형식(*.svc);
mCRL2 형식(*.lts).
옵션
OPTION 다음 중 하나일 수 있습니다.
--타이밍[=FILE]
FILE에 타이밍 측정을 추가합니다. 측정값은 다음과 같은 경우 표준 오차로 기록됩니다.
파일이 제공되지 않음
표준 옵션:
-q, --조용한
경고 메시지를 표시하지 않음
-v, --말 수가 많은
짧은 중간 메시지 표시
-d, -디버그
자세한 중간 메시지 표시
--로그 수준=LEVEL
레벨을 포함한 중간 메시지 표시
-h, --도움
도움말 정보 표시
--번역
버전 정보 표시
onworks.net 서비스를 사용하여 온라인으로 ltsview를 사용하세요.