Text this: Представлення динамічних взаємодіючих процесів у просторі станів нечіткої розфарбованої мережі петрі для верифікації програмного продукту нечіткої логічної системи класифікації