Publikacja stanowi kompleksowe wprowadzenie w temat sieci Petriego – formalizmu matematycznego i graficznego używanego do modelowania, symulacji oraz analizy systemów równoległych, współbieżnych i rozproszonych. Autorzy omawiają zarówno teoretyczne podstawy działania sieci, jak i ich praktyczne zastosowania w informatyce, automatyce, telekomunikacji oraz systemach sterowania.

Książka skupia się na systemie GRAF, narzędziu wspomagającym proces tworzenia i analizy modeli opartych na sieciach Petriego. Czytelnik poznaje metody konstruowania modeli graficznych, sposoby definiowania miejsc, przejść i łuków, a także zasady symulacji i interpretacji wyników. Autorzy wprowadzają również w zagadnienia analizy formalnej, pozwalającej ocenić poprawność i niezawodność modelowanego systemu.

Zakres tematyczny książki

• Podstawy teorii sieci Petriego
• Reprezentacja procesów równoległych i współbieżnych
• Konstrukcja modeli graficznych w systemie GRAF
• Analiza zachowań i właściwości sieci
• Zastosowania sieci Petriego w systemach komputerowych, automatyce i inżynierii oprogramowania
• Przykłady praktyczne i interpretacja wyników symulacji

Dla kogo ta książka?

Publikacja skierowana jest do:

• studentów informatyki, automatyki, robotyki i elektroniki, którzy chcą zrozumieć formalne podstawy modelowania systemów złożonych;
• inżynierów oprogramowania i projektantów systemów sterowania, poszukujących narzędzi do wizualnego opisu procesów współbieżnych;
• badaczy i naukowców, zajmujących się teorią systemów, modelowaniem procesów i analizą ich zachowania;
• praktyków przemysłowych, którzy chcą weryfikować poprawność i niezawodność układów automatyki lub oprogramowania sterującego.

Znaczenie publikacji

„Graf. System graficznej konstrukcji i analizy sieci Petriego” to rzadkie połączenie teorii i praktyki – książka nie tylko wprowadza w świat formalnych metod opisu systemów, ale też pokazuje, jak wykorzystać je do projektowania, optymalizacji i weryfikacji realnych procesów technicznych i informatycznych.

Graf system graficznej konstrukcji i analizy sieci Petriego Zbigniew Suraj Bogumił Komarek

Książka w bardzo dobrym stanie, używana, posiada pieczątkę, brak dyskietki

Liczba stron: 192

Okładka miękka

Wydawnictwo Akademicka Oficyna Wydawnicza PLJ

ISBN 8371012101

Wydanie 1