Case studies
data structures and software dependability
computer science department
brandenburg university of technology cottbus - senftenberg
Introduction into Concurrency
In seminar we will use the following software.
Snoopy
Charlie
DSSZ-MC
Pascal-FC
Tasks
| task | provision week | deadline week |
| task1 | ||
| task2 | ||
| task3 | ||
| task4 | ||
| task5 |
Schedule
| # | week | date | notes |
| 1 | 43 | 21.10.09 | introduction to Petri nets and related software |