W wyniku analizy materiałów literaturowych oraz przeprowadzonych na ich podstawie prac własnych można dojść do wniosku, że sieci Petriego, których graf współbieżności jest opisany grafem doskonałym, są sieciami bezpiecznymi przy spełnieniu (6). Jednocześnie na podstawie grafu osiągalności sieci (określenia jej parametrów) można określić czy sieć ta będzie siecią żywą.
EN
In this paper Petri nets properties have been analyzed for their application in reachability graph researches. There has been proved that proper nets [1] describe global states space and they could be analyzed in polynomial time with perfect graphs algorithms.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.