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/Calcium
| Name | Size | Date |
|---|---|---|
| ../ | ||
| ca_twostate_spns.spstochpn | 72.4 k | February 10, 2012, at 10:51 AM |
| One_channel_six_state.spstochpn | 105.8 k | February 10, 2012, at 10:51 AM |
| Six-state-ColoredModel.colstochpn | 177.7 k | February 10, 2012, at 10:51 AM |
| Two-state-Clusters-ColoredModel.colstochpn | 82.2 k | February 10, 2012, at 10:51 AM |
| Two-state-ColoredModel_1.colstochpn | 68.3 k | February 10, 2012, at 10:51 AM |
| Two-state-ColoredModel_2.colstochpn | 74.4 k | February 10, 2012, at 10:51 AM |