Bu, en son sürümü ataoproject_1.2.beta.zip olarak indirilebilen Alternating Timed Automata Solver adlı Linux uygulamasıdır. İş istasyonları için ücretsiz barındırma sağlayıcısı OnWorks'te çevrimiçi olarak çalıştırılabilir.
OnWorks ile Alternating Timed Automata Solver adlı bu uygulamayı ücretsiz olarak indirin ve çevrimiçi çalıştırın.
Bu uygulamayı çalıştırmak için şu talimatları izleyin:
- 1. Bu uygulamayı PC'nize indirdiniz.
- 2. Dosya yöneticimize https://www.onworks.net/myfiles.php?username=XXXXX istediğiniz kullanıcı adını girin.
- 3. Bu uygulamayı böyle bir dosya yöneticisine yükleyin.
- 4. Bu web sitesinden OnWorks Linux çevrimiçi veya Windows çevrimiçi öykünücüsünü veya MACOS çevrimiçi öykünücüsünü başlatın.
- 5. Yeni başladığınız OnWorks Linux işletim sisteminden, istediğiniz kullanıcı adıyla https://www.onworks.net/myfiles.php?username=XXXXX dosya yöneticimize gidin.
- 6. Uygulamayı indirin, kurun ve çalıştırın.
Alternatif Zamanlı Otomata Çözücü
Ad
TANIM
Amacımız, Python'da ATA (1 saat ile) için MTL'den ATA'ya desteği ile tam çalışan bir çözücü geliştirmektir. Boşluk problemi için karar verilebilirlik, Lasota ve Walukiewicz tarafından önerildi. MTL'den ATA'ya Ouaknine ve Worrell tarafından önerildi.
Özellikler
- Alternatif Zamanlı Otomata boşluk çözücü
- MTL'den ATA'ya çeviri
- Ortak ATA işlemleri (Birleştirme, Tamamlama, Kavşak, Model denetimi)
Seyirci
Bilgi Teknolojileri
Kullanıcı arabirimi
Qt
Programlama dili
Python
Veritabanı Ortamı
XML tabanlı
Bu, https://sourceforge.net/projects/atao/ adresinden de getirilebilen bir uygulamadır. Ücretsiz İşletim Sistemlerimizden birinden en kolay şekilde çevrimiçi çalıştırılabilmesi için OnWorks'te barındırılmıştır.
