Labelling transitions

sab99

Dear all,

I would like to put a label above my transitions in the petri net. I tried to look at many different plugins but none did something similar, I could only find ways to label the arcs or places or use guards but it does not solve my problem. The best solution I found was to put the label next to the activity name inside the transition but this is obviously not very pretty.

Is there any way to directly put a label above a transition instead?

Thanks in advance!

Sabrina

hverbeek

Dear Sabrina,

In ProM, a transition has a label (its name), and it is left to the (Petri net) visualizer to decide where the label will appear. Most visualizers will show the label in the transition, but this is not required. In a similar way, a place also has a label, but most visualizers will not show it, only some do.

However, a transition in ProM has only a single label. If you need to have two labels for a single transition (where one is shown in the transition and the other just above it), then you need to create a new class for such Petri nets. Existing visualizers will not support multiple labels, as the underlying (Petri net) model does not allow for it.

Kind regards,

Eric.

sab99

Dear Eric,

okay, now I understand why I did not find anything! Thank you so much for the quick response!

Kind regards,

Sabrina