data structures and software dependability
computer science department
brandenburg university of technology cottbus - senftenberg
Examples
CaseStudies - under development
Web-based Petri net animation, Sampler
marcie_examples/CSL_templates
| Name | Size | Date |
|---|---|---|
| ../ | ||
| R[C<=t].csl | 65 | December 21, 2010, at 11:19 AM |
| R[F_place_eq_k].csl | 93 | December 21, 2010, at 11:19 AM |
| R[I<=t].csl | 63 | December 21, 2010, at 11:19 AM |
| R[S].csl | 40 | December 21, 2010, at 11:19 AM |
| steadyState.csl | 81 | December 21, 2010, at 11:19 AM |
| transient.csl | 92 | December 21, 2010, at 11:20 AM |