public class Petrinet
extends java.lang.Object
Constructor and Description |
---|
Petrinet(java.lang.String label) |
Modifier and Type | Method and Description |
---|---|
ArcId |
addArc(PlaceId place,
TransitionId trans) |
ArcId |
addArc(PlaceId place,
TransitionId trans,
stateMachine.Transition.EventDepCondType ster) |
ArcId |
addArc(TransitionId trans,
PlaceId place) |
ArcId |
addArc(TransitionId trans,
PlaceId place,
stateMachine.Transition.EventDepCondType ster) |
boolean |
addEventDepCondToArc(ArcId arc,
stateMachine.Transition.EventDepCondType evDepCond)
Adds a stereotype to the given arc.
|
ArcId |
addInhibitorArc(PlaceId source,
TransitionId target) |
PlaceId |
addPlace(java.lang.String label) |
PlaceId |
addPlace(java.lang.String label,
int tokenNr) |
boolean |
addPlaceFromPetrinet(PlaceId place,
Petrinet pn)
Returns true if the place has been added.
|
TransitionId |
addTransition(java.lang.String label) |
TransitionId |
addTransition(java.lang.String label,
boolean invisible) |
boolean |
addTransitionFromPetrinet(TransitionId trans,
Petrinet pn)
Returns true if the place has been added.
|
Petrinet |
clonePetrinet()
Makes a copy of the Petrinet on which the function is called
|
Petrinet |
clonePetrinetWithNewIds()
Makes a copy of the Petrinet on which the function is called.
|
ArcId |
getArc(PlaceId source,
TransitionId target) |
ArcId |
getArc(TransitionId source,
PlaceId target) |
java.util.Collection<ArcId> |
getArcs() |
ArcType |
getArcType(ArcId arc)
Returns the type of the given Arc.
|
stateMachine.Transition.EventDepCondType |
getEventDepCondForArc(ArcId arc)
Returns the event-dependent condition associated to certain arc.
|
java.util.Collection<PlaceId> |
getFinalPlaces() |
java.util.Collection<PlaceId> |
getInitialPlaces()
Returns a collection of places which could be considered "Initial".
|
java.util.Collection<PlaceId> |
getNextPlaces(TransitionId trans) |
java.util.Collection<TransitionId> |
getNextTransitions(PlaceId place) |
java.lang.String |
getPetrinetLabel() |
java.lang.String |
getPlaceLabel(PlaceId place) |
java.util.Collection<PlaceId> |
getPlaces() |
int |
getPlaceTokens(PlaceId place) |
java.util.Collection<PlaceId> |
getPreviousPlaces(TransitionId trans) |
java.util.Collection<TransitionId> |
getPreviousTransitions(PlaceId place) |
java.lang.String |
getTransitionLabel(TransitionId trans) |
java.util.Collection<TransitionId> |
getTransitions() |
boolean |
isTransitionInvisible(TransitionId transId) |
void |
removeArc(ArcId arc) |
void |
removePlace(PlaceId place) |
void |
removeTransition(TransitionId trans) |
void |
setPlaceTokens(PlaceId place,
int tokens) |
public PlaceId addPlace(java.lang.String label, int tokenNr)
public PlaceId addPlace(java.lang.String label)
public boolean addPlaceFromPetrinet(PlaceId place, Petrinet pn)
place
- public TransitionId addTransition(java.lang.String label, boolean invisible)
public TransitionId addTransition(java.lang.String label)
public boolean addTransitionFromPetrinet(TransitionId trans, Petrinet pn)
place
- public ArcId addArc(PlaceId place, TransitionId trans, stateMachine.Transition.EventDepCondType ster)
public ArcId addArc(PlaceId place, TransitionId trans)
public ArcId addArc(TransitionId trans, PlaceId place, stateMachine.Transition.EventDepCondType ster)
public ArcId addArc(TransitionId trans, PlaceId place)
public ArcId addInhibitorArc(PlaceId source, TransitionId target)
public void removeTransition(TransitionId trans)
public void removeArc(ArcId arc)
public void removePlace(PlaceId place)
public java.lang.String getPetrinetLabel()
public java.util.Collection<PlaceId> getPlaces()
public java.util.Collection<TransitionId> getTransitions()
public boolean isTransitionInvisible(TransitionId transId)
public java.util.Collection<ArcId> getArcs()
public ArcId getArc(PlaceId source, TransitionId target)
source
- target
- public ArcId getArc(TransitionId source, PlaceId target)
source
- target
- public ArcType getArcType(ArcId arc)
arc
- public java.lang.String getPlaceLabel(PlaceId place)
public int getPlaceTokens(PlaceId place)
public void setPlaceTokens(PlaceId place, int tokens)
public java.lang.String getTransitionLabel(TransitionId trans)
public java.util.Collection<PlaceId> getInitialPlaces()
public java.util.Collection<PlaceId> getFinalPlaces()
public java.util.Collection<TransitionId> getNextTransitions(PlaceId place)
public java.util.Collection<TransitionId> getPreviousTransitions(PlaceId place)
public java.util.Collection<PlaceId> getNextPlaces(TransitionId trans)
public java.util.Collection<PlaceId> getPreviousPlaces(TransitionId trans)
public boolean addEventDepCondToArc(ArcId arc, stateMachine.Transition.EventDepCondType evDepCond)
public stateMachine.Transition.EventDepCondType getEventDepCondForArc(ArcId arc)
arc
- public Petrinet clonePetrinet()
public Petrinet clonePetrinetWithNewIds()