====== Laboratoria ======

===== Laboratorium 1 =====

  *Instalacja pakietu Renew: [[http://pszwed.kis.agh.edu.pl/kss/lab/lab-1.htm|opis]]
  *Testy [[http://pszwed.kis.agh.edu.pl/scr_inf/Lab.pdf|prostych przykładów sieci]]

===== Laboratorium 2 =====
  *Implementacja mechanizmów sieci kolorowanych w  pakicie Renew: 
  *[[http://pszwed.kis.agh.edu.pl/kss/lab/lab-2.htm|zadania]] lub 
  *[[http://home.agh.edu.pl/~pszwed/scr/lab/lab-2.htm]]

===== Laboratorium 3 - 4 =====

  *Kontynuujemy niezrealizowane zadania:
    *[[http://pszwed.kis.agh.edu.pl/kss/lab/lab-2.htm|zadania]] lub 
    *[[http://home.agh.edu.pl/~pszwed/scr/lab/lab-2.htm]]
  
  *Modelowanie realizacji przypadku użycia
    *[[http://pszwed.kis.agh.edu.pl/kss/lab/lab-3.htm]]

===== Laboratorium 5 =====

**Realizujemy model formalny w postaci sieci Petriego dla wybranych projektów**

Proszę także o zrealizowanie. Są to typowe wzorce, które powinny zostać zastosowane w projektach. 

  *[[http://pszwed.kis.agh.edu.pl/kss/lab/concurrent-1.htm|Klasy pakietu java.util.concurrent]]
  *[[http://pszwed.kis.agh.edu.pl/kss/lab/concurrent-2.htm|Wozrce komunikacji SCR przeniesione na platformę Java]]