Đây là lệnh ltsview có thể chạy trong nhà cung cấp dịch vụ lưu trữ miễn phí OnWorks bằng cách sử dụng một trong nhiều máy trạm trực tuyến miễn phí của chúng tôi như Ubuntu Online, Fedora Online, trình giả lập trực tuyến Windows hoặc trình giả lập trực tuyến MAC OS
CHƯƠNG TRÌNH:
TÊN
LTSView - Trực quan hóa tương tác 3D của hệ thống chuyển tiếp được gắn nhãn
SYNOPSIS
LTSXem [TÙY CHỌN] ... [TRONG TẬP TIN]
MÔ TẢ
Khởi động ứng dụng LTSView. Nếu INFILE được cung cấp thì LTS trong INFILE được tải vào
ứng dụng.
Định dạng đầu vào được xác định bởi nội dung của INFILE. Nếu điều đó không thành công, một nỗ lực là
được thực hiện để buộc định dạng đầu vào dựa trên phần mở rộng của tệp. Các định dạng được hỗ trợ với
phần mở rộng tệp là:
Định dạng Aldebaran (CADP; * .aut);
Định dạng GraphViz (* .dot);
Định dạng máy trạng thái hữu hạn (* .fsm);
mCRL định dạng SVC (* .svc);
định dạng mCRL2 (*. Regi).
LỰA CHỌN
TÙY CHỌN có thể là bất kỳ điều nào sau đây:
--thời gian[=FILE]
nối các phép đo thời gian vào FILE. Các phép đo được ghi vào lỗi tiêu chuẩn nếu
không có FILE nào được cung cấp
Các tùy chọn tiêu chuẩn:
-q, --Yên lặng
không hiển thị thông báo cảnh báo
-v, --dài dòng
hiển thị thông báo trung gian ngắn
-d, --gỡ lỗi
hiển thị thông báo trung gian chi tiết
--mức đăng nhập=LEVEL
hiển thị các thông báo trung gian lên đến và bao gồm cả cấp
-h, --Cứu giúp
hiển thị thông tin trợ giúp
--phiên bản
hiển thị thông tin phiên bản
Sử dụng ltsview trực tuyến bằng các dịch vụ onworks.net