Package | Description |
---|---|
edu.upc.essi.petrinets.uuid | |
org.processmininguc.utils |
Modifier and Type | Method and Description |
---|---|
PlaceId |
Petrinet.addPlace(java.lang.String label) |
PlaceId |
Petrinet.addPlace(java.lang.String label,
int tokenNr) |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<PlaceId> |
Petrinet.getFinalPlaces() |
java.util.Collection<PlaceId> |
Petrinet.getInitialPlaces()
Returns a collection of places which could be considered "Initial".
|
java.util.Collection<PlaceId> |
Petrinet.getNextPlaces(TransitionId trans) |
java.util.Collection<PlaceId> |
Petrinet.getPlaces() |
java.util.Collection<PlaceId> |
Petrinet.getPreviousPlaces(TransitionId trans) |
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.addPlaceFromPetrinet(PlaceId place,
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<TransitionId> |
Petrinet.getNextTransitions(PlaceId place) |
java.lang.String |
Petrinet.getPlaceLabel(PlaceId place) |
int |
Petrinet.getPlaceTokens(PlaceId place) |
java.util.Collection<TransitionId> |
Petrinet.getPreviousTransitions(PlaceId place) |
void |
Petrinet.removePlace(PlaceId place) |
void |
Petrinet.setPlaceTokens(PlaceId place,
int tokens) |
Modifier and Type | Method and Description |
---|---|
static void |
PetrinetPrinter.printNextTransitions(PlaceId pl,
Petrinet pn) |
static void |
PetrinetPrinter.printPlacesAndTransitions(Petrinet pn,
PlaceId pl,
java.util.List<PlaceId> printedPlaces) |
Modifier and Type | Method and Description |
---|---|
static void |
PetrinetPrinter.printPlacesAndTransitions(Petrinet pn,
PlaceId pl,
java.util.List<PlaceId> printedPlaces) |