Programy: Teoria Współbieżności (TW)
- Projekt 1: model procesora z 2 zadaniami i 2 przerwaniami (sieć Petriego - narzędzie "Tina")
- projekt1.zip (361.5 KB) - pliki modelu
- sprawozdanie1.pdf (345.6 KB) - sprawozdanie
- Projekt 2: model systemu dla straży pożarnej (kolorowa sieć Petriego - narzędzie "DesignCPN")
- projekt2.zip (179.2 KB) - pliki modelu
- sprawozdanie2.pdf (116.6 KB) - sprawozdanie
- Projekt 3: model systemu alarmowego do samochodu (język algebry procesów CCS - narzędzie "Concurrency Workbench")
- projekt3.zip (64.2 KB) - pliki modelu
- sprawozdanie3.pdf (92.8 KB) - sprawozdanie
- Wszystko: tw-all.zip (605.7 KB)