public class StateMachineNet
extends java.lang.Object
Constructor and Description |
---|
StateMachineNet()
Creates an empty net.
|
Modifier and Type | Method and Description |
---|---|
void |
addArc(Place place,
Transition transition)
Adds an arc from the place to the transition to the net.
|
void |
addArc(Transition transition,
Place place)
Adds an arc from the transition to the place to the net.
|
void |
addPlace(Place place)
Adds a place to the net, if needed.
|
void |
addTransition(Transition transition)
Adds a transition to the net, if needed.
|
void |
applyAbstraction(Place place,
Transition transition)
Applies the abstraction rule on the given place and transition in the
net.
|
void |
applyPlace(Place place,
Place proxy) |
void |
applyRigid(Transition splitTransition,
Transition transition,
Transition joinTransition) |
void |
applyTransition(Transition transition)
Applies the transition rule on the given transition.
|
org.processmining.models.graphbased.directed.petrinet.Petrinet |
createPetriNet(LayoutParameters layoutParameters) |
java.util.List<Place> |
getPlaceList() |
java.util.Set<Place> |
getPlaces() |
Place |
getPostPlace(Transition transition) |
java.util.List<Transition> |
getPostset(Place place) |
Place |
getPrePlace(Transition transition) |
java.util.List<Transition> |
getPreset(Place place) |
java.util.List<Place> |
getSinkPlaces()
Returns an ordered list containing all sink places.
|
java.util.List<Place> |
getSourcePlaces()
Returns an ordered list containing all source places.
|
java.util.List<Transition> |
getTransitionList() |
java.util.Set<Transition> |
getTransitions() |
public org.processmining.models.graphbased.directed.petrinet.Petrinet createPetriNet(LayoutParameters layoutParameters)
public void addArc(Place place, Transition transition)
place
- The source place of the arc.transition
- The target transition of the arc.public void addArc(Transition transition, Place place)
transition
- The source transition of the arc.place
- The target place of the arc.public void addPlace(Place place)
place
- The place to add.public void addTransition(Transition transition)
transition
- The transition to add.public java.util.List<Transition> getPreset(Place place)
public java.util.List<Transition> getPostset(Place place)
public Place getPrePlace(Transition transition)
public Place getPostPlace(Transition transition)
public void applyAbstraction(Place place, Transition transition)
place
- The given place.transition
- The given transition.public void applyTransition(Transition transition)
transition
- The given transition.public void applyRigid(Transition splitTransition, Transition transition, Transition joinTransition)
public java.util.Set<Transition> getTransitions()
public java.util.List<Transition> getTransitionList()
public java.util.Set<Place> getPlaces()
public java.util.List<Place> getPlaceList()
public java.util.List<Place> getSourcePlaces()
public java.util.List<Place> getSinkPlaces()