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

Packages that use Petrinet

Package	Description
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
org.processmining.plugins.utils

Uses of Petrinet in org.processmining.connections.logmodel

Constructors in org.processmining.connections.logmodel with parameters of type Petrinet

Constructor and Description
LogPetrinetConnectionImpl(XLog log, XEventClasses classes, Petrinet graph, java.util.Collection<org.processmining.framework.util.Pair<Transition,XEventClass>> relations)
LogPetrinetConnectionImpl(XLog log, XEventClasses classes, Petrinet graph, java.util.Map<Transition,XEventClass> relations)

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

Constructors in org.processmining.models.connections.opennet with parameters of type Petrinet

Constructor and Description
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

Modifier and Type	Method and Description
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

Constructor and Description
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

Modifier and Type	Class and Description
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

Modifier and Type	Method and Description
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

Modifier and Type	Interface and Description
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

Modifier and Type	Class and Description
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

Modifier and Type	Class and Description
class	PetrinetImpl

Methods in org.processmining.models.graphbased.directed.petrinet.impl that return Petrinet

Modifier and Type	Method and Description
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

Modifier and Type	Method and Description
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

Modifier and Type	Class and Description
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

Modifier and Type	Method and Description
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

Modifier and Type	Method and Description
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

Modifier and Type	Method and Description
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

Modifier and Type	Method and Description
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)

Uses of Petrinet in org.processmining.plugins.utils

Methods in org.processmining.plugins.utils that return Petrinet

Modifier and Type	Method and Description
static Petrinet	RemoveUnconnectedNodesPlugin.apply(Petrinet net) Context-unaware version, does not allow us to find markings!
static Petrinet	RemoveUnconnectedNodesPlugin.apply(org.processmining.contexts.uitopia.UIPluginContext context, Petrinet net)

Methods in org.processmining.plugins.utils with parameters of type Petrinet

Modifier and Type	Method and Description
static Petrinet	RemoveUnconnectedNodesPlugin.apply(Petrinet net) Context-unaware version, does not allow us to find markings!
static Petrinet	RemoveUnconnectedNodesPlugin.apply(org.processmining.contexts.uitopia.UIPluginContext context, Petrinet net)