Bu, Ubuntu Online, Fedora Online, Windows çevrimiçi öykünücüsü veya MAC OS çevrimiçi öykünücüsü gibi birden fazla ücretsiz çevrimiçi iş istasyonumuzdan birini kullanarak OnWorks ücretsiz barındırma sağlayıcısında çalıştırılabilen ltsconvert komutudur.
Program:
ADI
ltsconvert - bir LTS'yi dönüştürün ve isteğe bağlı olarak simge durumuna küçültün
SİNOPSİS
ltsdönüştürmek [SEÇENEK] ... [DOSYADA [ÇIKIŞ DOSYASI]]
TANIM
Etiketli geçiş sistemini (LTS) istenen şekilde INFILE'den OUTFILE'a dönüştürün
seçilen simge durumuna küçültme yöntemini uyguladıktan sonra biçimlendirin (varsayılan, hiçbiridir). OUTFILE ise
sağlanmaz, stdout kullanılır. INFILE sağlanmazsa, stdin kullanılır.
Çıkış formatı, OUTFILE uzantısı tarafından belirlenirken, giriş formatı şu şekildedir:
INFILE içeriğine göre belirlenir. Girişi zorlamak için --in ve --out seçenekleri kullanılabilir
ve çıktı biçimleri. Desteklenen biçimler şunlardır:
Aldebaran formatı (CADP) için 'aut',
GraphViz formatı için 'nokta' (artık giriş formatı olarak desteklenmemektedir),
Sonlu Durum Makinesi biçimi için 'fsm' veya
mCRL2 LTS formatı için 'lts' (varsayılan)
SEÇENEKLER
SEÇENEK aşağıdakilerden herhangi biri olabilir:
-D, --belirlemek
LTS'yi belirlemek
-eADI, --denklik=ADI
denkliği koruyarak eşdeğer bir LTS oluşturun NAME: 'none' kimliği
denklik (varsayılan) 'bizim' güçlü benzerlik 'bisim-sig' güçlü benzerlik
imza iyileştirme 'dallanma-bizim' dallanma benzerliği 'dallanma-
imza iyileştirme 'dpbranching-bisim' kullanarak bisim-sig' dallanma benzerliği
dallanmayı koruyan iki benzerlik 'dpbranching-bisim-sig' sapma
imza iyileştirme 'zayıf-bizim' zayıf kullanarak dallanma benzerliğini korumak
benzerlik 'zayıf-bizim-sig' imza iyileştirme kullanarak zayıf benzerlik 'dpweak-
bisim' ayrılığı zayıf iki benzerliği koruyan 'dpweak-bisim-sig' ayrılığı
imza iyileştirme 'sim' güçlü simülasyon kullanarak zayıf benzerlikleri koruma
denklik 'iz' güçlü iz denklik 'zayıf iz' zayıf iz denkliği
'tau yıldızı' tau yıldızı azaltma
-iFORMAT, --içinde=FORMAT
giriş formatı olarak FORMAT kullanın
-lDOSYA, --lps=DOSYA
LTS girişinin oluşturulduğu LPS olarak FILE kullanın; bunun için gerekli olabilir
fsm formatında kaydederken durumların doğru parametre adlarını saklayın ve
mCRL2 olmayan LTS'leri bir mCRL2 LTS'ye dönüştürün
--ulaşılmaz
LTS girişinde erişilebilirlik kontrolü yapmayın
-n, --no-devlet
nokta biçiminde kaydederken durum bilgilerini dışarıda bırakın
-oFORMAT, --dışarı=FORMAT
çıktı formatı olarak FORMAT kullanın
--tau=AKTİMİLER
ACTNAMES virgülle ayrılmış listesinde adı olan eylemleri dahili olarak kabul edin
(tau) girdi tarafından bu şekilde tanımlananlara ek eylemler
--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 ltsconvert'i çevrimiçi kullanın
