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:
- there is no arrow back to the
offstate. So once you switch on your washing machine, won't you never be able to switch it off again ? drainanddryboth conduct back toidle. But when idle has a token, it will either go to delicate or to T1. The conditions ("program" chosen by the operator) don't vanish, so they would be triggered again and again.
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:
- you don't need to put the 1 on every arc. You could make this more readable by Leaving the 1 out and indicating a number on an arc, only when more than one tokens would be needed.
- usually, the transitions are not aligned with the arcs (although nothing forbids is) but rather perpendicular to the flow (here, horizontal)
- In principle, "places" (nodes) represent states or resources, and "transitions" (rectangles) represent an event that changes the state (or an action that consumes resources). Your naming convention should better reflect this
- how to make slack variables with only single index each but each comprises more than one element
- How can I merge agents into a different type agent using multiagents?
- How to use expansion regions for loops in an activity diagram?
- Change hydraulic block to gas block Simscape
- glmer and 'hessian is numerically singular'
- What are the advantages of LePUS3 over UML?
- Dredged many global models in R (binomial GLMs), how can I compare results across models?
- Generating documents from LDA topic model
- What is considered to be a good value for Nash-Sutcliffe Efficiency (NSE)?
- How to computationally model the output of an idealized sensor given its Modulation Transfer Function?
- What is the problem with my R code for solving and plotting a coupled system of ODE's?
- Modelling an arbitrary (but fixed) number of independent planning varibales in Timefold?
- How do I draw a switch statement in a graphical design?
- Incorporating time step dependent rate/parameter in a metapopulation model
- matlab - simscape begins simulation outside of joint limits
- How can I substitute multiple list in binary array Python?
- How to revers a seq relation in Alloy
- Modelica: Pass a record based on a record interface to a function
- Calculating values based on inputs in a Modelica record constructor
- How to resolve error in creating sdmData object?
- Implementing Constraints in OPL Using CPLEX
- Modelling a robotic arm motion in 3D, ideas?
- R: Allocating N discrete elements between population cohorts by probability
- Is there a way to reuse a glm fit, if all I have is the model fit call and summary?
- Modelling a closed kinematic chain in simscape
- Ortools setting constraints while solving
- How do you model a table for unit conversion?
- Modelling Gof Observer patterns in UML
- "Full rank" error when estimating OLS with statsmodel
- Can a ProblemFact have a reference to a PlanningEntity?