Как работает проверка на основе правил с помощью сетей Петри и для чего это полезно?

Question

Друг только что указал мне на новую разработку в области компьютерных наук под названием "проверка на основе правил с помощью сетей Петри".Он не компьютерщик, а художник, так что мне интересно, действительно ли это что-то классное, на что я должен посмотреть?По телефону, читая и переводя газету на русский, он сказал мне, что эта необычная новая технология предназначена для автоматического приведения архитектуры кода систем, основанных на правилах, в идеальное состояние.Своего рода искусственный интеллект, помогающий нам идеально кодировать?Ладно, я действительно не знаю, я не изучал информатику.

Мне любопытно:Что именно все это значит?И как это работает?Могу ли я использовать его для своего фреймворка?

Я думаю, что "система, основанная на правилах" - это почти все:Во всем нашем кодексе есть правила.Надеюсь на несколько полезных ответов.

Answer 1

Сети Петри - это просто причудливый способ выразить пространство состояний и переходы между состояниями.Однако они являются полными по Тьюрингу, так что все, что применимо к машинам Тьюринга, верно и для сетей Петри.

Они ни в коей мере не являются искусственным интеллектом.На мой взгляд, самое полезное приложение для сетей Петри - это абстрактный инструмент моделирования для целей симуляции.

Редактировать:Некоторыми примерами этого могут быть моделирование пакетов в компьютерной сети или то, как будут вести себя автоматы.Если вам все еще интересно, вот ссылка на класс компьютерного моделирования, который обучает сетям Петри с некоторым случайным поведением: http://www.sim-md.de/its/Lectures/09-PetriNets.pdf

Правка 2:Не обращайте внимания на верхнюю ссылку, она больше не работает.