data structures and software dependability
computer science department
brandenburg university of technology cottbus - senftenberg
Examples
CaseStudies - under development
Web-based Petri net animation, Sampler
levchenko
| Name | Size | Date |
|---|---|---|
| ../ | ||
| infinite_run.spped | 159.6 k | May 21, 2007, at 07:08 PM |
| levchenko_1.sm | 8.9 k | May 21, 2007, at 07:08 PM |
| levchenko_2.sm | 6.7 k | May 22, 2007, at 05:52 PM |
| levchenko_bddctl.log | 3.3 k | May 21, 2007, at 07:08 PM |
| levchenko.conltl | 4.6 k | May 21, 2007, at 07:19 PM |
| levchenko.csl | 650 | May 21, 2007, at 07:08 PM |
| levchenko.ctl | 2 k | May 21, 2007, at 07:08 PM |
| levchenko_N120.apnn | 7.4 k | May 21, 2007, at 07:08 PM |
| levchenko_N120.spped | 255 k | May 21, 2007, at 07:08 PM |
| levchenko_N160.apnn | 7.4 k | May 21, 2007, at 07:08 PM |
| levchenko_N160.spped | 255 k | May 21, 2007, at 07:08 PM |
| levchenko_N1.apnn | 7.4 k | May 21, 2007, at 07:08 PM |
| levchenko_N1.ina | 10 k | May 21, 2007, at 07:08 PM |
| levchenko_N1.pnt | 2.7 k | May 21, 2007, at 07:08 PM |
| levchenko_N1.spped | 255.6 k | May 21, 2007, at 07:08 PM |
| levchenko_N400.apnn | 7.4 k | May 21, 2007, at 07:08 PM |
| levchenko_N400.spped | 255 k | May 21, 2007, at 07:08 PM |
| levchenko_N40.apnn | 7.4 k | May 21, 2007, at 07:08 PM |
| levchenko_N40.spped | 255 k | May 21, 2007, at 07:08 PM |
| levchenko_N4.apnn | 7.4 k | May 21, 2007, at 07:08 PM |
| levchenko_N4.spped | 255 k | May 21, 2007, at 07:08 PM |
| levchenko_N80.apnn | 7.4 k | May 21, 2007, at 07:08 PM |
| levchenko_N80.spped | 255 k | May 21, 2007, at 07:08 PM |
| levchenko_N8.apnn | 7.4 k | May 21, 2007, at 07:08 PM |
| levchenko_N8.spped | 255 k | May 21, 2007, at 07:08 PM |
| levchenko-ode.txt | 3.7 k | May 21, 2007, at 07:08 PM |
| levchenko_prism.log | 10.1 k | May 21, 2007, at 07:08 PM |
| levchenko.xml | 17 k | May 21, 2007, at 07:08 PM |
| _levchenko.zip | 210.7 k | January 25, 2010, at 06:26 PM |
| _read.me_levchenko.txt | 1.7 k | January 25, 2010, at 06:26 PM |
| state_spaces.log | 1 k | May 21, 2007, at 07:08 PM |