search

iocchi / PetriNetPlans

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

Using the initial place of timed actions to identify the wait and fork place #16

Closed cdondrup closed 7 years ago

cdondrup commented 8 years ago

Closes #15

Instead of the name and parameters of the action as a string, the initial place of this action is used as a key in the map where the fork place and the wait exec place are stored. This works fine for me and generates the correct PNP:

pnp_unconfused

But I am unaware if this might lead to other complications. Please check if this is fine with you.

marc-hanheide commented 8 years ago

As we are also using this now, is there any update on this @iocchi ? Can this be merged?

iocchi commented 7 years ago

sorry guys, just noticed this remained open since a lot of time.... I can look at it in the next days, I also want to revise and extend the semantics of this timed actions. So I'll probably do everything together. I am sure it is not urgent, given the time in which it was open :-)))

iocchi commented 7 years ago

Integrated in commit https://github.com/iocchi/PetriNetPlans/commit/1500a7c026f8ebfaa87659643a59798d100d5308 Thank you.