data structures and software dependability
computer science department
brandenburg university of technology cottbus - senftenberg
Examples
CaseStudies - under development
Web-based Petri net animation, Sampler
xspn_components
| Name | Size | Date |
|---|---|---|
| ../ | ||
| stoch_runs/ | 9 | August 21, 2009, at 01:59 PM |
| lac_operon_10shortRuns.log | 1.1 k | August 21, 2009, at 01:59 PM |
| lac_operon.charlie.log | 1.2 k | August 21, 2009, at 01:59 PM |
| lac_operon_P.inv | 133 | August 21, 2009, at 01:59 PM |
| lac_operon.queries | 1.8 k | August 21, 2009, at 01:59 PM |
| lac_operon_reduced.spept | 13.5 k | August 21, 2009, at 01:59 PM |
| lac_operon_reduced.spept.pdf | 12 k | August 21, 2009, at 01:59 PM |
| lac_operon_reduction.ina.log | 10.2 k | August 21, 2009, at 01:59 PM |
| lac_operon.spstochpn | 160.8 k | August 21, 2009, at 01:59 PM |
| lac_operon_T.inv | 631 | August 21, 2009, at 01:59 PM |
| net_0.log | 847 | August 21, 2009, at 01:59 PM |
| net_0.queries | 1 k | August 21, 2009, at 01:59 PM |
| net_0.spstochpn | 29.7 k | August 21, 2009, at 01:59 PM |
| net_1.log | 465 | August 21, 2009, at 01:59 PM |
| net_1.queries | 873 | August 21, 2009, at 01:59 PM |
| net_1.spstochpn | 34.4 k | August 21, 2009, at 01:59 PM |
| net_2.log | 633 | August 21, 2009, at 01:59 PM |
| net_2.queries | 954 | August 21, 2009, at 01:59 PM |
| net_2.spstochpn | 23.3 k | August 21, 2009, at 01:59 PM |
| net_3.log | 398 | August 21, 2009, at 01:59 PM |
| net_3.queries | 1.2 k | August 21, 2009, at 01:59 PM |
| net_3.spstochpn | 42.4 k | August 21, 2009, at 01:59 PM |
| net_4.log | 367 | August 21, 2009, at 01:59 PM |
| net_4.queries | 1 k | August 21, 2009, at 01:59 PM |
| net_4.spstochpn | 34 k | August 21, 2009, at 01:59 PM |
| net_5.log | 374 | August 21, 2009, at 01:59 PM |
| net_5.queries | 592 | August 21, 2009, at 01:59 PM |
| net_5.spstochpn | 45.5 k | August 21, 2009, at 01:59 PM |
| _read.me.txt | 1.3 k | January 25, 2010, at 06:27 PM |
| _xspn-components.zip | 58.6 M | January 25, 2010, at 06:27 PM |