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.
Update petrinet visualization with ProMJGraph Visualizer
I am currently developing a plugin to integrate the Performance Spectrum Visualization (Vadim Denisov) with alignments and petrinets.
The plugin is an interactive visualizer containing a PromJGraphPanel for the petrinet.
I chose this because it allows the selection of places and transitions which is very important for my functionality.
From all the (layout cache) update listening and GraphChangeEvents, I assumed that this visualizer can also handle changing the underlying petrinet.
I at least know how to change the ViewAttributeMap to color the places but I also need remove (or hide) and re-add elements. This is where my problem is.
When I simply change the petrinet and completely re-visualize it (so re-create the panel which is not elegant..), all new (also re-added) elements bunch up in the upper left corner, even when I copy the full AttributeMaps.
I guess this is because of the underlying graph layout connection.
Is there a better way to do this?
Another related thing is how to "catch" keystrokes and right clicks on the panel.
I tried adding a KeyListener to the graph panel but it seemed that no event came through. The same for a MouseListener for right clicks. Even a FocusListener never got any events, even though I interacted with the petrinet on the panel.
I would like to add a right click menu on places and transitions and also to add keyboard shortcuts for easier use.
Can I somehow do this with the existing plugins/functionality?
Thank you in advance.