Друг просто указал мне на новую разработку в области компьютерных наук под названием «проверка на основе правил с сетями Петри». Он не компьютерный парень, а художник, поэтому я задаюсь вопросом, действительно ли это что-то классное, на что я должен смотреть? По телефону он сказал мне, что читал и переводил газету на русском языке, что эта новая новая технология - это все, что позволяет автоматически получить архитектуры кода на основе правил. Какой-то искусственный интеллект помогает нам правильно кодировать? Хорошо, я действительно не знаю, не изучал информатику.Как работает проверка на основе правил с сетями Петри и для чего это полезно?
Мне любопытно: Что это такое? И как это работает? Могу ли я использовать его для своих фреймворков?
Я думаю, что «система, основанная на правилах» - это почти все: у всех наших правил есть правила. Надеюсь на некоторые полезные ответы.
Значит, вы хотите, чтобы кто-то ловил * о сетях Петри? – bmargulies