Petri tīklu analīze

2. No sasniedzamības koka izriet, ka strupceļa marķējums ir (0 0 1). Marķējumi (2 0 1), (1 0 3), (1 0 2), (1 0 1) atkārtojās, un kā redzams pēc koka, novedīs līdz strupceļam.
Visos marķējumos kauliņu skaits visās pozīcijās nepārsniedz 5, tāpēc dotais Petri tīkls ir 5-drošs un līdz ar to ierobežots.
…