搜索 bing 和 google 我找到了一些，但令人惊讶的是，关于与 Windows 工作流程相关的状态图的信息很少。我得出的唯一明确答案是“是的，它可以处理状态图，这是一个教程。”
但我要确定的是：
- 它是否支持像Samek 的 QHSM一样丰富的分层状态机。例如：
- 它能否处理从嵌套状态到另一个嵌套状态的转换，所有进入和退出事件都被正确触发？
- 它是否处理或促进向历史的过渡？
- 将 WF 用于（分层）状态图时，我应该考虑哪些缺点（如果有）？
- 从 WF4 到 WF45，故事发生了怎样的变化（如果有的话）？
我不担心 WF（分层）状态图是否比 Samek 慢得多。这只是我好奇的表现力。