Přeskočit na horní lištu
Přeskočit na hlavičku
Přeskočit na aplikační menu
Přeskočit na obsah
Přeskočit na patičku
EN
>
Soubory
>
Studijní materiály
>
Studijní materiály předmětu FI:
PA054
>
Učební materiály
>
Cvičení
FI:PA054 Formální modely v systémové biologii
Soubory
Dokumenty
Úřední deska
Studijní materiály
Více
Soubory
Dokumenty
Úřední deska
Studijní materiály
Název
Vložil
Vloženo
Práva
Cvičení
32017001
/8
Šafránek, D.
7. 3. 2012
Složky
Soubory
Nástroj Charlie -- statická a dynamická analýza Petriho sítí
http://www-dssz.informatik.tu-cottbus.de/DSSZ/Software/Charlie#downloadCharlie
Šafránek, D.
31. 3. 2016
Nástroj PIPE2 (editace a analýza Petriho sítí)
http://pipe2.sourceforge.net/
Šafránek, D.
31. 3. 2016
Petriho síť katalytické reakce
mmma.xml
Šafránek, D.
19. 3. 2010
Petriho síť reversibilní katalytické reakce
mmmarev.xml
Šafránek, D.
19. 3. 2010
Petriho síť signální dráhy MAPK (Snoopy)
levchenko_N1.spped
Šafránek, D.
19. 3. 2010
Petriho síť signální dráhy MAPK
MAPK_pn.xml
Šafránek, D.
19. 3. 2010
Příklad realizace T-invariantu
infinite_run.spped
Šafránek, D.
19. 3. 2010
Snoopy -- simulace a editace Petriho sítí
http://www-dssz.informatik.tu-cottbus.de/DSSZ/Software/Snoopy
Šafránek, D.
31. 3. 2016
na předmět PA054 Formální modely v systémové biologii
Co je jinak
přidání souboru
Soubor nebo složku lze nahrát pomocí tlačítka
Přidat
.
Co je jinak
další operace se soubory
Podrobnosti lze zjistit označením příslušného
řádku
.
Co je jinak
pohled pro experty
Pro častou práci je možné zvolit režim
Více možností
.
Co je nové
vyhledávání souborů
Vyhledávaný výraz můžete zadat přímo do
adresního řádku
.
Co je nové
rychlý přístup k souborům
Pomocí funkce
Nedávné
je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit
Hvězdičkou
.
Co se chystá
Připravujeme další vylepšení pro
mobilní zařízení
.
×
×