Uses of Class
org.processmining.models.semantics.petrinet.Marking

Packages that use Marking
org.processmining.models.connections.petrinets.behavioral   
org.processmining.models.connections.petrinets.structural   
org.processmining.models.graphbased.directed.opennet   
org.processmining.models.graphbased.directed.petrinet.analysis   
org.processmining.models.graphbased.directed.petrinet.configurable   
org.processmining.models.graphbased.directed.petrinet.configurable.impl   
org.processmining.models.graphbased.directed.petrinet.impl   
org.processmining.models.semantics.petrinet   
org.processmining.plugins.petrinet   
org.processmining.plugins.petrinet.configurable   
org.processmining.plugins.petrinet.importing.tpn   
org.processmining.plugins.pnml   
org.processmining.plugins.pnml.extensions   
org.processmining.plugins.pnml.extensions.opennet   
 

Uses of Marking in org.processmining.models.connections.petrinets.behavioral
 

Methods in org.processmining.models.connections.petrinets.behavioral that return types with arguments of type Marking
 org.processmining.models.semantics.Semantics<Marking,Transition> AbstractSemanticConnection.getSemantics()
           
 

Methods in org.processmining.models.connections.petrinets.behavioral with parameters of type Marking
static FinalMarkingConnection FinalMarkingConnection.markedNetConnectionFactory(org.processmining.framework.plugin.PluginContext context, InhibitorNet net, Marking m)
           
static InitialMarkingConnection InitialMarkingConnection.markedNetConnectionFactory(org.processmining.framework.plugin.PluginContext context, InhibitorNet net, Marking m)
           
static FinalMarkingConnection FinalMarkingConnection.markedNetConnectionFactory(org.processmining.framework.plugin.PluginContext context, Petrinet net, Marking m)
           
static InitialMarkingConnection InitialMarkingConnection.markedNetConnectionFactory(org.processmining.framework.plugin.PluginContext context, Petrinet net, Marking m)
           
static FinalMarkingConnection FinalMarkingConnection.markedNetConnectionFactory(org.processmining.framework.plugin.PluginContext context, ResetInhibitorNet net, Marking m)
           
static InitialMarkingConnection InitialMarkingConnection.markedNetConnectionFactory(org.processmining.framework.plugin.PluginContext context, ResetInhibitorNet net, Marking m)
           
static FinalMarkingConnection FinalMarkingConnection.markedNetConnectionFactory(org.processmining.framework.plugin.PluginContext context, ResetNet net, Marking m)
           
static InitialMarkingConnection InitialMarkingConnection.markedNetConnectionFactory(org.processmining.framework.plugin.PluginContext context, ResetNet net, Marking m)
           
 

Constructors in org.processmining.models.connections.petrinets.behavioral with parameters of type Marking
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 marking
BoundednessInfoConnection(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)
           
NonLiveSequencesConnection(PetrinetGraph net, NonLiveSequences sequences, Marking marking, Marking[] allowedFinalMarkings, org.processmining.models.semantics.Semantics<Marking,Transition> semantics)
           
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)
           
NonRelaxedSoundTransitionsConnection(Petrinet net, Marking marking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, NonRelaxedSoundTransitionsSet causalNonRelaxedSoundTransitions)
           
ReachabilitySetConnection(PetrinetGraph net, Marking initial, AbstractMarkingSet<?> marking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, java.lang.String setName)
           
RelaxedSoundessInfoConnection(Petrinet net, Marking marking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, NetAnalysisInformation.RELAXEDSOUND netAnalysisInformation)
           
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 prefix
UnfoldingNetConnection(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
 

Constructor parameters in org.processmining.models.connections.petrinets.behavioral with type arguments of type Marking
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 marking
BoundednessInfoConnection(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)
           
HomeMarkingConnection(PetrinetGraph net, Marking initial, AbstractMarkingSet<?> marking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, java.lang.String setName)
           
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)
           
NonRelaxedSoundTransitionsConnection(Petrinet net, Marking marking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, NonRelaxedSoundTransitionsSet causalNonRelaxedSoundTransitions)
           
ReachabilitySetConnection(PetrinetGraph net, Marking initial, AbstractMarkingSet<?> marking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, java.lang.String setName)
           
