洗衣机培养网

Question

这是我第一次做 Petri 网，我想为一台洗衣机建模。我已经开始了，到目前为止它看起来像这样：

您有任何更正或帮助吗？我显然知道它不正确，但我是初学者，不知道你们可能会看到的错误。提前致谢。

Answer 1

您的网络工作方式上的第一个 cmets：

• 没有返回off 状态的箭头。所以一旦你打开你的洗衣机，你就再也不能关掉它了吗？
• drain 和 dry 都返回到 idle。但是当idle有令牌时，它要么去精致，要么去T1。条件（操作员选择的“程序”）不会消失，因此它们会一次又一次地被触发。

考虑到最后一点，我建议在程序结束时使用不同的空闲时间以避免这种循环。如果您必须多次通过相同的状态，但根据进度采取不同的操作，则必须使用更多令牌。

关于网络形式的几点说明：

• 您不需要将 1 放在每个弧上。仅当需要多个标记时，您可以通过省略 1 并在弧上指示数字来使其更具可读性。
• 通常，过渡不与弧对齐（尽管没有什么禁止的），而是垂直于流（此处为水平）
• 原则上，“地点”（节点）表示状态或资源，“转换”（矩形）表示改变状态的事件（或消耗资源的动作）。您的命名约定应该更好地反映这一点

Answer 2

显然您缺少一些停止该过程的条件。现在，一旦您开始洗涤，就会无限循环。

Answer 3

我认为如果未启用过渡图形，最好保留不着色或未填充的状态。如果启用，我个人将其填充为绿色。

如果您希望有人检查您是否在 Petri 网中正确建模了逻辑，那么最好在散文中包含对系统逻辑的描述。