Prześlij oprogramowanie
  1. W: strona główna
  2. Windows
  3. Innych
  4. PetriKit: Petri Net Analysis Toolkit

PetriKit: Petri Net Analysis Toolkit 1.0

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 4.0/5 - ‎1 ‎Głosów
Pobierz

PetriKit to modułowy zestaw narzędzi do analizy Petri Net. Umożliwia ekstrakcję podstawowych właściwości, ekstrakcję inwariantów i generowanie wykresu osiągalności. Wyniki można formatować w postaci zwykłego tekstu, kodu HTML lub plików XML.

historia wersji

  • Wersja 1.0 opublikowany na 2008-01-17
    Kilka poprawek i aktualizacji
  • Wersja 1.0 opublikowany na 2008-01-17

Szczegóły programu

Programy pokrewne

  • Vocatra Wolna

    Vocatra jest trenerem słownictwa opartego na konsoli. Zajmuje jeden lub więcej plików słownictwa, pyta o każde słowo i pozwala spróbować udzielić poprawnej odpowiedzi.

  • While Interpreter Wolna

    WhileInterpreter jest interpreterem języka programowania WHILE używanego do celów uczenia się. Ma niewiele konstrukcji i łatwą semantycę.

  • RubyMoss Wolna

    RubyMoss jest Web - Based Framework napisany z Ruby on Rails, przeznaczone do wspierania wszystkich analiz i przetwarzania danych dla Mossbauer Spektroskopia. Napisane na licencji BSD.

  • Peter Pig s Money Counter Bezpłatna wersja próbna

    Z pomocą mądrego Petera Piga dzieci ćwiczą sortowanie i liczenie monet, aby zarabiać pieniądze dla swoich "banków" - cały czas ucząc się zabawnych faktów na temat amerykańskiej waluty. Uczą się rozpoznawać i sortować monety n

  • Nfrequencies Wolna

    Przeprowadzaj analizę wielowymiarową opartą na częstotliwościach denukleotydów na podstawie danych sekwencji DNA.

  • NetBuilder' - Apostrophe Wolna

    NetBuilder' to narzędzie do tworzenia, wizualizacji i symulowania wielowarstwowych sieci biologicznych, skonstruowanych jako hierarchiczne sieci Petriego. Posiada wbudowany symulator stochastyczny, ale zapewnia również łatwy

  • DFWiki Wolna

    DFWiki to moduł wiki przeznaczony do pracy w środowisku Moodle LMS. Został on zaprojektowany, aby podjąć advantadge funkcji wiki dla e-learningu, Jako tworzenie treści i wspólnych projektów pracy. Przyszłe wersje będą również

  • lib3d_mec_GiNaC Wolna

    lib_3d_mec_ginac jest biblioteką dla symbolicznej dynamiki systemu wieloobiektowego. Może być używany samodzielny, chociaż będzie substytutem jądra przyszłej wersji 3.0 3d_mec (http://www.imac.unavarra.es/3d_mec).

  • JCadServices Wolna

    Wspólny zespół ds.

  • GEGIS Wolna

    Tworzenie sieci WebGIS opartej na programie Google Earth. Tylko 7 kroków do complite WebGIS Web Application!