Package | Description |
---|---|
edu.upc.essi.petrinets.uuid | |
org.processmininguc.balsa.algorithms |
Modifier and Type | Method and Description |
---|---|
TransitionId |
Petrinet.addTransition(java.lang.String label) |
TransitionId |
Petrinet.addTransition(java.lang.String label,
boolean invisible) |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<TransitionId> |
Petrinet.getNextTransitions(PlaceId place) |
java.util.Collection<TransitionId> |
Petrinet.getPreviousTransitions(PlaceId place) |
java.util.Collection<TransitionId> |
Petrinet.getTransitions() |
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) |
boolean |
Petrinet.addTransitionFromPetrinet(TransitionId trans,
Petrinet pn)
Returns true if the place has been added.
|
ArcId |
Petrinet.getArc(PlaceId source,
TransitionId target) |
ArcId |
Petrinet.getArc(TransitionId source,
PlaceId target) |
java.util.Collection<PlaceId> |
Petrinet.getNextPlaces(TransitionId trans) |
java.util.Collection<PlaceId> |
Petrinet.getPreviousPlaces(TransitionId trans) |
java.lang.String |
Petrinet.getTransitionLabel(TransitionId trans) |
boolean |
Petrinet.isTransitionInvisible(TransitionId transId) |
void |
Petrinet.removeTransition(TransitionId trans) |
Modifier and Type | Method and Description |
---|---|
void |
BalsaArtifactToPetriNetConverter.duplicatePetriNetIntoPetriNet2(Petrinet containerPn,
Petrinet containedPn,
TransitionId transToBeRepl) |