Кто знает алгоритм проверки правильности k?
У меня есть сеть рабочих процессов (сеть Петри), и я должен реализовать алгоритм, чтобы проверить, правильно ли это звучит.
1 ответ
Вы знаете, в последнее время очень много работы над этим.
Эта статья включает в себя алгоритм для определения k-правильности. Но будьте осторожны, потому что эта статья указывает на то, что k-правильность при наличии определенных расширений неразрешима.