Works very well. It is nice that for places it prints (Shared) after the shared places, please, do the same also for shared transitions.

The PR is broken. Open e.g. the EKR net and search for RP place. It shows is as a shared place (but it is not a shared place). When you click it, it gives:

Exception in thread "AWT-EventQueue-0" java.lang.IllegalStateException: Selected object is null
at pipe.gui.GuiFrame.lambda$buildToolbar$4(GuiFrame.java:997)
at pipe.gui.petrinet.SearchBar.lambda$showResults$0(SearchBar.java:149)
at java.desktop/javax.swing.AbstractButton.fireActionPerformed(AbstractButton.java:1972)
at java.desktop/javax.swing.AbstractButton$Handler.actionPerformed(AbstractButton.java:2314)
at java.desktop/javax.swing.DefaultButtonModel.fireActionPerformed(DefaultButtonModel.java:407)
at java.desktop/javax.swing.DefaultButtonModel.setPressed(DefaultButtonModel.java:262)
...

Looks good and works very well.