Io-7-wyk-Slajd114
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwaniaPrzejścia konfliktowe
W procesach współbieżnych czasami zależy nam na wzajemnym wykluczaniu się procesów: z dwóch (lub więcej) procesów tylko jeden może wejść do rejonu krytycznego. Taką sytuację można zamodelować w sieciach Petri’ego za pomocą tzw. punktu decyzyjnego.