Package | Description |
---|---|
edu.upc.essi.petrinets.uuid |
Modifier and Type | Method and Description |
---|---|
ArcId |
Petrinet.addArc(PlaceId place,
TransitionId trans) |
ArcId |
Petrinet.addArc(PlaceId place,
TransitionId trans,
stateMachine.Transition.EventDepCondType ster) |
ArcId |
Petrinet.addArc(TransitionId trans,
PlaceId place) |
ArcId |
Petrinet.addArc(TransitionId trans,
PlaceId place,
stateMachine.Transition.EventDepCondType ster) |
ArcId |
Petrinet.addInhibitorArc(PlaceId source,
TransitionId target) |
ArcId |
Petrinet.getArc(PlaceId source,
TransitionId target) |
ArcId |
Petrinet.getArc(TransitionId source,
PlaceId target) |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<ArcId> |
Petrinet.getArcs() |
Modifier and Type | Method and Description |
---|---|
boolean |
Petrinet.addEventDepCondToArc(ArcId arc,
stateMachine.Transition.EventDepCondType evDepCond)
Adds a stereotype to the given arc.
|
ArcType |
Petrinet.getArcType(ArcId arc)
Returns the type of the given Arc.
|
stateMachine.Transition.EventDepCondType |
Petrinet.getEventDepCondForArc(ArcId arc)
Returns the event-dependent condition associated to certain arc.
|
void |
Petrinet.removeArc(ArcId arc) |