Uses of Interface
org.processmining.models.graphbased.directed.petrinet.Petrinet

Packages that use Petrinet
org.processmining.connections.logmodel   
org.processmining.models.connections.opennet   
org.processmining.models.connections.petrinets.behavioral   
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.graphbased.directed.petrinetwithdata   
org.processmining.models.semantics.petrinet.impl   
org.processmining.plugins.petrinet   
org.processmining.plugins.petrinet.importing.tpn   
org.processmining.plugins.pnml.exporting   
 

Uses of Petrinet in org.processmining.connections.logmodel
 

Constructors in org.processmining.connections.logmodel with parameters of type Petrinet
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, Petrinet graph, java.util.Map<Transition,org.deckfour.xes.classification.XEventClass> relations)
           
 

Uses of Petrinet in org.processmining.models.connections.opennet
 

Constructors in org.processmining.models.connections.opennet with parameters of type Petrinet
OpenNetConnection(Petrinet net, OpenNet openNet)
           
 

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

Methods in org.processmining.models.connections.petrinets.behavioral with parameters of type Petrinet
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)
           
 

Constructors in org.processmining.models.connections.petrinets.behavioral with parameters of type Petrinet
NonRelaxedSoundTransitionsConnection(Petrinet net, Marking marking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, NonRelaxedSoundTransitionsSet causalNonRelaxedSoundTransitions)
           
RelaxedSoundessInfoConnection(Petrinet net, Marking marking, org.processmining.models.semantics.Semantics<Marking,Transition> semantics, NetAnalysisInformation.RELAXEDSOUND netAnalysisInformation)
           
 

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

Classes in org.processmining.models.graphbased.directed.opennet that implement Petrinet
 class OpenNet
           
 

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

Methods in org.processmining.models.graphbased.directed.petrinet.analysis with parameters of type Petrinet
static Place WorkflowNetUtils.getInputPlace(Petrinet net)
          Returns the input place of this net.
static Place WorkflowNetUtils.getOutputPlace(Petrinet net)
          Returns the output place of this net.
static java.util.SortedSet<Place> WorkflowNetUtils.getSinkPlaces(Petrinet net)
          Returns the set of sink places of this net.
static java.util.SortedSet<Place> WorkflowNetUtils.getSourcePlaces(Petrinet net)
          Returns the set of source places of this net.
static java.util.SortedSet<PetrinetNode> WorkflowNetUtils.getUnconnectedNodes(Petrinet net)
          Returns the set of unconnected nodes of this net.
static boolean WorkflowNetUtils.isValidWFNet(Petrinet net)
          This method checks whether: 1) There is exactly one input place, 2) there is exactly one output place, 3) all nodes are on a path from the input place to the output place.
static java.lang.Object[] WorkflowNetUtils.shortCircuit(org.processmining.framework.plugin.PluginContext context, Petrinet net)
           
 

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

Subinterfaces of Petrinet in org.processmining.models.graphbased.directed.petrinet.configurable
 interface ConfigurablePetrinet<NetType extends PetrinetGraph>
          Configurable Petri net that builds on top of an existing class of Petri nets specified by parameter NetType.
 

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

Classes in org.processmining.models.graphbased.directed.petrinet.configurable.impl that implement Petrinet
 class ConfigurableResetInhibitorNet
          A configurable ResetInhibitorNet.
 

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

Classes in org.processmining.models.graphbased.directed.petrinet.impl that implement Petrinet
 class PetrinetImpl
           
 

Methods in org.processmining.models.graphbased.directed.petrinet.impl that return Petrinet
static Petrinet PetrinetFactory.clonePetrinet(Petrinet net)
           
static Petrinet PetrinetFactory.clonePetrinet(Petrinet net, java.util.Map<org.processmining.models.graphbased.directed.DirectedGraphElement,org.processmining.models.graphbased.directed.DirectedGraphElement> map)
           
static Petrinet PetrinetFactory.newPetrinet(java.lang.String label)
           
 

Methods in org.processmining.models.graphbased.directed.petrinet.impl with parameters of type Petrinet
static Petrinet PetrinetFactory.clonePetrinet(Petrinet net)
           
static Petrinet PetrinetFactory.clonePetrinet(Petrinet net, java.util.Map<org.processmining.models.graphbased.directed.DirectedGraphElement,org.processmining.models.graphbased.directed.DirectedGraphElement> map)
           
static java.lang.Object[] ToInhibitorNet.fromPetrinet(org.processmining.framework.plugin.PluginContext context, Petrinet net)
           
static java.lang.Object[] ToResetInhibitorNet.fromPetrinet(org.processmining.framework.plugin.PluginContext context, Petrinet net)
           
static java.lang.Object[] ToResetNet.fromPetrinet(org.processmining.framework.plugin.PluginContext context, Petrinet net)
           
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)
           
 

Uses of Petrinet in org.processmining.models.graphbased.directed.petrinetwithdata
 

Classes in org.processmining.models.graphbased.directed.petrinetwithdata that implement Petrinet
 class PetriNetWithData
           
 

Uses of Petrinet in org.processmining.models.semantics.petrinet.impl
 

Method parameters in org.processmining.models.semantics.petrinet.impl with type arguments of type Petrinet
static PetrinetSemantics PetrinetSemanticsFactory.elementaryPetrinetSemantics(java.lang.Class<? extends Petrinet> net)
           
static PetrinetSemantics PetrinetSemanticsFactory.regularPetrinetSemantics(java.lang.Class<? extends Petrinet> net)
           
 

Uses of Petrinet in org.processmining.plugins.petrinet
 

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

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

Methods in org.processmining.plugins.petrinet.importing.tpn with parameters of type Petrinet
 void TpnParser.Place(Petrinet net)
           
 void TpnParser.start(Petrinet net)
           
 void TpnParser.Trans(Petrinet net)
           
 

Uses of Petrinet in org.processmining.plugins.pnml.exporting
 

Methods in org.processmining.plugins.pnml.exporting with parameters of type Petrinet
 void PnmlExportNetToEPNML.exportPetriNetToEPNMLFile(org.processmining.framework.plugin.PluginContext context, Petrinet net, java.io.File file)
           
 void PnmlExportNetToPNML.exportPetriNetToPNMLFile(org.processmining.framework.plugin.PluginContext context, Petrinet net, java.io.File file)
           
protected  void PnmlExportNet.exportPetriNetToPNMLOrEPNMLFile(org.processmining.framework.plugin.PluginContext context, Petrinet net, java.io.File file, Pnml.PnmlType type)