Functional Rates: token_number expression (#(ID)) excludes zero

[paternostrox]

I really got the impression that by using token_number expression (#(ID)), the output should be the real number of tokens in a place, so using purely "#(ID)" in an arc, the arc should check how many tokens are in ID, and consume that amount, no matter what is the number... But for some reason that doesn't work with zero, is this expected to happen?

Image of a test, as you can see T0 is not enabled and will only be enabled if P0 has one or more tokens.

[sjdayday]

Yes, this is working as intended. In the simplest Petri net definition, tokens are integer-valued, and a place may have 0 or more tokens. An arc weight determines the consumption & production of tokens; the smallest number of tokens that can be consumed or produced is one. Hope that makes things more clear; please let me know if you have other questions. best, Steve

…

Sent from my iPhone

On Jul 20, 2017, at 8:35 PM, Pedro-Paternostro ***@***.***> wrote: I really got the impression that by using token_number expression (#(ID)), the output should be the real number of tokens in a place, so using purely "#(ID)" in an arc, the arc should check how many tokens are in ID, and consume that amount, no matter what is the number... But for some reason that doesn't work with zero, is this expected to happen? Image of a test, as you can see T0 is not enabled and will only be enabled if P0 has one or more tokens. — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub, or mute the thread.

[paternostrox]

Thank you for the quick reply. I really thought that for example, setting weight zero on arc P0 to T0 (previous image), meant the arc condition is fulfilled when P0 is empty, and T0 should be enabled then. I'm sure that happened before, but now testing it again I guess it was a bug.

That feature would really help me to get a simpler reset, I tried to reduce what I was trying to do so I can show you (all the transitions priorities are the same):

I have this situation where the number of tokens I have to remove is unsure, but I just need to remove them all no matter what the number is.. I have this in a larger scale in my actual project and I'm trying to find a solution that doesn't lead to organizational mayhem. Any thoughts?

Thanks in advance.

[sjdayday]

I think what you're doing should work. If you just want to empty all tokens from a place, just have an inbound arc with weight #(Pn) and no outbound arc. Steve

…

Sent from my iPhone

On Jul 22, 2017, at 4:14 AM, Pedro-Paternostro ***@***.***> wrote: Thank you for the quick reply. I really thought that for example, setting weight zero on arc P0 to T0 (image), meant the arc condition is fulfilled when P0 is empty, and T0 should be enabled then. I'm sure that happened before, but now testing it again I guess it was a bug. That feature would really help me to get a simpler reset, I tried to reduce what I was trying to do so I can show you (all the transitions priorities are the same): I have this situation where the number of tokens I have to remove is unsure, but I just need to remove them all no matter what the number is.. I have this in a larger scale in my actual project and I'm trying to find a solution that doesn't lead to organizational mayhem. Thanks in advance. — You are receiving this because you commented. Reply to this email directly, view it on GitHub, or mute the thread.

[paternostrox]

It really doesn't, let me animate the current petrinet. Note that in my net I want to be able to get into lockdown, this is expected:

But we also get this unexpected lockdown, here I want to be able to reset, but I can't think on any solution?

Current example XML:
reset.zip

[sjdayday]

Can you explain more about what you are trying to model? What are the transitions and places attempting to express?

…

Sent from my iPhone

On Jul 22, 2017, at 10:51 AM, Pedro-Paternostro ***@***.***> wrote: It really doesn't, let me animate the current petrinet. Note that in my net I want to be able to get into lockdown, this is expected: But we also get this unexpected lockdown, here I want to be able to reset, but I can't think on any solution? Current example XML: reset.zip — You are receiving this because you commented. Reply to this email directly, view it on GitHub, or mute the thread.

[sjdayday]

If T0 fires, you could use an inhibitory arc from P3 to T3 to keep T3 from firing and ending up with a second token. This would keep tokens in P1, P3 and ShouldReset, so that Reset would be enabled, but T2 would also be enabled, so no guarantee that Reset would fire. Bottom line: any firing pattern can be programmed, with enough work. You need to decide what you want to model to drive the appropriate Petri net structure. Steve

…

Sent from my iPhone

On Jul 22, 2017, at 10:51 AM, Pedro-Paternostro ***@***.***> wrote: It really doesn't, let me animate the current petrinet. Note that in my net I want to be able to get into lockdown, this is expected: But we also get this unexpected lockdown, here I want to be able to reset, but I can't think on any solution? Current example XML: reset.zip — You are receiving this because you commented. Reply to this email directly, view it on GitHub, or mute the thread.