Names of the places that have proxies should always be shown
Never hide the names of places that have proxies. Otherwise it is impossible to track what the proxies are for.

diff --git a/PetriNetPlugin/src/org/workcraft/plugins/petri/VisualPlace.java b/PetriNetPlugin/src/org/workcraft/plugins/petri/VisualPlace.java
index b0a4916d5..bdc712cc5 100644
--- a/PetriNetPlugin/src/org/workcraft/plugins/petri/VisualPlace.java
+++ b/PetriNetPlugin/src/org/workcraft/plugins/petri/VisualPlace.java
@@ -93,6 +93,11 @@ public class VisualPlace extends VisualComponent {
         });
     }
 
+    @Override
+    public boolean getNameVisibility() {
+        return super.getNameVisibility() || !getReplicas().isEmpty();
+    }
+
     @Override
     public void draw(DrawRequest r)    {
         Graphics2D g = r.getGraphics();
['PetriNetPlugin/src/org/workcraft/plugins/petri/VisualPlace.java']