洗衣机petri网

Question

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

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

Answer 1

首先评论您的网络工作方式：

• 没有箭头返回off状态。所以一旦你打开洗衣机，你再也不能把它关掉了吗？
• drain和dry都返回idle。但是当闲置有一个令牌时，它会转移到精致或T1。条件（＆＃34;程序＆＃34;由运营商选择）不会消失，因此它们会一次又一次地被触发。

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

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

• 你不需要在每个弧线上放置1。只有当需要多个令牌时，才能通过离开1并在弧上指示数字来使这更具可读性。
• 通常，过渡不与弧线对齐（虽然没有禁止），而是垂直于流动（此处为水平）
• 原则上，＆＃34;地点＆＃34; （节点）代表状态或资源，以及＆＃34;转换＆＃34; （矩形）表示更改状态（或消耗资源的操作）的事件。您的命名约定应该更好地反映这个

Answer 2

显然你错过了一些阻止这个过程的条件。现在，一旦你开始洗涤，将继续无休止的循环。

Answer 3

I think it would be nice to leave the transition graphics unshaded or unfilled if it is not enabled. Personally I fill it green if it is enabled.

If you want someone to check if you modeled a logic properly in your Petri Net then it would be nice if you include a description of your system logic in prose.