data structures and software dependability
computer science department
brandenburg university of technology cottbus - senftenberg
Examples
CaseStudies - under development
Web-based Petri net animation, Sampler
IddUnfolding
| Name | Size | Date |
|---|---|---|
| ../ | ||
| brusselator.candl | 1.2 k | January 28, 2020, at 05:40 PM |
| brusselator.colspn | 88.6 k | January 28, 2020, at 05:40 PM |
| diff3d.candl | 791 | January 28, 2020, at 05:38 PM |
| diff3d.colcpn | 42.3 k | January 28, 2020, at 05:38 PM |
| garden-multigates.candl | 1.9 k | January 28, 2020, at 05:37 PM |
| garden-multigates.colpn | 180.1 k | January 28, 2020, at 05:37 PM |
| IDD_unfolding_performance.pdf | 341 k | January 29, 2020, at 07:28 PM |
| runExperiments.py | 4.5 k | January 29, 2020, at 10:48 AM |
| showCSV.py | 38.5 k | January 29, 2020, at 10:49 AM |