maddie93 / pt-net

Sieci Petriego - projekt z przedmiotu metody formalne
1 stars 0 forks source link

Badanie właściwości sieci #6

Open maddie93 opened 9 years ago

maddie93 commented 9 years ago

◦ k-ograniczoność miejsc ◦ ograniczoności, bezpieczeństwa sieci ◦ zachowawczości ◦ zachowawczości względem wektora wag ◦ odwracalności sieci ◦ żywotności sieci ◦ żywotności przejść