RelaxedSoundessInfoConnection(Petrinet net, Marking marking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, NetAnalysisInformation.RELAXEDSOUND netAnalysisInformation)
           
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 prefix
UnfoldingNetConnection(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 Marking in org.processmining.models.connections.petrinets.structural
 

Constructors in org.processmining.models.connections.petrinets.structural with parameters of type Marking
ShortCircuitedNetConnection(PetrinetGraph net, PetrinetGraph sCNet, Marking finalMarking)
           
 

Uses of Marking in org.processmining.models.graphbased.directed.opennet
 

Methods in org.processmining.models.graphbased.directed.opennet that return types with arguments of type Marking
 java.util.Collection<Marking> OpenNet.getFinalMarkings()
           
 

Methods in org.processmining.models.graphbased.directed.opennet with parameters of type Marking
 void OpenNet.addFinalMarking(Marking m)
           
 

Uses of Marking in org.processmining.models.graphbased.directed.petrinet.analysis
 

Classes in org.processmining.models.graphbased.directed.petrinet.analysis with type parameters of type Marking
 class AbstractMarkingSet<M extends Marking>
           
 

Methods in org.processmining.models.graphbased.directed.petrinet.analysis that return Marking
 Marking[] AbstractMarkingSet.getMarkings()
           
 

Constructors in org.processmining.models.graphbased.directed.petrinet.analysis with parameters of type Marking
AbstractMarkingSet(java.lang.String label, M... markings)
           
FinalMarkingSet(Marking[] markings)
           
HomeMarkingSet(Marking[] markings)
           
ReachabilitySet(Marking[] markings)
           
 

Uses of Marking in org.processmining.models.graphbased.directed.petrinet.configurable
 

Methods in org.processmining.models.graphbased.directed.petrinet.configurable that return Marking
 Marking ConfigurablePetrinet.getConfiguredMarking()
           
 

Methods in org.processmining.models.graphbased.directed.petrinet.configurable with parameters of type Marking
 void ConfigurablePetrinet.cloneFrom(NetType net, Marking netMarking, java.util.List<ConfigurableFeatureGroup> configurationOptions, org.processmining.models.connections.GraphLayoutConnection oldLayout, org.processmining.models.connections.GraphLayoutConnection newLayout)
          Clone a configurable reset inhibitor net from an existing reset inhibitor net.
static ConfigurableFeatureGroup ConfigurableFeatureGroup.createDefaultFeatureGroup(Place p, Marking m)
          Create a configurable feature group for the presence of a place and its initial marking.
static java.util.List<ConfigurableFeatureGroup> ConfigurableFeatureGroup.createDefaultFeatureGroups(PetrinetGraph net, Marking m)
          Create default configurable feature groups for all nodes in the net.
 

Uses of Marking in org.processmining.models.graphbased.directed.petrinet.configurable.impl
 

Methods in org.processmining.models.graphbased.directed.petrinet.configurable.impl that return Marking
 Marking ConfigurableResetInhibitorNet.getConfiguredMarking()
           
 

Methods in org.processmining.models.graphbased.directed.petrinet.configurable.impl with parameters of type Marking
 void ConfigurableResetInhibitorNet.cloneFrom(ResetInhibitorNet net, Marking netMarking, java.util.List<ConfigurableFeatureGroup> configurations, org.processmining.models.connections.GraphLayoutConnection oldLayout, org.processmining.models.connections.GraphLayoutConnection newLayout)
           
 

Uses of Marking in org.processmining.models.graphbased.directed.petrinet.impl
 

Methods in org.processmining.models.graphbased.directed.petrinet.impl with parameters of type Marking
static java.lang.Object[] ToInhibitorNet.fromPetrinet(org.processmining.framework.plugin.PluginContext context, Petrinet net, Marking marking)
           
static java.lang.Object[] ToResetInhibitorNet.fromPetrinet(org.processmining.framework.plugin.PluginContext context, Petrinet net, Marking marking)
           
static java.lang.Object[] ToResetNet.fromPetrinet(org.processmining.framework.plugin.PluginContext context, Petrinet net, Marking marking)
           
static java.lang.Object[] ToInhibitorNet.toInhibitorNet(org.processmining.framework.plugin.PluginContext context, ResetInhibitorNet net, Marking marking)
          Convert ResetInhibitor-net to Inhibitor-net with marking as an input, produce GUI
static java.lang.Object[] ToInhibitorNet.toInhibitorNet(org.processmining.framework.plugin.PluginContext context, ResetNet net, Marking marking)
          Convert ResetInhibitor-net to Inhibitor-net with marking as an input, produce GUI
static java.lang.Object[] ToResetInhibitorNet.toResetInhibitorNet(org.processmining.framework.plugin.PluginContext context, InhibitorNet net, Marking marking)
           
static java.lang.Object[] ToResetInhibitorNet.toResetInhibitorNet(org.processmining.framework.plugin.PluginContext context, ResetNet net, Marking marking)
           
 

Uses of Marking in org.processmining.models.semantics.petrinet
 

Subclasses of Marking in org.processmining.models.semantics.petrinet
 class CTMarking
          This class represent a Marking with an addition of omega pointer.
 

Methods in org.processmining.models.semantics.petrinet that return Marking
 Marking PetrinetExecutionInformation.getNecessary()
           
 Marking PetrinetExecutionInformation.getTokensConsumed()
           
 Marking PetrinetExecutionInformation.getTokensProduced()
           
 Marking CTMarking.minus(CTMarking m)
          removes the elements in the given multiset from this multiset and returns a multiset indicating what was removed.
 Marking Marking.minus(Marking m)
          removes the elements in the given multiset from this multiset and returns a multiset indicating what was removed.
 

Methods in org.processmining.models.semantics.petrinet with parameters of type Marking
 int Marking.compareTo(Marking mset)
           
 Marking Marking.minus(Marking m)
          removes the elements in the given multiset from this multiset and returns a multiset indicating what was removed.
 

Constructors in org.processmining.models.semantics.petrinet with parameters of type Marking
PetrinetExecutionInformation(Marking necessary, Marking consumed, Marking produced, Transition t)
           
 

Uses of Marking in org.processmining.plugins.petrinet
 

Methods in org.processmining.plugins.petrinet with parameters of type Marking
 javax.swing.JComponent PetriNetVisualization.visualize(org.processmining.framework.plugin.PluginContext context, InhibitorNet n, Marking m)
           
 javax.swing.JComponent PetriNetVisualization.visualize(org.processmining.framework.plugin.PluginContext context, Petrinet n, Marking m)
           
 javax.swing.JComponent PetriNetVisualization.visualize(org.processmining.framework.plugin.PluginContext context, ResetInhibitorNet n, Marking m)
           
 javax.swing.JComponent PetriNetVisualization.visualize(org.processmining.framework.plugin.PluginContext context, ResetNet n, Marking m)
           
 

Uses of Marking in org.processmining.plugins.petrinet.configurable
 

Methods in org.processmining.plugins.petrinet.configurable with parameters of type Marking
 ConfigurableResetInhibitorNet CreateConfigurableNet_Plugin.createConfigurableNet(org.processmining.framework.plugin.PluginContext context, ResetInhibitorNet net, Marking m, java.util.List<ConfigurableFeatureGroup> config)
           
static java.lang.Object[] CreateConfigurableNet_Plugin.createConfigurableNet(ResetInhibitorNet net, Marking m, org.processmining.models.connections.GraphLayoutConnection netLayout, java.util.List<ConfigurableFeatureGroup> config)
          Clone net into a ConfigurableResetInhibitorNet and clone the netLayout of net into a new layout of the configurable net.
 

Uses of Marking in org.processmining.plugins.petrinet.importing.tpn
 

Methods in org.processmining.plugins.petrinet.importing.tpn that return Marking
 Marking TpnParser.getState()
           
 

Uses of Marking in org.processmining.plugins.pnml
 

Methods in org.processmining.plugins.pnml with parameters of type Marking
 PnmlPlace PnmlPlace.convertFromNet(Marking marking, 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)
           
 PnmlPage PnmlPage.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)
           
 Pnml Pnml.convertFromNet(PetrinetGraph net, Marking marking, org.processmining.models.connections.GraphLayoutConnection layout)
           
 PnmlNet PnmlNet.convertFromNet(PetrinetGraph net, Marking marking, 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)
           
 PnmlNet PnmlNet.convertFromNet(PetrinetGraph net, Marking marking, 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)
           
 Pnml Pnml.convertFromNet(PetrinetGraph net, Marking marking, java.util.Map<java.lang.String,org.processmining.models.graphbased.AbstractGraphElement> idMap, org.processmining.models.connections.GraphLayoutConnection layout)
           
 void PnmlPage.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.
 void PnmlPlace.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.
 void Pnml.convertToNet(PetrinetGraph net, Marking marking, org.processmining.models.connections.GraphLayoutConnection layout)
          Converts the PNML object to a Petri net and initial marking.
 void PnmlNet.convertToNet(PetrinetGraph net, 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, org.processmining.models.connections.GraphLayoutConnection layout)
          Convert this net to a Petri net.
 

