|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of PetrinetGraph in org.processmining.connections.logmodel |
---|
Constructors in org.processmining.connections.logmodel with parameters of type PetrinetGraph | |
---|---|
LogPetrinetConnectionImpl(org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
PetrinetGraph graph,
java.util.Collection<org.processmining.framework.util.Pair<Transition,org.deckfour.xes.classification.XEventClass>> relations)
|
|
LogPetrinetConnectionImpl(org.deckfour.xes.model.XLog log,
org.deckfour.xes.classification.XEventClasses classes,
PetrinetGraph graph,
java.util.Map<Transition,org.deckfour.xes.classification.XEventClass> relations)
|
Uses of PetrinetGraph in org.processmining.models.connections.petrinets |
---|
Methods in org.processmining.models.connections.petrinets with parameters of type PetrinetGraph | |
---|---|
boolean |
PetrinetGraphConnection.isSourceNet(PetrinetGraph net)
return true if this net is the source of the connection. |
boolean |
PetrinetGraphConnection.isTargetNet(PetrinetGraph net)
return true if this net is the source of the connection. |
Constructors in org.processmining.models.connections.petrinets with parameters of type PetrinetGraph | |
---|---|
PetrinetGraphConnection(PetrinetGraph source,
PetrinetGraph target,
java.util.Map<Transition,Transition> transitionMap,
java.util.Map<Place,Place> placeMap)
Connects the two Petri nets through the mappings described in the transitions and place map. |
Uses of PetrinetGraph in org.processmining.models.connections.petrinets.behavioral |
---|
Constructors in org.processmining.models.connections.petrinets.behavioral with parameters of type PetrinetGraph | |
---|---|
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)
|
|
MarkingsetNetConnection(PetrinetGraph net,
AbstractMarkingSet<?> marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
java.lang.String setName)
All markings contain only places from the net, i.e. |
|
NonLiveSequencesConnection(PetrinetGraph net,
NonLiveSequences sequences,
Marking marking,
Marking[] allowedFinalMarkings,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics)
|
|
NonLiveTransitionsConnection(PetrinetGraph net,
NonLiveTransitionsSet transitions,
Marking marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics)
|
|
ReachabilitySetConnection(PetrinetGraph net,
Marking initial,
AbstractMarkingSet<?> marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
java.lang.String setName)
|
|
StateSpaceConnection(PetrinetGraph net,
Marking marking,
org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem statespace,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics)
|
|
UnboundedPlacesConnection(PetrinetGraph net,
UnboundedPlacesSet places,
Marking marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics)
|
|
UnboundedSequencesConnection(PetrinetGraph net,
UnboundedSequences sequences,
Marking marking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics)
|
|
UnfoldingNetConnection(PetrinetGraph originalNet,
Marking originalMarking,
org.processmining.models.semantics.Semantics<Marking,Transition> semantics,
PetrinetGraph prefixNet)
connect Petri net to its finite complete 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 PetrinetGraph in org.processmining.models.connections.petrinets.structural |
---|
Uses of PetrinetGraph in org.processmining.models.graphbased.directed.opennet |
---|
Classes in org.processmining.models.graphbased.directed.opennet that implement PetrinetGraph | |
---|---|
class |
OpenNet
|
Uses of PetrinetGraph in org.processmining.models.graphbased.directed.petrinet |
---|
Subinterfaces of PetrinetGraph in org.processmining.models.graphbased.directed.petrinet | |
---|---|
interface |
InhibitorNet
|
interface |
Petrinet
|
interface |
ResetInhibitorNet
|
interface |
ResetNet
|
Uses of PetrinetGraph in org.processmining.models.graphbased.directed.petrinet.impl |
---|
Classes in org.processmining.models.graphbased.directed.petrinet.impl that implement PetrinetGraph | |
---|---|
class |
InhibitorNetImpl
|
class |
PetrinetImpl
|
class |
ResetInhibitorNetImpl
|
class |
ResetNetImpl
|
Uses of PetrinetGraph in org.processmining.models.graphbased.directed.petrinetwithdata |
---|
Classes in org.processmining.models.graphbased.directed.petrinetwithdata that implement PetrinetGraph | |
---|---|
class |
PetriNetWithData
|
Uses of PetrinetGraph in org.processmining.plugins.connectionfactories.logpetrinet |
---|
Methods in org.processmining.plugins.connectionfactories.logpetrinet with parameters of type PetrinetGraph | |
---|---|
LogPetrinetConnection |
LogPetrinetConnectionFactory.connect(org.processmining.contexts.uitopia.UIPluginContext context,
org.deckfour.xes.model.XLog log,
PetrinetGraph net)
|
Constructors in org.processmining.plugins.connectionfactories.logpetrinet with parameters of type PetrinetGraph | |
---|---|
LogPetrinetConnectionFactoryUI(org.deckfour.xes.model.XLog log,
PetrinetGraph net,
java.lang.Object[] availableClassifier)
|
Uses of PetrinetGraph in org.processmining.plugins.petrinet |
---|
Methods in org.processmining.plugins.petrinet with parameters of type PetrinetGraph | |
---|---|
static Transition |
PetriNetShortCircuiter.shortCircuit(PetrinetGraph net)
|
Uses of PetrinetGraph in org.processmining.plugins.pnml |
---|
Methods in org.processmining.plugins.pnml with parameters of type PetrinetGraph | |
---|---|
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)
|
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 |
PnmlReferencePlace.convertToNet(PetrinetGraph net,
ExpandableSubNet subNet,
java.util.Map<java.lang.String,Place> map)
Converts this reference place to a regular Petri net place. |
void |
PnmlArc.convertToNet(PetrinetGraph net,
ExpandableSubNet subNet,
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)
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 |
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. |
void |
Pnml.setLayout(PetrinetGraph net,
org.processmining.models.connections.GraphLayoutConnection layout)
|
Method parameters in org.processmining.plugins.pnml with type arguments of type PetrinetGraph | |
---|---|
Pnml |
Pnml.convertFromNet(java.util.Map<PetrinetGraph,Marking> markedNets,
org.processmining.models.connections.GraphLayoutConnection layout)
|
Uses of PetrinetGraph in org.processmining.plugins.pnml.importing |
---|
Methods in org.processmining.plugins.pnml.importing with parameters of type PetrinetGraph | |
---|---|
java.lang.Object |
PnmlImportUtils.connectNet(org.processmining.framework.plugin.PluginContext context,
Pnml pnml,
PetrinetGraph net)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |