SPIN模型中的最大进程数

Question

我创建了多个已处理的，这反过来又产生了其他进程。因此，SPIN模型保持打印“太多进程（最多255个）”。但是，它仍然给我最终输出。如果它不能处理超过255个进程，它仍然能够为我提供最终输出吗？

Answer 1

输出“太多进程”只是一个警告。 Spin简单地忽略其他生成并继续执行现有进程。显然，您的Spin模型不依赖于“反过来”产生。