Advanced Course on Petri Nets
03.09.2023 - 08.09.2023 - Toruń
www: https://acpn2023.mat.umk.pl
Katedra Informatyki
87-100 Toruń, ul. Chopina 12/18
+48 56 611 3442
dr Marcin Piątkowski
e-mail: marcin.piatkowski@mat.umk.pl
dr Marcin Piątkowski
e-mail: marcin.piatkowski@mat.umk.pl
telefon: +48 6113442
Sieci Petriego stanowią historycznie pierwszy matematyczny model dla systemów rozproszonych. Podczas przeszło pół wieku rozwoju dziedzina ta była stopniowo pogłębiana teoretycznie oraz stosowana do modelowania i analizy różnego rodzaju systemów przy wsparciu dziesiątek narzędzi. Sieci Petriego to model równoważący lokalność stanów z lokalnością akcji zmieniających ich wartości. Zastosowania sieci Petriego koncentrują się na algorytmach rozproszonych, systemy wbudowane, protokołach komunikacyjnych, systemach sprzętowych, a także na modelach usług internetowych i procesów biznesowych. Od roku 1980 ma miejsce doroczna konferencja poświęcona zastosowaniom i teorii sieci Petriego. Jej 37 edycja odbyła się w roku 2016 w Toruniu. Od roku 1979, co kilka lat organizowana jest letnia szkoła Advances Course on Petri Nets. Do tej pory odbyło się sześć takich spotkań, ostatnie w roku 2010 w Rostoku (Niemcy). Głównym celem szkoły letniej, oprócz wyłożenia podstaw teorii dla zainteresowanych nią młodych badaczy, jest zebranie i przystępne przedstawienie najważniejszych wyników naukowych uzyskanych w poprzedzającej to wydarzenie dekadzie. Taka formuła pozwala zgromadzić w jednym miejscu nie tylko wybitnych specjalistów w tej dziedzinie, ale również dużą rzeszę ich młodych i zdolnych następców.