data structures and software dependability
computer science department
brandenburg university of technology cottbus - senftenberg
Examples
CaseStudies - under development
Web-based Petri net animation, Sampler
ode_tutorial
| Name | Size | Date |
|---|---|---|
| ../ | ||
| fig01_building_block_mm.spped | 89.4 k | December 05, 2007, at 02:36 PM |
| fig02_building_block_ma1.spped | 89 k | December 05, 2007, at 02:36 PM |
| fig03_building_block_ma2.spped | 138.8 k | December 05, 2007, at 02:36 PM |
| fig04_building_block_ma3.spped | 139.6 k | December 05, 2007, at 02:36 PM |
| fig05_basicStructures.spped | 60.4 k | December 05, 2007, at 02:36 PM |
| fig08_cascade1_ma1-3.spped | 604.2 k | December 05, 2007, at 02:35 PM |
| fig10_cascade_compositions_ma1.spped | 609.3 k | December 05, 2007, at 02:35 PM |
| fig12_cascades_feedback_ma1.spped | 678.7 k | December 05, 2007, at 02:35 PM |
| masap3_inVitro_negFB_inhib.ode.txt | 2.1 k | December 05, 2007, at 02:36 PM |
| masap3_inVitro_negFB_inhib.spcontped | 173.3 k | December 05, 2007, at 02:36 PM |
| masap3_inVitro_negFB_inhib.spped | 150.4 k | December 05, 2007, at 02:36 PM |
| masap3_inVitro_negFB_inhib.xml | 10.3 k | December 05, 2007, at 02:36 PM |
| masap3_inVitro_negFB.ode.txt | 1.4 k | December 05, 2007, at 02:35 PM |
| masap3_inVitro_negFB.spcontped | 112.4 k | December 05, 2007, at 02:35 PM |
| masap3_inVitro_negFB.spped | 98.1 k | December 05, 2007, at 02:36 PM |
| masap3_inVitro_negFB.xml | 6.6 k | December 05, 2007, at 02:35 PM |
| masap3_inVitro.ode.txt | 1.3 k | December 05, 2007, at 02:35 PM |
| masap3_inVitro.spcontped | 97 k | December 05, 2007, at 02:35 PM |
| masap3_inVitro.spped | 85.1 k | December 05, 2007, at 02:36 PM |
| masap3_inVitro.xml | 5.6 k | December 05, 2007, at 02:35 PM |
| masap3_inVivo.b | 268 | December 05, 2007, at 02:35 PM |
| masap3_inVivo_negFB_inhib.ode.txt | 3.3 k | December 05, 2007, at 02:36 PM |
| masap3_inVivo_negFB_inhib.spcontped | 289 k | December 05, 2007, at 02:36 PM |
| masap3_inVivo_negFB_inhib.spped | 251.3 k | December 05, 2007, at 02:36 PM |
| masap3_inVivo_negFB_inhib.xml | 16.5 k | December 05, 2007, at 02:36 PM |
| masap3_inVivo_negFB.ode.txt | 2.4 k | December 05, 2007, at 02:36 PM |
| masap3_inVivo_negFB.spcontped | 199.7 k | December 05, 2007, at 02:35 PM |
| masap3_inVivo_negFB.spped | 173.9 k | December 05, 2007, at 02:36 PM |
| masap3_inVivo_negFB.xml | 11.4 k | December 05, 2007, at 02:36 PM |
| masap3_inVivo.ode.txt | 2.2 k | December 05, 2007, at 02:35 PM |
| masap3_inVivo.spcontped | 184.6 k | December 05, 2007, at 02:35 PM |
| masap3_inVivo.spped | 161.9 k | December 05, 2007, at 02:36 PM |
| masap3_inVivo.xml | 10.4 k | December 05, 2007, at 02:35 PM |
| _ode_tutorial.zip | 369.3 k | January 25, 2010, at 06:27 PM |
| _read.me_ode_tutorial.txt | 837 | January 25, 2010, at 06:27 PM |