Modifier and Type | Method and Description |
---|---|
org.processmining.models.semantics.Semantics<Marking,Transition> |
AbstractSemanticConnection.getSemantics() |
Modifier and Type | Method and Description |
---|---|
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) |
Constructor and 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 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 and 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 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
|
Constructor and Description |
---|
ShortCircuitedNetConnection(PetrinetGraph net,
PetrinetGraph sCNet,
Marking finalMarking) |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<Marking> |
OpenNet.getFinalMarkings() |
Modifier and Type | Method and Description |
---|---|
void |
OpenNet.addFinalMarking(Marking m) |
Modifier and Type | Class and Description |
---|---|
class |
AbstractMarkingSet<M extends Marking> |
Modifier and Type | Method and Description |
---|---|
Marking[] |
AbstractMarkingSet.getMarkings() |
Constructor and Description |
---|
AbstractMarkingSet(java.lang.String label,
M... markings) |
FinalMarkingSet(Marking[] markings) |
HomeMarkingSet(Marking[] markings) |
ReachabilitySet(Marking[] markings) |
Modifier and Type | Method and Description |
---|---|
Marking |
ConfigurablePetrinet.getConfiguredMarking() |
Modifier and Type | Method and Description |
---|---|
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.
|
Modifier and Type | Method and Description |
---|---|
Marking |
ConfigurableResetInhibitorNet.getConfiguredMarking() |
Modifier and Type | Method and Description |
---|---|
void |
ConfigurableResetInhibitorNet.cloneFrom(ResetInhibitorNet net,
Marking netMarking,
java.util.List<ConfigurableFeatureGroup> configurations,
org.processmining.models.connections.GraphLayoutConnection oldLayout,
org.processmining.models.connections.GraphLayoutConnection newLayout) |
Modifier and Type | Method and Description |
---|---|
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) |
Modifier and Type | Class and Description |
---|---|
class |
CTMarking
This class represent a Marking with an addition of omega pointer.
|
Modifier and Type | Method and Description |
---|---|
Marking |
EfficientPetrinetSemantics.convert(byte[] marking)
convert a primative int array to a marking object based on the internal
index representation of the petri net's places.
|
Marking |
PetrinetExecutionInformation.getNecessary() |
Marking |
EfficientPetrinetSemantics.getStateAsMarking()
Creates a new
Marking object with the current marking. |
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.
|
Modifier and Type | Method and Description |
---|---|
int |
Marking.compareTo(Marking mset) |
byte[] |
EfficientPetrinetSemantics.convert(Marking marking)
allows to convert a given marking to an equivalent int array based on the
internal index representation of the petri net's places.
|
boolean |
EfficientPetrinetSemantics.equalMarking(byte[] marking1,
Marking marking2) |
boolean |
EfficientPetrinetSemantics.equalOrLessMarking(byte[] marking1,
Marking marking2) |
Marking |
Marking.minus(Marking m)
removes the elements in the given multiset from this multiset and returns
a multiset indicating what was removed.
|
void |
EfficientPetrinetSemantics.setStateAsMarking(Marking marking)
Sets the state to the supplied marking.
|
Constructor and Description |
---|
PetrinetExecutionInformation(Marking necessary,
Marking consumed,
Marking produced,
Transition t) |
Modifier and Type | Method and Description |
---|---|
Marking |
EfficientPetrinetSemanticsImpl.convert(byte[] marking) |
Marking |
EfficientPetrinetSemanticsImpl.getCurrentState()
Convenience method of the original
PetrinetSemantics interface. |
Marking |
EfficientPetrinetSemanticsImpl.getStateAsMarking()
Use
EfficientPetrinetSemanticsImpl.getCurrentState() instead. |
Modifier and Type | Method and Description |
---|---|
byte[] |
EfficientPetrinetSemanticsImpl.convert(Marking marking) |
boolean |
EfficientPetrinetSemanticsImpl.equalMarking(byte[] marking1,
Marking marking2) |
boolean |
EfficientPetrinetSemanticsImpl.equalOrLessMarking(byte[] marking1,
Marking marking2) |
void |
EfficientPetrinetSemanticsImpl.initialize(java.util.Collection<Transition> transitions,
Marking initialState)
This method cannot be used in this implementation.
|
void |
EfficientPetrinetSemanticsImpl.setCurrentState(Marking marking)
Convenience method of the original
PetrinetSemantics interface. |
void |
EfficientPetrinetSemanticsImpl.setStateAsMarking(Marking marking)
|
Constructor and Description |
---|
EfficientPetrinetSemanticsImpl(PetrinetGraph net,
Marking initialMarking)
Creates the semantics for the supplied
PetrinetGraph and initial
Marking . |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
ExportCpnXmlAlgorithm.apply(Petrinet net,
org.processmining.models.connections.GraphLayoutConnection layout,
Marking marking,
java.lang.String name) |
Modifier and Type | Method and Description |
---|---|
static Marking[] |
PetriNetUtils.getFinalMarkings(org.processmining.framework.plugin.PluginContext context,
Petrinet net) |
static Marking[] |
PetriNetUtils.getInitialMarkings(org.processmining.framework.plugin.PluginContext context,
Petrinet net) |
Modifier and Type | Method and Description |
---|---|
static void |
PetriNetUtils.addFinalMarking(org.processmining.framework.plugin.PluginContext context,
Petrinet net,
Marking marking) |
static void |
PetriNetUtils.addInitialMarking(org.processmining.framework.plugin.PluginContext context,
Petrinet net,
Marking marking) |
Modifier and Type | Method and Description |
---|---|
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) |
protected javax.swing.JComponent |
PetriNetVisualization.visualizeWithAll(org.processmining.framework.plugin.PluginContext context,
PetrinetGraph n,
Marking m) |
Modifier and Type | Method and Description |
---|---|
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. |
Modifier and Type | Method and Description |
---|---|
Marking |
TpnParser.getState() |
Modifier and Type | Method and Description |
---|---|
Pnml |
Pnml.convertFromNet(PetrinetGraph net,
Marking marking,
java.util.Collection<Marking> finalMarkings,
org.processmining.models.connections.GraphLayoutConnection layout) |
Pnml |
Pnml.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) |
Pnml |
Pnml.convertFromNet(PetrinetGraph net,
Marking marking,
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 |
Pnml.convertToNet(PetrinetGraph net,
Marking marking,
java.util.Collection<Marking> finalMarkings,
org.processmining.models.connections.GraphLayoutConnection layout) |
void |
Pnml.convertToNet(PetrinetGraph net,
Marking marking,
org.processmining.models.connections.GraphLayoutConnection layout)
Converts the PNML object to a Petri net and initial marking.
|
Modifier and Type | Method and Description |
---|---|
Pnml |
Pnml.convertFromNet(java.util.Map<PetrinetGraph,Marking> markedNets,
org.processmining.models.connections.GraphLayoutConnection layout) |
Pnml |
Pnml.convertFromNet(java.util.Map<PetrinetGraph,Marking> markedNets,
java.util.Map<PetrinetGraph,java.util.Collection<Marking>> finalMarkedNets,
org.processmining.models.connections.GraphLayoutConnection layout) |
Pnml |
Pnml.convertFromNet(java.util.Map<PetrinetGraph,Marking> markedNets,
java.util.Map<PetrinetGraph,java.util.Collection<Marking>> finalMarkedNets,
org.processmining.models.connections.GraphLayoutConnection layout) |
Pnml |
Pnml.convertFromNet(PetrinetGraph net,
Marking marking,
java.util.Collection<Marking> finalMarkings,
org.processmining.models.connections.GraphLayoutConnection layout) |
Pnml |
Pnml.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) |
void |
Pnml.convertToNet(PetrinetGraph net,
Marking marking,
java.util.Collection<Marking> finalMarkings,
org.processmining.models.connections.GraphLayoutConnection layout) |
Modifier and Type | Method and Description |
---|---|
protected void |
PnmlPage.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 void |
PnmlPage.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) |
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) |
PnmlNet |
PnmlNet.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) |
PnmlNet |
PnmlNet.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) |
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) |
protected PnmlPage |
PnmlPage.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 void |
PnmlPage.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 void |
PnmlPage.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 void |
PnmlPage.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 void |
PnmlPage.convertRefNodesToNet(PetrinetGraph net,
ExpandableSubNet subNet,
Marking marking,
java.util.Map<java.lang.String,Place> placeMap,
java.util.Map<java.lang.String,Transition> transitionMap) |
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 |
PnmlNet.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.
|
Modifier and Type | Method and Description |
---|---|
PnmlNet |
PnmlNet.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) |
PnmlNet |
PnmlNet.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) |
void |
PnmlNet.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.
|
Modifier and Type | Method and Description |
---|---|
PnmlInitialMarking |
PnmlInitialMarking.convertFromNet(Marking marking,
Place place) |
Modifier and Type | Method and Description |
---|---|
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.
|
Modifier and Type | Method and Description |
---|---|
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) |
void |
PnmlFinalMarking.convertToNet(PetrinetGraph net,
java.util.Map<java.lang.String,Place> placeMap,
java.util.Collection<Marking> finalMarkings) |
void |
PnmlFinalMarkings.convertToNet(PetrinetGraph net,
java.util.Map<java.lang.String,Place> placeMap,
java.util.Collection<Marking> finalMarkings) |