Package org.processmining.plugins.pnml.elements

Class PnmlPage

  • public class PnmlPage
extends PnmlNode
    Basic PNML page object.
    Author:
    hverbeek

    • Constructor Detail

      • PnmlPage

        protected PnmlPage()
        Create a fresh PNML page object.

      • PnmlPage

        @Deprecated
protected PnmlPage​(java.lang.String tag)
        Deprecated.

    • Method Detail

      • importElements

        protected boolean importElements​(org.xmlpull.v1.XmlPullParser xpp,
                                 Pnml pnml)
        Checks whether the current start tag is known. If known, it imports the corresponding child element and returns true. Otherwise, it returns false.
        Overrides:
        importElements in class PnmlNode
        Returns:
        Whether the start tag was known.

      • exportElements

        protected java.lang.String exportElements​(Pnml pnml)
        Exports all child elements.
        Overrides:
        exportElements in class PnmlNode
        Returns:

      • exportElements

        protected java.lang.String exportElements​(Pnml pnml,
                                          java.lang.String lineSeparator)
        Exports all child elements.

      • convertToNet

        public void convertToNet​(PetrinetGraph net,
                         ExpandableSubNet subNet,
                         int pageCtr,
                         Marking marking,
                         java.util.Map<java.lang.String,​Place> placeMap,
                         java.util.Map<java.lang.String,​Transition> transitionMap,
                         java.util.Map<java.lang.String,​PetrinetEdge<? extends PetrinetNode,​? extends PetrinetNode>> edgeMap,
                         java.awt.geom.Point2D.Double displacement,
                         boolean createGroup,
                         org.processmining.models.connections.GraphLayoutConnection layout)
        Converts this page to a Petri net.
        Parameters:
        net - Where to store the net.
        subNet - Where to store the sub net.
        marking - Where to store the initial marking.
        placeMap - Places found so far.
        transitionMap - Transitions found so far.

      • getPageBoundingBox

        public org.processmining.framework.util.Pair<java.awt.geom.Point2D.Double,​java.awt.geom.Point2D.Double> getPageBoundingBox()
        Gets the bounding box for all nodes on this page.
        Returns:
        The bounding box for all nodes on this page.

      • getDisplacement

        protected java.awt.geom.Point2D.Double getDisplacement​(java.awt.geom.Point2D.Double displacement,
                                                       PnmlPage page)
        Gets the displacement for nodes/arcs on the given page, given the displacement for the page itself.
        Parameters:
        displacement - The displacement for the given page.
        page - The given page.
        Returns:
        The displacement for any node/arc in the given page.

      • convertGroupsToNet

        protected void convertGroupsToNet​(PetrinetGraph net,
                                  ExpandableSubNet subNet,
                                  java.lang.String label,
                                  Marking marking,
                                  java.util.Map<java.lang.String,​Place> placeMap,
                                  java.util.Map<java.lang.String,​Transition> transitionMap,
                                  java.awt.geom.Point2D.Double displacement,
                                  boolean createGroup,
                                  org.processmining.models.connections.GraphLayoutConnection layout)

      • convertNodesToNet

        protected void convertNodesToNet​(PetrinetGraph net,
                                 ExpandableSubNet subNet,
                                 Marking marking,
                                 java.util.Map<java.lang.String,​Place> placeMap,
                                 java.util.Map<java.lang.String,​Transition> transitionMap,
                                 java.awt.geom.Point2D.Double displacement,
                                 org.processmining.models.connections.GraphLayoutConnection layout)

      • convertArcsToNet

        protected void convertArcsToNet​(PetrinetGraph net,
                                ExpandableSubNet subNet,
                                Marking marking,
                                java.util.Map<java.lang.String,​Place> placeMap,
                                java.util.Map<java.lang.String,​Transition> transitionMap,
                                java.util.Map<java.lang.String,​PetrinetEdge<?,​?>> edgeMap,
                                java.awt.geom.Point2D.Double displacement,
                                org.processmining.models.connections.GraphLayoutConnection layout)

      • 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)

      • convertFromNet

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