data structures and software dependability
computer science department
brandenburg university of technology cottbus - senftenberg
Examples
CaseStudies - under development
Web-based Petri net animation, Sampler
dna_walker
| Name | Size | Date |
|---|---|---|
| ../ | ||
| disjunction_naive.andl | 67.8 k | December 24, 2016, at 01:01 PM |
| disjunction_naive.candl | 5.5 k | December 24, 2016, at 01:01 PM |
| disjunction_optimised.andl | 64.2 k | December 24, 2016, at 01:01 PM |
| disjunction_optimised.candl | 5.6 k | December 24, 2016, at 01:01 PM |
| toy.andl | 3.8 k | December 24, 2016, at 01:01 PM |
| toy.candl | 4.5 k | December 24, 2016, at 01:01 PM |