Io-7-wyk-Slajd164

Problem zastoju(8)

Początkową konfigurację sieci Petri’ego przedstawiono na slajdzie. Znaczniki są w czterech górnych miejscach, w związku z czym przejścia AllocateHD i AllocateLP są gotowe do odpalenia.

<< Poprzedni slajd | Spis treści | Następny slajd >>