Laboratoria

• Instalacja pakietu Renew: opis
• Testy prostych przykładów sieci

• Implementacja mechanizmów sieci kolorowanych w pakicie Renew:
• zadania lub
• http://home.agh.edu.pl/~pszwed/scr/lab/lab-2.htm

• Kontynuujemy niezrealizowane zadania:
  • 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

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.

• Klasy pakietu java.util.concurrent
• Wozrce komunikacji SCR przeniesione na platformę Java