Logic Explanation

Question

question

Rober G asked Aug 10, '23 Natalie White commented Aug 10, '23

Logic Explanation

CurrentStateModel.fsmGood day thank you for taking the time to assist :)

I have an attached model populated with flow logic explanations for a better understanding for you, however, it seems that I still lack understanding...

According to my understanding production is supposed to be halted because there is insufficient material in the inventory. This is regulated by the subflow:

With the sub-flow a token is designated satisfiable=="Flase" if there are insufficient materials in the "Bunker Bulk Inventory" which then causes the token to get stuck at the wait-for event until a trucks arrive:

And repeat till satisfiable?

This is my understanding, which seems to be wrong else production would stop and inventory won't go to minus.

Any advice is appreciated! Would love to understand and fix my situation :)

Software Version:

FlexSim 23.0.10

process flow wait for event run subflow

1691671310269.png (14.0 KiB)

1691671482111.png (6.5 KiB)

currentstatemodel.fsm (69.7 KiB)

· 1

5 |100000

Attachments: Up to 12 attachments (including images) can be used with a maximum of 23.8 MiB each and 47.7 MiB total.

Jason Lightfoot ♦♦ commented · Aug 10, 2023 at 01:27 PM

You have exceptions in your model since you're trying to access storage system properties but these use 3D objects and you have none in your model.

We like to clear these issues first so that we're not trying to fix something related.

If we just disable the 'Reorder Draft' source for now, then we still get an exception at 690 due to an invalid row number being used in the 'Update Warehouse' activity trying to read a row in Delivery Qty that does not exist. If you're not going to add the rows and make Type:Row a 1:1 map, then you need to use getValueByKey to look up the Type and read the Quanity.

1 ·

Answer 1 · 2023-08-10T13:19:45Z

Felix Möhlmann answered Aug 10, '23 Natalie White commented Aug 10, '23

Because you copy the labels to the subflow tokens, the "Satisfiable" label is only changed on those. The label on the parent always stays at "True".

You can either change the Assign Labels activity to specifially change the label on the parent.

Or you don't copy the labels to the child tokens, so the parent label gets changed by proxy.

1691673467150.png (10.7 KiB)

1691673484370.png (7.0 KiB)

1691673505386.png (3.0 KiB)

· 2

5 |100000

Attachments: Up to 12 attachments (including images) can be used with a maximum of 23.8 MiB each and 47.7 MiB total.

Rober G commented · Aug 10, 2023 at 03:11 PM

Perfect it does the job thank you @Felix Möhlmann !

Some tokens get stuck at the wait for event because at their time of creation, there was insufficient inventory. Is there a way can re-test them so they become "true"?

0 ·

1691680288406.png (4.3 KiB)

Natalie White Rober G commented · Aug 10, 2023 at 03:50 PM

You can consider replacing the "Wait for Event" with a "Decide" activity which determines whether the tokens continue to connection A or whether they loop through an "Assign Labels" activity

1 ·

question