To prevent spam users, you can only post on this forum after registration, which is by invitation. If you want to post on the forum, please send me a mail (h DOT m DOT w DOT verbeek AT tue DOT nl) and I'll send you an invitation in return for an account.

Labelling transitions

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

Comments

  • 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.

  • Dear Eric,

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

    Kind regards,

    Sabrina

Sign In or Register to comment.