data structures and software dependability
computer science department
brandenburg university of technology cottbus - senftenberg
Examples
CaseStudies - under development
Web-based Petri net animation, Sampler
colored-Petri-nets/Membrane
| Name | Size | Date |
|---|---|---|
| ../ | ||
| BasicComponents.spstochpn | 45.9 k | February 10, 2012, at 10:51 AM |
| ColPN_Dyn_Mem.colstochpn | 87.7 k | February 10, 2012, at 10:51 AM |
| ColPN_Sta_Mem.colstochpn | 64 k | February 10, 2012, at 10:51 AM |
| Hie_ColPN_Sta_Mem.colstochpn | 70.9 k | February 10, 2012, at 10:51 AM |
| hie_Col_Virus.colstochpn | 100.2 k | February 10, 2012, at 10:51 AM |
| Hier_PN_Sta_Mem.spstochpn | 50.8 k | February 10, 2012, at 10:51 AM |
| ImmPN_Dyn_Mem.spstochpn | 60.7 k | February 10, 2012, at 10:51 AM |
| PN_Dyn_Mem.spstochpn | 53.4 k | February 10, 2012, at 10:51 AM |
| PN_Sta_Mem.spstochpn | 46.6 k | February 10, 2012, at 10:51 AM |
| virus.colstochpn | 88.9 k | February 10, 2012, at 10:51 AM |
| virus.spstochpn | 59.8 k | February 10, 2012, at 10:51 AM |