私は現在、WF4ステートマシンをワークフローサービスとして実装したいプロジェクトに取り組んでいます。過去にWF3.5を使用したことがあるので、基本は理にかなっているようです。ただし、私たちが遭遇した問題の1つは、任意の状態（または少なくとも1つ以上）でワークフローのインスタンスを作成できるようにしたいということです。複数のReceiveアクティビティでCanCreateInstanceプロパティを選択すると、例外がスローされます。
私は彼のブログからの相関に関するモーリスの提案をいじってみましたが、それをステートマシンに適用する方法を理解することができませんでした。