Bu, Ubuntu Online, Fedora Online, Windows çevrimiçi emülatörü veya MAC OS çevrimiçi emülatörü gibi birden fazla ücretsiz çevrimiçi iş istasyonumuzdan birini kullanarak OnWorks ücretsiz barındırma sağlayıcısında çalıştırılabilen txt2lps komutudur.
Program:
ADI
txt2lps - doğrusal bir sürecin mCRL2 belirtimini bir LPS'ye çevirir
SİNOPSİS
txt2lps [SEÇENEK] ... [DOSYADA [ÇIKIŞ DOSYASI]]
TANIM
INFILE'daki mCRL2 belirtimini çevirir ve elde edilen LPS'yi OUTFILE'a yazar. Eğer
OUTFILE mevcut değil, standart çıktı kullanılıyor. INFILE yoksa, standart giriş
kullanıldı.
SEÇENEKLER
SEÇENEK aşağıdakilerden herhangi biri olabilir:
--zamanlamalar[=DOSYA]
DOSYA'ya zamanlama ölçümlerini ekleyin. Ölçümler, aşağıdaki durumlarda standart hataya yazılır:
DOSYA sağlanmadı
Standart seçenekler:
-q, --sessizlik
uyarı mesajlarını gösterme
-v, --ayrıntılı
kısa ara mesajları göster
-d, - hata ayıklama
ayrıntılı ara mesajları göster
--log-seviyesi=SEVİYE
seviyeye kadar ara mesajları göster
-h, --yardım et
yardım bilgilerini göster
--versiyon
sürüm bilgilerini göster
onworks.net hizmetlerini kullanarak çevrimiçi txt2lps kullanın