Method parameters in org.processmining.plugins.pnml with type arguments of type Marking
 Pnml Pnml.convertFromNet(java.util.Map<PetrinetGraph,Marking> markedNets, org.processmining.models.connections.GraphLayoutConnection layout)
           
 

Uses of Marking in org.processmining.plugins.pnml.extensions
 

Methods in org.processmining.plugins.pnml.extensions with parameters of type Marking
 PnmlInitialMarking PnmlInitialMarking.convertFromNet(Marking marking, Place place)
           
 

Uses of Marking in org.processmining.plugins.pnml.extensions.opennet
 

Methods in org.processmining.plugins.pnml.extensions.opennet with parameters of type Marking
 PnmlFinalMarking PnmlFinalMarking.convertFromOpenNet(java.util.Collection<? extends Place> places, Marking marking, java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> map)
           
 PnmlModule PnmlModule.convertFromOpenNet(OpenNet openNet, Marking marking, java.util.Map<java.lang.String,org.processmining.models.graphbased.AbstractGraphElement> idMap, org.processmining.models.connections.GraphLayoutConnection layout)
          Converts the given Open net with the given initial marking into a Pnml module.
 void PnmlMarkedPlace.convertToOpenNet(Marking marking, java.util.Map<java.lang.String,Place> placeMap)
           
 void PnmlModule.convertToOpenNet(OpenNet openNet, Marking marking, Pnml pnml, org.processmining.models.connections.GraphLayoutConnection layout)
          Converts the PNML module into an Open net.
 

Method parameters in org.processmining.plugins.pnml.extensions.opennet with type arguments of type Marking
 PnmlFinalMarkings PnmlFinalMarkings.convertFromOpenNet(java.util.Collection<? extends Place> places, java.util.Collection<Marking> markings, java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> map)