org.processmining.datapetrinets

Interface DataPetriNet

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>>>, 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 Subinterfaces:

DataPetriNetsWithMarkings

All Known Implementing Classes:

DiscoveredPetriNetWithData, PetriNetWithData

public interface DataPetriNet
extends org.processmining.models.graphbased.directed.petrinet.PetrinetGraph

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	DataPetriNet.Factory
static interface	DataPetriNet.PetrinetWithMarkings

Method Summary

Modifier and Type	Method and Description
DataElement	addVariable(java.lang.String varName, java.lang.Class type, java.lang.Comparable minValue, java.lang.Comparable maxValue)
void	assignReadOperation(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition, DataElement variable)
void	assignWriteOperation(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition, DataElement variable)
DataElement	getVariable(java.lang.String name)
java.util.Collection<DataElement>	getVariables()
void	removeReadOperation(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition, DataElement variable)
void	removeWriteOperation(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition, DataElement variable)
void	setGuard(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition, org.processmining.datapetrinets.expression.GuardExpression guard)
void	setGuardFromString(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition, java.lang.String guardAsString)

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

addVariable

DataElement addVariable(java.lang.String varName,
                        java.lang.Class type,
                        java.lang.Comparable minValue,
                        java.lang.Comparable maxValue)

getVariable

DataElement getVariable(java.lang.String name)

getVariables

java.util.Collection<DataElement> getVariables()

assignWriteOperation

void assignWriteOperation(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition,
                          DataElement variable)

removeWriteOperation

void removeWriteOperation(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition,
                          DataElement variable)

assignReadOperation

void assignReadOperation(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition,
                         DataElement variable)

removeReadOperation

void removeReadOperation(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition,
                         DataElement variable)

setGuardFromString

void setGuardFromString(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition,
                        java.lang.String guardAsString)
                 throws org.processmining.datapetrinets.expression.syntax.ParseException,
                        org.processmining.datapetrinets.exception.NonExistingVariableException

Throws:

org.processmining.datapetrinets.expression.syntax.ParseException

org.processmining.datapetrinets.exception.NonExistingVariableException

setGuard

void setGuard(org.processmining.models.graphbased.directed.petrinet.elements.Transition transition,
              org.processmining.datapetrinets.expression.GuardExpression guard)
       throws org.processmining.datapetrinets.exception.NonExistingVariableException

Throws:

org.processmining.datapetrinets.exception.NonExistingVariableException