Skip to top bar
Skip to header
Skip to application menu
Skip to content
Skip to footer
CS
>
Files
>
Study Materials
>
Study materials posted under the course FI:
PA054
>
Learning Materials
>
Cvičení
FI:PA054 Formal Methods in Systems Biology
Files
Documents
Official notice board
Study Materials
More
Files
Documents
Official notice board
Study Materials
Name
Posted by
Uploaded/Created
Rights
Cvičení
32017001
/8
Šafránek, D.
7/3/2012
Folders
Files
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
go to course PA054 Formal Methods in Systems Biology
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í
.
×
×