iocchi / PetriNetPlans

Petri Net Plans library and applications
31 stars 15 forks source link

Actions with the same name and parameters get confused when applying execution rules #15

Closed cdondrup closed 7 years ago

cdondrup commented 8 years ago

Hi,

The corresponding wait action and the starting place of a timed action get confused when there is multiple timed actions with the same name and the same parameters. Let's say I have a plan like this:

go_forward|5; say_hello|2; go_forward|8

where I want to go forward twice (the wait duration is different on purpose to test if it makes a difference for this specific error but it doesn't matter if it is both the same or two different numbers). Now I want to add an execution rule:

*if* action_failed *during* go *do* restart_action

then the resulting PNP looks like this:

pnp_confused

I guess this is related to #14 meaning that actions are identified by their name+parameters which in this case overrides the starting place and the associated wait action in the map where those are saved and in the case of #14 assigns IDs multiple times.