Uses of Interface
org.processmining.models.graphbased.directed.petrinet.PetrinetGraph
-
-
Uses of PetrinetGraph in org.processmining.connections.logmodel
Constructors in org.processmining.connections.logmodel with parameters of type PetrinetGraph Constructor Description LogPetrinetConnectionImpl(org.deckfour.xes.model.XLog log, org.deckfour.xes.classification.XEventClasses classes, PetrinetGraph graph, java.util.Collection<org.processmining.framework.util.Pair<Transition,org.deckfour.xes.classification.XEventClass>> relations)LogPetrinetConnectionImpl(org.deckfour.xes.model.XLog log, org.deckfour.xes.classification.XEventClasses classes, PetrinetGraph graph, java.util.Map<Transition,org.deckfour.xes.classification.XEventClass> relations) -
Uses of PetrinetGraph in org.processmining.models.connections.petrinets
Methods in org.processmining.models.connections.petrinets with parameters of type PetrinetGraph Modifier and Type Method Description booleanPetrinetGraphConnection. isSourceNet(PetrinetGraph net)return true if this net is the source of the connection.booleanPetrinetGraphConnection. isTargetNet(PetrinetGraph net)return true if this net is the source of the connection.Constructors in org.processmining.models.connections.petrinets with parameters of type PetrinetGraph Constructor Description PetrinetGraphConnection(PetrinetGraph source, PetrinetGraph target, java.util.Map<Transition,Transition> transitionMap, java.util.Map<Place,Place> placeMap)Connects the two Petri nets through the mappings described in the transitions and place map. -
Uses of PetrinetGraph in org.processmining.models.connections.petrinets.behavioral
Constructors in org.processmining.models.connections.petrinets.behavioral with parameters of type PetrinetGraph Constructor Description AggCGGraphConnection(PetrinetGraph net, Marking marking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, AggCGGraph aggCGGraph)AggTSGraphConnection(PetrinetGraph net, Marking marking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, AggTSGraph aggTSGraph)BehavioralAnalysisInformationConnection(PetrinetGraph net, Marking marking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, NetAnalysisInformation<?> netAnalysisInformation)Connection with markingBoundednessInfoConnection(PetrinetGraph net, Marking marking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, NetAnalysisInformation.BOUNDEDNESS netAnalysisInformation)CoverabilityGraphConnection(PetrinetGraph net, org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem coverabilityGraph, Marking marking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics)CoverabilitySetConnection(PetrinetGraph net, Marking initial, AbstractMarkingSet<?> marking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, java.lang.String setName)DeadMarkingConnection(PetrinetGraph net, Marking initial, org.processmining.models.graphbased.directed.transitionsystem.AcceptStateSet acceptingStates, org.processmining.models.semantics.Semantics<Marking,Transition> semantics)DeadTransitionsConnection(PetrinetGraph net, Marking marking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, DeadTransitionsSet dead)FinalMarkingConnection(PetrinetGraph net, Marking m)HomeMarkingConnection(PetrinetGraph net, Marking initial, AbstractMarkingSet<?> marking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, java.lang.String setName)InitialMarkingConnection(PetrinetGraph net, Marking m)LivenessInfoConnection(PetrinetGraph net, Marking marking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, NetAnalysisInformation.LIVENESS netAnalysisInformation)MarkingsetNetConnection(PetrinetGraph net, AbstractMarkingSet<?> marking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, java.lang.String setName)All markings contain only places from the net, i.e.NonLiveSequencesConnection(PetrinetGraph net, NonLiveSequences sequences, Marking marking, Marking[] allowedFinalMarkings, org.processmining.models.semantics.Semantics<Marking,Transition> semantics)NonLiveTransitionsConnection(PetrinetGraph net, NonLiveTransitionsSet transitions, Marking marking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics)ReachabilitySetConnection(PetrinetGraph net, Marking initial, AbstractMarkingSet<?> marking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, java.lang.String setName)StateSpaceConnection(PetrinetGraph net, Marking marking, org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem statespace, org.processmining.models.semantics.Semantics<Marking,Transition> semantics)UnboundedPlacesConnection(PetrinetGraph net, UnboundedPlacesSet places, Marking marking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics)UnboundedSequencesConnection(PetrinetGraph net, UnboundedSequences sequences, Marking marking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics)UnfoldingNetConnection(PetrinetGraph originalNet, Marking originalMarking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, PetrinetGraph prefixNet)connect Petri net to its finite complete prefixUnfoldingNetConnection(PetrinetGraph originalNet, Marking originalMarking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, PetrinetGraph prefixNet, CTMarking prefixMarking)UnfoldingNetConnection(PetrinetGraph originalNet, Marking originalMarking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, PetrinetGraph prefixNet, Marking prefixMarking)connect Petri net to its finite complete prefix -
Uses of PetrinetGraph in org.processmining.models.connections.petrinets.structural
-
Uses of PetrinetGraph in org.processmining.models.graphbased.directed.opennet
Classes in org.processmining.models.graphbased.directed.opennet that implement PetrinetGraph Modifier and Type Class Description classOpenNet -
Uses of PetrinetGraph in org.processmining.models.graphbased.directed.petrinet
Subinterfaces of PetrinetGraph in org.processmining.models.graphbased.directed.petrinet Modifier and Type Interface Description interfaceInhibitorNetinterfacePetrinetinterfaceResetInhibitorNetinterfaceResetNet -
Uses of PetrinetGraph in org.processmining.models.graphbased.directed.petrinet.configurable
Classes in org.processmining.models.graphbased.directed.petrinet.configurable with type parameters of type PetrinetGraph Modifier and Type Interface Description interfaceConfigurablePetrinet<NetType extends PetrinetGraph>Configurable Petri net that builds on top of an existing class of Petri nets specified by parameter NetType.Subinterfaces of PetrinetGraph in org.processmining.models.graphbased.directed.petrinet.configurable Modifier and Type Interface Description interfaceConfigurablePetrinet<NetType extends PetrinetGraph>Configurable Petri net that builds on top of an existing class of Petri nets specified by parameter NetType.Methods in org.processmining.models.graphbased.directed.petrinet.configurable with parameters of type PetrinetGraph Modifier and Type Method Description static java.util.List<ConfigurableFeatureGroup>ConfigurableFeatureGroup. createDefaultFeatureGroups(PetrinetGraph net, Marking m)Create default configurable feature groups for all nodes in the net.static java.util.List<ConfigurableFeatureGroup>ConfigurationUtils. stripFeaturesFromLabels(PetrinetGraph net)Method parameters in org.processmining.models.graphbased.directed.petrinet.configurable with type arguments of type PetrinetGraph Modifier and Type Method Description voidConfigurableFeature. executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent)Executes the configuration onConfigurableFeature.getConfiguredElement().voidConfigurableFeatureGroup. executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent)Executes the configuration for this feature group.booleanConfigurableFeature. isStillExecutable(ConfigurablePetrinet<? extends PetrinetGraph> parent) -
Uses of PetrinetGraph in org.processmining.models.graphbased.directed.petrinet.configurable.elements
Method parameters in org.processmining.models.graphbased.directed.petrinet.configurable.elements with type arguments of type PetrinetGraph Modifier and Type Method Description voidConfigurableArc. executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent)Configures the arc of this configurable feature.voidConfigurableArcWeight. executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent)Set the weight of the configurable arc toConfigurableParameter.getValue()(if > 0) and remove arc from parent (if == 0)voidConfigurablePlace. executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent)Configures the place of this configurable feature.voidConfigurablePlaceMarking. executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent)Set initial marking of configurable place in its parent net to the configured value.voidConfigurableTransition. executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent)Configures the transition of this configurable feature.voidParameterizedArc. executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent)Set the weight of the configurable arc toParameterizedIntegerFeature.getValue()(if > 0) and remove arc from parent (if == 0)voidParameterizedPlaceMarking. executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent)Set initial marking of configurable place in its parent net to the configured value.booleanConfigurableArc. isStillExecutable(ConfigurablePetrinet<? extends PetrinetGraph> parent)booleanConfigurableArcWeight. isStillExecutable(ConfigurablePetrinet<? extends PetrinetGraph> parent)booleanConfigurablePlace. isStillExecutable(ConfigurablePetrinet<? extends PetrinetGraph> parent)booleanConfigurablePlaceMarking. isStillExecutable(ConfigurablePetrinet<? extends PetrinetGraph> parent)booleanConfigurableTransition. isStillExecutable(ConfigurablePetrinet<? extends PetrinetGraph> parent)booleanParameterizedArc. isStillExecutable(ConfigurablePetrinet<? extends PetrinetGraph> parent)booleanParameterizedPlaceMarking. isStillExecutable(ConfigurablePetrinet<? extends PetrinetGraph> parent) -
Uses of PetrinetGraph in org.processmining.models.graphbased.directed.petrinet.configurable.impl
Classes in org.processmining.models.graphbased.directed.petrinet.configurable.impl that implement PetrinetGraph Modifier and Type Class Description classConfigurableResetInhibitorNetA configurableResetInhibitorNet.Methods in org.processmining.models.graphbased.directed.petrinet.configurable.impl with parameters of type PetrinetGraph Modifier and Type Method Description static voidLayoutUtils. setLayout(PetrinetGraph net, org.processmining.models.connections.GraphLayoutConnection layout)GraphLayoutConnection.setLayedOut(boolean)based on layout information in the net, i.e., whether all nodes have a proper position.Method parameters in org.processmining.models.graphbased.directed.petrinet.configurable.impl with type arguments of type PetrinetGraph Modifier and Type Method Description abstract voidParameterizedIntegerFeature. executeConfiguration(ConfigurablePetrinet<? extends PetrinetGraph> parent) -
Uses of PetrinetGraph in org.processmining.models.graphbased.directed.petrinet.impl
Classes in org.processmining.models.graphbased.directed.petrinet.impl that implement PetrinetGraph Modifier and Type Class Description classInhibitorNetImplclassPetrinetImplclassResetInhibitorNetImplclassResetNetImpl -
Uses of PetrinetGraph in org.processmining.models.graphbased.directed.petrinetwithdata
Classes in org.processmining.models.graphbased.directed.petrinetwithdata that implement PetrinetGraph Modifier and Type Class Description classPetriNetWithData -
Uses of PetrinetGraph in org.processmining.models.semantics.petrinet.impl
Methods in org.processmining.models.semantics.petrinet.impl with parameters of type PetrinetGraph Modifier and Type Method Description static EfficientPetrinetSemanticsPetrinetSemanticsFactory. regularEfficientPetrinetSemantics(PetrinetGraph net)Creates a newEfficientPetrinetSemantics.Constructors in org.processmining.models.semantics.petrinet.impl with parameters of type PetrinetGraph Constructor Description EfficientPetrinetSemanticsImpl(PetrinetGraph net)Creates the semantics for the suppliedPetrinetGraphand an empty initial marking.EfficientPetrinetSemanticsImpl(PetrinetGraph net, Marking initialMarking)Creates the semantics for the suppliedPetrinetGraphand initialMarking. -
Uses of PetrinetGraph in org.processmining.plugins.connectionfactories.logpetrinet
Methods in org.processmining.plugins.connectionfactories.logpetrinet with parameters of type PetrinetGraph Modifier and Type Method Description LogPetrinetConnectionLogPetrinetConnectionFactory. connect(org.processmining.contexts.uitopia.UIPluginContext context, org.deckfour.xes.model.XLog log, PetrinetGraph net)Constructors in org.processmining.plugins.connectionfactories.logpetrinet with parameters of type PetrinetGraph Constructor Description LogPetrinetConnectionFactoryUI(org.deckfour.xes.model.XLog log, PetrinetGraph net, java.lang.Object[] availableClassifier) -
Uses of PetrinetGraph in org.processmining.plugins.petrinet
Methods in org.processmining.plugins.petrinet with parameters of type PetrinetGraph Modifier and Type Method Description static TransitionPetriNetShortCircuiter. shortCircuit(PetrinetGraph net)protected javax.swing.JComponentPetriNetVisualization. visualizeWithAll(org.processmining.framework.plugin.PluginContext context, PetrinetGraph n, Marking m) -
Uses of PetrinetGraph in org.processmining.plugins.petrinet.configurable
Constructors in org.processmining.plugins.petrinet.configurable with parameters of type PetrinetGraph Constructor Description AddGroupHandler(PetrinetGraph net)AddTransitionsGroupHandler(PetrinetGraph net)CreateConfigurableNet_UI(PetrinetGraph net, java.util.List<ConfigurableFeatureGroup> groups)Constructor parameters in org.processmining.plugins.petrinet.configurable with type arguments of type PetrinetGraph Constructor Description ConfigurePetriNet_UI(ConfigurablePetrinet<? extends PetrinetGraph> net, boolean configureAll) -
Uses of PetrinetGraph in org.processmining.plugins.petrinet.configurable.ui
Methods in org.processmining.plugins.petrinet.configurable.ui with parameters of type PetrinetGraph Modifier and Type Method Description static AddFeatureWizardPage.NetElement[]AddFeatureWizardPage.NetElement. getNetElements(PetrinetGraph net)Constructors in org.processmining.plugins.petrinet.configurable.ui with parameters of type PetrinetGraph Constructor Description ConfigurableFeatureGroup_UI(javax.swing.JComponent root, PetrinetGraph net, ConfigurableFeatureGroup group) -
Uses of PetrinetGraph in org.processmining.plugins.pnml.base
Methods in org.processmining.plugins.pnml.base with parameters of type PetrinetGraph Modifier and Type Method Description PnmlPnml. convertFromNet(PetrinetGraph net, Marking marking, java.util.Collection<Marking> finalMarkings, java.util.Map<java.lang.String,org.processmining.models.graphbased.AbstractGraphElement> idMap, org.processmining.models.connections.GraphLayoutConnection layout)PnmlPnml. convertFromNet(PetrinetGraph net, Marking marking, java.util.Collection<Marking> finalMarkings, org.processmining.models.connections.GraphLayoutConnection layout)PnmlPnml. convertFromNet(PetrinetGraph net, Marking marking, java.util.Map<java.lang.String,org.processmining.models.graphbased.AbstractGraphElement> idMap, org.processmining.models.connections.GraphLayoutConnection layout)PnmlPnml. convertFromNet(PetrinetGraph net, Marking marking, org.processmining.models.connections.GraphLayoutConnection layout)voidPnml. convertToNet(PetrinetGraph net, Marking marking, java.util.Collection<Marking> finalMarkings, org.processmining.models.connections.GraphLayoutConnection layout)voidPnml. convertToNet(PetrinetGraph net, Marking marking, org.processmining.models.connections.GraphLayoutConnection layout)Converts the PNML object to a Petri net and initial marking.voidPnml. setLayout(PetrinetGraph net, org.processmining.models.connections.GraphLayoutConnection layout)Method parameters in org.processmining.plugins.pnml.base with type arguments of type PetrinetGraph Modifier and Type Method Description PnmlPnml. convertFromNet(java.util.Map<PetrinetGraph,Marking> markedNets, java.util.Map<PetrinetGraph,java.util.Collection<Marking>> finalMarkedNets, org.processmining.models.connections.GraphLayoutConnection layout)PnmlPnml. convertFromNet(java.util.Map<PetrinetGraph,Marking> markedNets, org.processmining.models.connections.GraphLayoutConnection layout) -
Uses of PetrinetGraph in org.processmining.plugins.pnml.elements
Methods in org.processmining.plugins.pnml.elements with parameters of type PetrinetGraph Modifier and Type Method Description protected voidPnmlPage. convertArcsFromNet(PetrinetGraph net, Marking marking, ExpandableSubNet parent, ExpandableSubNet element, java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap, PnmlPage.PageMap pageMap, org.processmining.models.connections.GraphLayoutConnection layout)protected voidPnmlPage. 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)PnmlNetPnmlNet. convertFromNet(PetrinetGraph net, Marking marking, java.util.Collection<Marking> netFinalMarkings, java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap, int id, java.util.Map<java.lang.String,org.processmining.models.graphbased.AbstractGraphElement> map, org.processmining.models.connections.GraphLayoutConnection layout)PnmlNetPnmlNet. convertFromNet(PetrinetGraph net, Marking marking, java.util.Collection<Marking> netFinalMarkings, java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap, int id, org.processmining.models.connections.GraphLayoutConnection layout)PnmlPagePnmlPage. convertFromNet(PetrinetGraph net, Marking marking, ExpandableSubNet parent, ExpandableSubNet element, java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap, org.processmining.models.connections.GraphLayoutConnection layout)PnmlTransitionPnmlTransition. convertFromNet(PetrinetGraph net, ExpandableSubNet parent, Transition element, java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap, org.processmining.models.connections.GraphLayoutConnection layout)protected PnmlPagePnmlPage. convertGroupsFromNet(PetrinetGraph net, Marking marking, ExpandableSubNet parent, ExpandableSubNet element, java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap, PnmlPage.PageMap pageMap, org.processmining.models.connections.GraphLayoutConnection layout)protected voidPnmlPage. 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)protected voidPnmlPage. convertNodesFromNet(PetrinetGraph net, Marking marking, ExpandableSubNet parent, ExpandableSubNet element, java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap, PnmlPage.PageMap pageMap, org.processmining.models.connections.GraphLayoutConnection layout)protected voidPnmlPage. 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)protected voidPnmlPage. convertRefNodesToNet(PetrinetGraph net, ExpandableSubNet subNet, Marking marking, java.util.Map<java.lang.String,Place> placeMap, java.util.Map<java.lang.String,Transition> transitionMap)voidPnmlArc. convertToNet(PetrinetGraph net, ExpandableSubNet subNet, 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, org.processmining.models.connections.GraphLayoutConnection layout)Converts this PNML arc to a regular Petri net arc.voidPnmlNet. convertToNet(PetrinetGraph net, Marking marking, java.util.Collection<Marking> netFinalMarkings, 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, org.processmining.models.connections.GraphLayoutConnection layout)Convert this net to a Petri net.voidPnmlPage. 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.voidPnmlPlace. convertToNet(PetrinetGraph net, ExpandableSubNet subNet, Marking marking, java.util.Map<java.lang.String,Place> map, java.awt.geom.Point2D.Double displacement, org.processmining.models.connections.GraphLayoutConnection layout)Converts this place to a Petri net place.voidPnmlReferencePlace. convertToNet(PetrinetGraph net, ExpandableSubNet subNet, java.util.Map<java.lang.String,Place> map)Converts this reference place to a regular Petri net place.voidPnmlReferenceTransition. convertToNet(PetrinetGraph net, ExpandableSubNet subNet, java.util.Map<java.lang.String,Transition> map)Converts this reference transition object to a regular Petri net transition.voidPnmlTransition. convertToNet(PetrinetGraph net, ExpandableSubNet subNet, java.util.Map<java.lang.String,Transition> map, java.awt.geom.Point2D.Double displacement, org.processmining.models.connections.GraphLayoutConnection layout)Converts this transition to a Petri net transition. -
Uses of PetrinetGraph in org.processmining.plugins.pnml.elements.extensions.configurations
Methods in org.processmining.plugins.pnml.elements.extensions.configurations with parameters of type PetrinetGraph Modifier and Type Method Description voidPnmlConfiguration. convertToNet(PetrinetGraph net, 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)voidPnmlFeature. convertToNet(PetrinetGraph net, ConfigurableFeatureGroup group, 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)voidPnmlGroup. convertToNet(PetrinetGraph net, 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) -
Uses of PetrinetGraph in org.processmining.plugins.pnml.elements.extensions.opennet
Methods in org.processmining.plugins.pnml.elements.extensions.opennet with parameters of type PetrinetGraph Modifier and Type Method Description voidPnmlFinalMarking. convertToNet(PetrinetGraph net, java.util.Map<java.lang.String,Place> placeMap, java.util.Collection<Marking> finalMarkings)voidPnmlFinalMarkings. convertToNet(PetrinetGraph net, java.util.Map<java.lang.String,Place> placeMap, java.util.Collection<Marking> finalMarkings) -
Uses of PetrinetGraph in org.processmining.plugins.pnml.importing
Methods in org.processmining.plugins.pnml.importing with parameters of type PetrinetGraph Modifier and Type Method Description java.lang.ObjectPnmlImportUtils. connectNet(org.processmining.framework.plugin.PluginContext context, Pnml pnml, PetrinetGraph net)
-