data structures and software dependability
computer science department
brandenburg university of technology cottbus - senftenberg
Introduction into concurrency
Exercises, Prof. Dr.-Ing. M. Heiner, WS 2021/2022
In case of demand, this course will be in English.
latest updated: February 02, 2022, at 03:53 PM
- when: mondays, 6. block (17:30-19:00)
starting with the 6th lecturing week, exercises will take place wednesdays, 11:30-13:00, ie. first time on 17/11/2021 - where: VG 1c, R 2.01
- begin: 2nd teaching week
Schedule
| # | Task | PNs/templates | Provision | Deadline | Subject |
| 1 | - | - | - | - | - |
| 2 | - | - | - | 18/10/2021 | introduction into Snoopy&Charlie |
| 3 | task01; suppl: games.pdf, maze.pn | - | 21/10/2021 | 25/10/2021 | modelling with pn's |
| 4 | task02 | various-live-degrees, orthogonal-properties | 25/10/2021 | 01/11/2021 | behavioural properties of pn's |
| 5 | task03 | google_FS, components, google_FS, subnets, google_FS, lamport | 01/11/2021 | 08/11/2021 | reachability graph |
| 6 | task04 | - | 11/11/2021 | 18/11/2021 | modelling sw with pn's |
| 7 | task05 | garden with constant.pn - garden.colpn - garden-marcie.colpn | 18/11/2021 | 24/11/2021 | modelling sw with colpn's |
| 8 | task06 - LHG2020, Box 21 | peterson.pn | 24/11/2021 | 01/12/2021 | IM-based methods |
| 9 | - | - | 08/12/2021 | ||
| 10 | - | - | 15/12/2021 | PhD defence | |
| happy new year | |||||
| 11 | task06 | - | 05/01/2022 | IM-based methods | |
| 12 | task07 | ModellingExercise.java | 05/01/2022 | 12/01/2022 | semaphores |
| 13 | task08 | pphil.pn - protocol-pattern.pn | 13/01/2022 | 19/01/2022 | stubborn sets, ABP, CTL |
| 14 | task09 | fig1.pn - fig2a.pn - fig2b.pn - deadlock.pn | 19/01/2022 | 26/01/2022 | exams prep, stp |
| 15 | task10 | ReaderWriterProblem-template.java - RW2.java - wait_notify_semantics.pdf - rw-toplevel.colpn - rw-toplevel-colpn.pdf - rw-toplevel-place-names-read-me.txt - rw-patterns.colpn - rw-patterns.pdf | 26/02/2022 | 02/02/2022 | java |
Tools
In the seminar we will use the following tools.
Snoopy
Charlie
Marcie
JavaFC