Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
複数のプロセスを作成し、それらが順番に他のプロセスを生成しています。したがって、SPIN モデルは「Too many processes (Max 255)」を出力し続けます。ただし、それでも最終的な出力が得られます。255 を超えるプロセスを処理できない場合、どのようにして最終出力を得ることができますか?