org.processmining.datapetrinets

Interface DataPetriNetsWithMarkings

All Superinterfaces:

org.processmining.models.graphbased.AttributeMapOwner, java.lang.Cloneable, java.lang.Comparable<org.processmining.models.graphbased.directed.DirectedGraph<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,org.processmining.models.graphbased.directed.petrinet.PetrinetEdge<? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode,? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode>>>, DataPetriNet, org.processmining.models.graphbased.directed.DirectedGraph<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,org.processmining.models.graphbased.directed.petrinet.PetrinetEdge<? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode,? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode>>, org.processmining.models.graphbased.directed.DirectedGraphElement, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph

All Known Implementing Classes:

DiscoveredPetriNetWithData, PetriNetWithData

public interface DataPetriNetsWithMarkings
extends DataPetriNet

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	DataPetriNetsWithMarkings.Factory

Nested classes/interfaces inherited from interface org.processmining.datapetrinets.DataPetriNet

DataPetriNet.PetrinetWithMarkings

Method Summary

Modifier and Type	Method and Description
org.processmining.models.semantics.petrinet.Marking[]	getFinalMarkings()
org.processmining.models.semantics.petrinet.Marking	getInitialMarking()
void	setFinalMarkings(org.processmining.models.semantics.petrinet.Marking[] markings)
void	setInitialMarking(org.processmining.models.semantics.petrinet.Marking marking)

Methods inherited from interface org.processmining.datapetrinets.DataPetriNet

addVariable, assignReadOperation, assignWriteOperation, getVariable, getVariables, removeReadOperation, removeWriteOperation, setGuard, setGuardFromString

Methods inherited from interface org.processmining.models.graphbased.directed.petrinet.PetrinetGraph

addArc, addArc, addArc, addArc, addArc, addArc, addArc, addArc, addGroup, addGroup, addPlace, addPlace, addTransition, addTransition, getArc, getGroups, getLabel, getPlaces, getTransitions, removeArc, removeGroup, removePlace, removeTransition

Methods inherited from interface org.processmining.models.graphbased.directed.DirectedGraph

getEdges, getInEdges, getNodes, getOutEdges, removeEdge, removeNode

Methods inherited from interface org.processmining.models.graphbased.directed.DirectedGraphElement

equals, getGraph, hashCode

Methods inherited from interface org.processmining.models.graphbased.AttributeMapOwner

getAttributeMap

Methods inherited from interface java.lang.Comparable

compareTo

Method Detail

setInitialMarking

void setInitialMarking(org.processmining.models.semantics.petrinet.Marking marking)

getInitialMarking

org.processmining.models.semantics.petrinet.Marking getInitialMarking()

setFinalMarkings

void setFinalMarkings(org.processmining.models.semantics.petrinet.Marking[] markings)

getFinalMarkings

org.processmining.models.semantics.petrinet.Marking[] getFinalMarkings()