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/ERK
| Name | Size | Date |
|---|---|---|
| ../ | ||
| erk.apnn | 3.6 k | May 07, 2010, at 01:28 PM |
| erk.spstochpn | 199.6 k | May 07, 2010, at 01:28 PM |
| P_F40_MEKpp_geq_60percent_and_leq_80percent.sp | 27 | May 07, 2010, at 01:28 PM |
| S_qu_[MEKpp_ge_N_lb_and_MEKpp_le_N_ub].csl | 137 | May 07, 2010, at 01:28 PM |
| transient_interval.csl | 125 | May 07, 2010, at 01:28 PM |