Class PNMLMarking


  • public class PNMLMarking
    extends java.lang.Object
    • Constructor Detail

      • PNMLMarking

        public PNMLMarking()
    • Method Detail

      • getPlaces

        public java.util.List<PNMLPlaceRef> getPlaces()
      • setPlaces

        public void setPlaces​(java.util.List<PNMLPlaceRef> places)