Graf. system graficznej konstrukcji i analizy Sieci Petriego

Zbigniew Suraj, Bogumił Komarek

Wyd. 1994, Warszawa

System GRAF jest przeznaczony do wspomagania projektowania i analizy modeli systemów współbieżnych, wykonywanych z użyciem sieci Petriego. Może być również wykorzystywany do wspomagania wykładów i ćwiczeń laboratoryjnych, np. z teorii sieci Petriego, systemów operacyjnych, programowania współbieżnego. Książka stanowi podręcznik użytkownika systemu GRAF. Książka przeznaczona jest dla kręgu osób zainteresowanych problemami modelowania i symulacji systemów oraz zagadnieniami współbieżności. W szczególności książka jest adresowana do projektantów i programistów systemów informatycznych, pracowników naukowych zajmujących się informatyką, studentów kierunków informatycznych, a także nauczycieli informatyki. Aktualnie system GRAF jest jednym z modułów systemu PN-tools.

s.192, ISBN 83-7101-210-1