data structures and software dependability
computer science department
brandenburg university of technology cottbus - senftenberg
Examples
CaseStudies - under development
Web-based Petri net animation, Sampler
cmsb2010/experiments/MAPK
| Name | Size | Date |
|---|---|---|
| ../ | ||
| mapk1_N.apnn | 8.2 k | May 07, 2010, at 01:28 PM |
| mapk1.spstochpn | 449.8 k | May 07, 2010, at 01:28 PM |
| mapk2_N.apnn | 9.4 k | May 07, 2010, at 01:28 PM |
| mapk2.spstochpn | 429.4 k | May 07, 2010, at 01:28 PM |
| P_F250_kpp_geq_N_85_percent.sp | 13 | May 07, 2010, at 01:28 PM |
| P_F40_kpp_geq_N_85_percent.sp | 13 | May 07, 2010, at 01:28 PM |
| P_qu_F[t-t]_kpp_ge_N_085.csl | 53 | May 07, 2010, at 01:28 PM |