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