modelingpetri-net

Washing machine petri net


It is my first time doing a Petri net, and I want to model a washing machine. I have started and it looks like this so far:

Do you have any corrections or help? I obviously know its not correct, but I am a beginner and not aware of the mistakes you guys might see. Thanks in advance.


Solution

  • First comments on your net's way of working:

    Considering the last point, I'd suggest to have a different idle for the end of the program to avoid this cycling. If you have to pass several times through the same state but take different actions depending on the progress, you have to work with more tokens.

    Some remarks about the net's form: