Jest to aplikacja dla systemu Linux o nazwie Alternating Timed Automata Solver, której najnowszą wersję można pobrać jako ataoproject_1.2.beta.zip. Można go uruchomić online w bezpłatnym dostawcy hostingu OnWorks dla stacji roboczych.
Pobierz i uruchom online tę aplikację o nazwie Alternating Timed Automata Solver with OnWorks za darmo.
Postępuj zgodnie z tymi instrukcjami, aby uruchomić tę aplikację:
- 1. Pobrałem tę aplikację na swój komputer.
- 2. Wpisz w naszym menedżerze plików https://www.onworks.net/myfiles.php?username=XXXXX z wybraną nazwą użytkownika.
- 3. Prześlij tę aplikację w takim menedżerze plików.
- 4. Uruchom emulator online OnWorks Linux lub Windows online lub emulator online MACOS z tej witryny.
- 5. W systemie operacyjnym OnWorks Linux, który właśnie uruchomiłeś, przejdź do naszego menedżera plików https://www.onworks.net/myfiles.php?username=XXXXX z wybraną nazwą użytkownika.
- 6. Pobierz aplikację, zainstaluj ją i uruchom.
Rozwiązanie automatów czasowych naprzemiennych
Ad
OPIS
Naszym celem jest stworzenie w Pythonie w pełni działającego solwera dla ATA (z 1 zegarem) z obsługą MTL do ATA. Rozstrzygalność problemu pustki zaproponowali Lasota i Walukiewicz. MTL do ATA został zaproponowany przez Ouaknine i Worrell.
Korzyści
- Rozwiązywanie opróżniania naprzemiennych automatów czasowych
- Tłumaczenie MTL na ATA
- Typowe operacje ATA (Unia, Uzupełnianie, Przecięcie, Sprawdzanie modelu)
Publiczność
Technologia informacyjna
Interfejs użytkownika
Qt
Język programowania
Python
Środowisko bazy danych
oparty na XML
Jest to aplikacja, którą można również pobrać z https://sourceforge.net/projects/atao/. Jest hostowany w OnWorks, aby można go było uruchomić online w najprostszy sposób z jednego z naszych bezpłatnych systemów operacyjnych.