|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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.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.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.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,
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |