Modifier and Type | Method and Description |
---|---|
java.util.Set<Transition> |
LogPetrinetConnection.getTransitionsFor(org.deckfour.xes.classification.XEventClass clazz) |
java.util.Set<Transition> |
LogPetrinetConnectionImpl.getTransitionsFor(org.deckfour.xes.classification.XEventClass clazz) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<org.deckfour.xes.classification.XEventClass> |
LogPetrinetConnection.getActivitiesFor(Transition transition) |
java.util.Set<org.deckfour.xes.classification.XEventClass> |
LogPetrinetConnectionImpl.getActivitiesFor(Transition transition) |
Constructor and Description |
---|
LogPetrinetConnectionImpl(org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
InhibitorNet 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,
InhibitorNet graph,
java.util.Map<Transition,org.deckfour.xes.classification.XEventClass> relations) |
LogPetrinetConnectionImpl(org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
Petrinet 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.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) |
LogPetrinetConnectionImpl(org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
Petrinet graph,
java.util.Map<Transition,org.deckfour.xes.classification.XEventClass> relations) |
LogPetrinetConnectionImpl(org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
ResetInhibitorNet 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,
ResetInhibitorNet graph,
java.util.Map<Transition,org.deckfour.xes.classification.XEventClass> relations) |
LogPetrinetConnectionImpl(org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
ResetNet 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,
ResetNet graph,
java.util.Map<Transition,org.deckfour.xes.classification.XEventClass> relations) |
Modifier and Type | Method and Description |
---|---|
java.util.Map<Transition,Transition> |
PetrinetGraphConnection.getTransitionMapping()
Returns the mapping from transitions in source to transitions in target
|
java.util.Map<Transition,Transition> |
PetrinetGraphConnection.getTransitionMapping()
Returns the mapping from transitions in source to transitions in target
|
Constructor and 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.
|
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.
|
Modifier and Type | Method and Description |
---|---|
org.processmining.models.semantics.Semantics<Marking,Transition> |
AbstractSemanticConnection.getSemantics() |
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
|
Modifier and Type | Field and Description |
---|---|
protected java.util.Map<OpenNetLabel,java.util.Collection<Transition>> |
OpenNet.label2trans |
protected java.util.Map<Transition,java.util.Collection<OpenNetLabel>> |
OpenNet.trans2label |
Modifier and Type | Method and Description |
---|---|
Transition |
OpenNet.addTransition(java.lang.String label) |
Transition |
OpenNet.addTransition(java.lang.String label,
ExpandableSubNet parent) |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<Transition> |
OpenNet.getTransitions(OpenNetLabel label) |
Modifier and Type | Method and Description |
---|---|
void |
OpenNet.addConnection(Transition transition,
OpenNetLabel label) |
java.util.Collection<OpenNetLabel> |
OpenNet.getLabelsFor(Transition openNetTransition) |
Modifier and Type | Method and Description |
---|---|
Transition |
PetrinetGraph.addTransition(java.lang.String label) |
Transition |
PetrinetGraph.addTransition(java.lang.String label,
ExpandableSubNet parent) |
Transition |
PetrinetGraph.removeTransition(Transition transition) |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<Transition> |
PetrinetGraph.getTransitions() |
Modifier and Type | Method and Description |
---|---|
static ConfigurableFeatureGroup |
ConfigurableFeatureGroup.createDefaultFeatureGroup(Transition t)
Create a configurable feature group for the presence of a transition and the weights of
its adjacent arcs.
|
Modifier and Type | Method and Description |
---|---|
ConfigurableFeature<Transition,ConfigurableGraphElementOption> |
ConfigurableTransition.cloneFor(Transition newElement) |
Modifier and Type | Method and Description |
---|---|
ConfigurableFeature<Transition,ConfigurableGraphElementOption> |
ConfigurableTransition.cloneFor(Transition newElement) |
Constructor and Description |
---|
ConfigurableTransition(java.lang.String id,
Transition element,
ConfigurableGraphElementOption[] values,
ConfigurableGraphElementOption defaultValue) |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<Transition> |
Transition.getVisiblePredecessors() |
java.util.Collection<Transition> |
Transition.getVisibleSuccessors() |
Constructor and Description |
---|
InhibitorArc(Place source,
Transition target,
java.lang.String label) |
InhibitorArc(Place source,
Transition target,
java.lang.String label,
ExpandableSubNet parent) |
ResetArc(Place source,
Transition target,
java.lang.String label) |
ResetArc(Place source,
Transition target,
java.lang.String label,
ExpandableSubNet parent) |
Modifier and Type | Field and Description |
---|---|
protected java.util.Set<Transition> |
AbstractResetInhibitorNet.transitions |
Modifier and Type | Method and Description |
---|---|
Transition |
AbstractResetInhibitorNet.addTransition(java.lang.String label) |
Transition |
AbstractResetInhibitorNet.addTransition(java.lang.String label,
ExpandableSubNet parent) |
Transition |
AbstractResetInhibitorNet.removeTransition(Transition transition) |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<Transition> |
AbstractResetInhibitorNet.getTransitions() |
Modifier and Type | Method and Description |
---|---|
Arc |
AbstractResetInhibitorNet.addArc(Place p,
Transition t) |
Arc |
AbstractResetInhibitorNet.addArc(Place p,
Transition t,
ExpandableSubNet parent) |
Arc |
AbstractResetInhibitorNet.addArc(Place p,
Transition t,
int weight) |
Arc |
AbstractResetInhibitorNet.addArc(Place p,
Transition t,
int weight,
ExpandableSubNet parent) |
Arc |
AbstractResetInhibitorNet.addArc(Transition t,
Place p) |
Arc |
AbstractResetInhibitorNet.addArc(Transition t,
Place p,
ExpandableSubNet parent) |
Arc |
AbstractResetInhibitorNet.addArc(Transition t,
Place p,
int weight) |
Arc |
AbstractResetInhibitorNet.addArc(Transition t,
Place p,
int weight,
ExpandableSubNet parent) |
InhibitorArc |
AbstractResetInhibitorNet.addInhibitorArc(Place p,
Transition t) |
InhibitorArc |
AbstractResetInhibitorNet.addInhibitorArc(Place p,
Transition t,
ExpandableSubNet parent) |
InhibitorArc |
AbstractResetInhibitorNet.addInhibitorArc(Place p,
Transition t,
java.lang.String label) |
InhibitorArc |
AbstractResetInhibitorNet.addInhibitorArc(Place p,
Transition t,
java.lang.String label,
ExpandableSubNet parent) |
ResetArc |
AbstractResetInhibitorNet.addResetArc(Place p,
Transition t) |
ResetArc |
AbstractResetInhibitorNet.addResetArc(Place p,
Transition t,
ExpandableSubNet parent) |
ResetArc |
AbstractResetInhibitorNet.addResetArc(Place p,
Transition t,
java.lang.String label) |
ResetArc |
AbstractResetInhibitorNet.addResetArc(Place p,
Transition t,
java.lang.String label,
ExpandableSubNet parent) |
InhibitorArc |
AbstractResetInhibitorNet.getInhibitorArc(Place p,
Transition t) |
ResetArc |
AbstractResetInhibitorNet.getResetArc(Place p,
Transition t) |
InhibitorArc |
AbstractResetInhibitorNet.removeInhibitorArc(Place p,
Transition t) |
ResetArc |
AbstractResetInhibitorNet.removeResetArc(Place p,
Transition t) |
Transition |
AbstractResetInhibitorNet.removeTransition(Transition transition) |
Modifier and Type | Field and Description |
---|---|
java.util.Map<Transition,java.util.Set<DataElement>> |
PetriNetWithData.destroying_data |
java.util.Map<Transition,java.util.Set<DataElement>> |
PetriNetWithData.writing_data |
Modifier and Type | Method and Description |
---|---|
java.util.Map<Transition,Guard> |
PetriNetWithData.getGuards() |
Modifier and Type | Method and Description |
---|---|
void |
PetriNetWithData.assignDataOperation(Transition t,
java.util.Set<DataElement> data_elements,
java.lang.String type) |
void |
PetriNetWithData.assignGuard(Transition t,
Guard grd) |
boolean |
PetriNetWithData.isDestroying(Transition t,
DataElement d) |
boolean |
PetriNetWithData.isReading(Transition t,
DataElement d) |
boolean |
PetriNetWithData.isWriting(Transition t,
DataElement d) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<java.util.Set<Effect>> |
Unfolder.getOverallEffects(Transition t) |
Modifier and Type | Method and Description |
---|---|
Transition |
EfficientPetrinetSemantics.getTransition(int index) |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<Transition> |
EfficientPetrinetSemantics.getExecutableTransitions()
For better performance, use method
EfficientPetrinetSemantics.isEnabled(Transition)
instead. |
Modifier and Type | Method and Description |
---|---|
void |
EfficientPetrinetSemantics.directExecuteExecutableTransition(Transition transition)
Executes (fires) a transition.
|
org.processmining.models.semantics.ExecutionInformation |
EfficientPetrinetSemantics.executeExecutableTransition(Transition toExecute)
For better performance, use method
EfficientPetrinetSemantics.directExecuteExecutableTransition(Transition) instead. |
int |
EfficientPetrinetSemantics.getIndex(Transition transition) |
byte[] |
EfficientPetrinetSemantics.getMissingTokensToEnable(Transition t)
figures out whether a certain transition t is missing any tokens to be
fired.
|
boolean |
EfficientPetrinetSemantics.isEnabled(Transition transition) |
Constructor and Description |
---|
PetrinetExecutionInformation(Marking necessary,
Marking consumed,
Marking produced,
Transition t) |
Modifier and Type | Method and Description |
---|---|
Transition |
EfficientPetrinetSemanticsImpl.getTransition(int index) |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<Transition> |
EfficientPetrinetSemanticsImpl.getExecutableTransitions() |
Modifier and Type | Method and Description |
---|---|
void |
EfficientPetrinetSemanticsImpl.directExecuteExecutableTransition(Transition transition) |
org.processmining.models.semantics.ExecutionInformation |
EfficientPetrinetSemanticsImpl.executeExecutableTransition(Transition transition)
For a more efficient implementation use
EfficientPetrinetSemanticsImpl.directExecuteExecutableTransition(Transition) , which does not
return any information about the execution. |
int |
EfficientPetrinetSemanticsImpl.getIndex(Transition t) |
byte[] |
EfficientPetrinetSemanticsImpl.getMissingTokensToEnable(Transition t) |
boolean |
EfficientPetrinetSemanticsImpl.isEnabled(Transition transition) |
Modifier and Type | Method and Description |
---|---|
void |
EfficientPetrinetSemanticsImpl.initialize(java.util.Collection<Transition> transitions,
Marking initialState)
This method cannot be used in this implementation.
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<org.processmining.framework.util.Pair<Transition,org.deckfour.xes.classification.XEventClass>> |
LogPetrinetConnectionFactoryUI.getMap() |
Modifier and Type | Method and Description |
---|---|
static Transition |
PetriNetShortCircuiter.shortCircuit(PetrinetGraph net) |
Modifier and Type | Method and Description |
---|---|
ConfigurableGraphElementFeature<Transition> |
ConfigurableGraphElement_UI.ConfigurableTransition_UI.getConfigured() |
Constructor and Description |
---|
ConfigurableTransition_UI(javax.swing.JComponent root,
ConfigurableGraphElementFeature<Transition> feature,
int line_height) |
Modifier and Type | Method and Description |
---|---|
PnmlReferenceTransition |
PnmlPage.convertFromNet(ExpandableSubNet parent,
Transition transition,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap,
org.processmining.models.connections.GraphLayoutConnection layout) |
PnmlReferenceTransition |
PnmlReferenceTransition.convertFromNet(ExpandableSubNet parent,
Transition transition,
java.util.Map<org.processmining.framework.util.Pair<org.processmining.models.graphbased.AbstractGraphElement,ExpandableSubNet>,java.lang.String> idMap,
org.processmining.models.connections.GraphLayoutConnection layout) |
PnmlTransition |
PnmlTransition.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) |
Modifier and Type | Method and Description |
---|---|
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) |
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.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 |
PnmlArc.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.
|
void |
PnmlReferenceTransition.convertToNet(PetrinetGraph net,
ExpandableSubNet subNet,
java.util.Map<java.lang.String,Transition> map)
Converts this reference transition object to a regular Petri net
transition.
|
void |
PnmlTransition.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.
|
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 |
---|---|
void |
PnmlFeature.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) |
void |
PnmlConfiguration.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) |
void |
PnmlGroup.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) |
Modifier and Type | Method and Description |
---|---|
void |
PnmlLabelConnection.convertToOpenNet(OpenNet net,
Transition transition) |
Modifier and Type | Method and Description |
---|---|
void |
PnmlToolSpecific.convertFromNet(Transition transition) |
void |
PnmlToolSpecific.convertToNet(Transition transition) |