Pro Dialog 23 (2007), 33–50 Wydawnictwo NAKOM – Poznań
Kolorowane sieci Petriego jako narzędzie modelowania systemów informatycznych
Wojciech PIEPRZYCA
Wyższa Szkoła Informatyki i Zarządzania w Bielsku-Białej ul. Legionów 81, 43-300 Bielsko-Biała e-mail: wojtek@wsi.edu.pl
Otrzymano 5 kwietnia 2007 roku
Streszczenie. W artykule przedstawiono formalny opis kolorowanych sieci Petriego oraz możliwość wykorzystania tych sieci i narzędzia CPN Tools do modelowania sy-stemów informatycznych. Przedstawiono także przykład sieci modelującej wymianę informacji w systemach wieloagentowych.
Słowa kluczowe: kolorowane sieci Petriego, CPN Tools, systemy wieloagentowe