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/Celegans
| Name | Size | Date |
|---|---|---|
| ../ | ||
| Celegans.colcontped | 1.2 M | February 10, 2012, at 10:51 AM |
| Celegans.colstochpn | 1.8 M | February 10, 2012, at 10:51 AM |
| Celegans.spstochpn | 2.3 M | February 10, 2012, at 10:51 AM |