data structures and software dependability
computer science department
brandenburg university of technology cottbus - senftenberg
Examples
CaseStudies - under development
Web-based Petri net animation, Sampler
erk-rkip
| Name | Size | Date |
|---|---|---|
| ../ | ||
| erk-ext.spped | 106 k | February 29, 2008, at 10:54 AM |
| erk_hpn.spped | 81.2 k | November 25, 2008, at 02:07 PM |
| erk.param.spcontped | 98.9 k | February 29, 2008, at 11:58 AM |
| erk_rg_new.sprgraph | 51.6 k | February 29, 2008, at 10:54 AM |
| erk_rg.sprgraph | 51.6 k | February 29, 2008, at 10:54 AM |
| _erk-rkip.zip | 57.4 k | January 25, 2010, at 06:25 PM |
| erk_run.spped | 122.2 k | February 29, 2008, at 10:54 AM |
| erk.spped | 80.6 k | November 25, 2008, at 01:58 PM |
| erk.spstochpn | 184.6 k | November 25, 2008, at 01:11 PM |
| _read.me_erk_rkip.txt | 1.1 k | January 25, 2010, at 06:25 PM |