public interface IOccurrenceNet<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> extends IPetriNet<F,N,P,T>
| Modifier and Type | Method and Description |
|---|---|
ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M> |
getCompletePrefixUnfolding() |
C |
getCondition(P p) |
T |
getCorrespondingEvent(T t) |
Set<P> |
getCutInducedByLocalConfiguration(T t) |
Set<T> |
getCutoffEvents() |
E |
getEvent(T t) |
OrderingRelationType |
getOrderingRelation(N n1,
N n2) |
P |
getPlace(C c) |
Collection<P> |
getPlaces(Collection<C> conditions) |
T |
getTransition(E e) |
Collection<T> |
getTransitions(Collection<E> events) |
BPN |
getUnfoldingNode(N n) |
boolean |
isCutoffEvent(T t) |
void |
setBranchingProcess(IBranchingProcess<BPN,C,E,F,N,P,T,M> bp) |
void |
setCompletePrefixUnfolding(ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M> cpu) |
String |
toDOT(Collection<P> places,
Collection<T> transitions) |
addFlow, addFlow, addFlow, addNode, addNodes, addPlace, addPlaces, addTransition, addTransitions, clear, clone, clone, createPlace, createTransition, getFlow, getMax, getMin, getNodes, getObservableTransitions, getPlaces, getPostset, getPostset, getPostset, getPostset, getPostsetPlaces, getPostsetTransitions, getPreset, getPreset, getPreset, getPreset, getPresetPlaces, getPresetTransitions, getSilentTransitions, getSinkNodes, getSinkPlaces, getSinkTransitions, getSourceNodes, getSourcePlaces, getSourceTransitions, getTransitions, removeFlow, removeFlow, removeNode, removeNodes, removePlace, removePlaces, removeTransition, removeTransitionsgetDirectedEdgeaddEdge, addEdge, getDirectPredecessors, getDirectPredecessors, getDirectSuccessors, getDirectSuccessors, getEdgesWithSource, getEdgesWithSourceAndTarget, getEdgesWithSources, getEdgesWithSourcesAndTargets, getEdgesWithTarget, getEdgesWithTargets, getFirstDirectPredecessor, getFirstDirectSuccessor, getFirstIncomingEdge, getFirstOutgoingEdge, getIncomingEdges, getOutgoingEdgesareAdjacent, getEdge, getEdges, toDOTaddEdge, addEdge, addVertex, addVertices, areAdjacent, contains, contains, countEdges, countVertices, getAdjacent, getConnectedVertices, getDisconnectedVertices, getEdges, getEdges, getEdges, getFreshVertex, getVertices, isMultiGraph, removeEdge, removeEdges, removeVertex, removeVerticesgetDescription, getId, getName, getTag, setDescription, setId, setName, setTagcompareTogetEntitiesCollection<P> getPlaces(Collection<C> conditions)
Collection<T> getTransitions(Collection<E> events)
OrderingRelationType getOrderingRelation(N n1, N n2)
boolean isCutoffEvent(T t)
void setCompletePrefixUnfolding(ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M> cpu)
String toDOT(Collection<P> places, Collection<T> transitions)
Copyright © 2017. All rights reserved.