modeling - 洗衣机培养网

Question

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

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

Answer 1

关于您的网络工作方式的第一条评论：

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

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

关于网络形式的一些评论：

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

Answer 2

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

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

Answer 3

显然你缺少一些条件来停止这个过程。现在，一旦您开始洗涤，您的洗涤将无限循环。