Changing Synchronous Costs in Alignment

sab99

Hello,

I try to change the synchronous costs of the CostBasedCompleteParam paramer that is needed for an Alignment from a constant value to a more flexible one. The cost is not a constant anymore but should be dependent on an individual variable value of the synchronized event and transition.

For model costs this is straightforward as you map each transition of the net to an integer but for synchronized costs, you also map the transition to an integer. But in theory you map a pair of transition and event to an integer, right? So I wonder why only the transition is mapped here.

Because of this I run into the problem, that I would need to duplicate all transitions for almost all traces as the cost, that the transition should have, changes depending on the trace. Is this the only option or am I missing somethig where I could assign costs directly to a certain (transition, event) pair?

Thanks a lot in advance!

Sabrina

hverbeek

Hello Sabrina,

The replayer assumes that only the transition in the model is relevant for the cost of a synchronous move. As such, it cannot depend on the event in the trace. I agree that conceptually it could depend on it (it would lead to different costs for different 'synchronous' transitions in the synchronous product, which should not be a problem), but the current implementation simply says "no".

Kind regards, Eric.