Class PnmlReferencePlace


  • public class PnmlReferencePlace
    extends PnmlNode
    Basic PNML referencePlace object.
    Author:
    hverbeek
    • Field Detail

    • Constructor Detail

      • PnmlReferencePlace

        protected PnmlReferencePlace()
        Creates a fresh reference place.
    • Method Detail

      • importAttributes

        protected void importAttributes​(org.xmlpull.v1.XmlPullParser xpp,
                                        Pnml pnml)
        Imports all known attributes.
        Overrides:
        importAttributes in class PnmlNode
      • exportAttributes

        protected java.lang.String exportAttributes​(Pnml pnml)
        Exports all attributes.
        Overrides:
        exportAttributes in class PnmlNode
        Returns:
      • checkValidity

        protected void checkValidity​(Pnml pnml)
        Check validity. Should have a ref attribute.
        Overrides:
        checkValidity in class PnmlNode
      • convertToNet

        public void convertToNet​(PetrinetGraph net,
                                 ExpandableSubNet subNet,
                                 java.util.Map<java.lang.String,​Place> map)
        Converts this reference place to a regular Petri net place.
        Parameters:
        net - The net to add the place to.
        subNet - The sub net to add the place to.
        map - The places found so far.
      • convertFromNet

        public PnmlReferencePlace convertFromNet​(ExpandableSubNet parent,
                                                 Place place,
                                                 java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,​ExpandableSubNet>,​java.lang.String> idMap,
                                                 org.processmining.models.connections.GraphLayoutConnection layout)