org.processmining.mixedparadigm.models.mixedparadigm

Class AbstractPetrinetWithAutomata

java.lang.Object

org.processmining.models.graphbased.AbstractGraphElement

org.processmining.models.graphbased.AbstractGraph

org.processmining.models.graphbased.directed.AbstractDirectedGraph<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.petrinet.impl.AbstractResetInhibitorNet

org.processmining.mixedparadigm.models.mixedparadigm.AbstractPetrinetWithAutomata

All Implemented Interfaces:

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.AttributeMapOwner, 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

Direct Known Subclasses:

PetrinetWithAutomataImpl

public abstract class AbstractPetrinetWithAutomata
extends org.processmining.models.graphbased.directed.petrinet.impl.AbstractResetInhibitorNet

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.Set<DeclarativeArc>	constraints

Fields inherited from class org.processmining.models.graphbased.directed.petrinet.impl.AbstractResetInhibitorNet

arcs, inhibitorArcs, places, resetArcs, substitutionTransitions, transitions

Fields inherited from class org.processmining.models.graphbased.AbstractGraph

id

Constructor Summary

Constructors

Constructor and Description
AbstractPetrinetWithAutomata(boolean allowsReset, boolean allowsInhibitors)

Method Summary

Modifier and Type	Method and Description
DeclarativeArc	addConstraint(java.util.Collection<? extends org.processmining.models.graphbased.directed.petrinet.elements.Transition> from, java.util.Collection<? extends org.processmining.models.graphbased.directed.petrinet.elements.Transition> to, ConstraintType.Branched type)
DeclarativeArc	addConstraint(java.util.Collection<? extends org.processmining.models.graphbased.directed.petrinet.elements.Transition> from, java.util.Collection<? extends org.processmining.models.graphbased.directed.petrinet.elements.Transition> to, ConstraintType.Branched type, org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet parent)
DeclarativeArc	addConstraint(org.processmining.models.graphbased.directed.petrinet.elements.Transition from, ConstraintType.Unary type)
DeclarativeArc	addConstraint(org.processmining.models.graphbased.directed.petrinet.elements.Transition from, ConstraintType.Unary type, org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet parent)
DeclarativeArc	addConstraint(org.processmining.models.graphbased.directed.petrinet.elements.Transition from, org.processmining.models.graphbased.directed.petrinet.elements.Transition to, ConstraintType type)
DeclarativeArc	addConstraint(org.processmining.models.graphbased.directed.petrinet.elements.Transition from, org.processmining.models.graphbased.directed.petrinet.elements.Transition to, ConstraintType type, org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet parent)
protected void	checkAddEdge(java.util.Collection<? extends org.processmining.models.graphbased.directed.petrinet.elements.Transition> source, java.util.Collection<? extends org.processmining.models.graphbased.directed.petrinet.elements.Transition> target)
java.util.Collection<DeclarativeArc>	getConstraints()
java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetEdge<? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode,? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode>>	getEdges()
DeclarativeArc	removeConstraint(DeclarativeArc arc)

Methods inherited from class org.processmining.models.graphbased.directed.petrinet.impl.AbstractResetInhibitorNet

addArc, addArc, addArc, addArc, addArc, addArc, addArc, addArc, addArcPrivate, addGroup, addGroup, addInhibitorArc, addInhibitorArc, addInhibitorArc, addInhibitorArc, addPlace, addPlace, addResetArc, addResetArc, addResetArc, addResetArc, addTransition, addTransition, cloneFrom, cloneFrom, getArc, getGroups, getInhibitorArc, getNodes, getPlaces, getResetArc, getTransitions, removeArc, removeEdge, removeGroup, removeInhibitorArc, removeNode, removePlace, removeResetArc, removeTransition

Methods inherited from class org.processmining.models.graphbased.directed.AbstractDirectedGraph

checkAddEdge, compareTo, getEmptyClone, getGraph, getInEdges, getOutEdges, graphElementAdded, graphElementChanged, graphElementRemoved, removeSurroundingEdges

Methods inherited from class org.processmining.models.graphbased.AbstractGraph

equals, getEdges, hashCode, removeFromEdges, removeNodeFromCollection

Methods inherited from class org.processmining.models.graphbased.AbstractGraphElement

getAttributeMap, getLabel, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, notify, notifyAll, wait, wait, wait

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

equals, getLabel, hashCode

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

getAttributeMap

Field Detail

constraints

protected final java.util.Set<DeclarativeArc> constraints

Constructor Detail

AbstractPetrinetWithAutomata

public AbstractPetrinetWithAutomata(boolean allowsReset,
                                    boolean allowsInhibitors)

Method Detail

addConstraint

public DeclarativeArc addConstraint(org.processmining.models.graphbased.directed.petrinet.elements.Transition from,
                                    ConstraintType.Unary type)

addConstraint

public DeclarativeArc addConstraint(org.processmining.models.graphbased.directed.petrinet.elements.Transition from,
                                    ConstraintType.Unary type,
                                    org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet parent)

addConstraint

public DeclarativeArc addConstraint(org.processmining.models.graphbased.directed.petrinet.elements.Transition from,
                                    org.processmining.models.graphbased.directed.petrinet.elements.Transition to,
                                    ConstraintType type)

addConstraint

public DeclarativeArc addConstraint(java.util.Collection<? extends org.processmining.models.graphbased.directed.petrinet.elements.Transition> from,
                                    java.util.Collection<? extends org.processmining.models.graphbased.directed.petrinet.elements.Transition> to,
                                    ConstraintType.Branched type)

addConstraint

public DeclarativeArc addConstraint(java.util.Collection<? extends org.processmining.models.graphbased.directed.petrinet.elements.Transition> from,
                                    java.util.Collection<? extends org.processmining.models.graphbased.directed.petrinet.elements.Transition> to,
                                    ConstraintType.Branched type,
                                    org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet parent)

checkAddEdge

protected void checkAddEdge(java.util.Collection<? extends org.processmining.models.graphbased.directed.petrinet.elements.Transition> source,
                            java.util.Collection<? extends org.processmining.models.graphbased.directed.petrinet.elements.Transition> target)

addConstraint

public DeclarativeArc addConstraint(org.processmining.models.graphbased.directed.petrinet.elements.Transition from,
                                    org.processmining.models.graphbased.directed.petrinet.elements.Transition to,
                                    ConstraintType type,
                                    org.processmining.models.graphbased.directed.petrinet.elements.ExpandableSubNet parent)

removeConstraint

public DeclarativeArc removeConstraint(DeclarativeArc arc)

getConstraints

public java.util.Collection<DeclarativeArc> getConstraints()

getEdges

public java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetEdge<? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode,? extends org.processmining.models.graphbased.directed.petrinet.PetrinetNode>> getEdges()

Specified by:

getEdges in interface 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>>

Overrides:

getEdges in class org.processmining.models.graphbased.directed.petrinet.impl.AbstractResetInhibitorNet