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í
>
Petriho sítě
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
Petriho sítě
12153921
/6
Šafránek, D.
19/3/2010
Folders
Files
SPNtoPRISM.pdf
SPNtoPRISM.txt
Článek zahrnující převod SPN do PRISMu
SPNtoPRISM.pdf
Šafránek, D.
23/4/2010
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
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í
.
×
×