ltsconvert - Bulutta Çevrimiçi

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