Case studies
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 |