Package | Description |
---|---|
edu.upc.essi.petrinets.uuid | |
org.processmininguc.balsa.algorithms | |
org.processmininguc.utils |
Modifier and Type | Method and Description |
---|---|
Petrinet |
Petrinet.clonePetrinet()
Makes a copy of the Petrinet on which the function is called
|
Petrinet |
Petrinet.clonePetrinetWithNewIds()
Makes a copy of the Petrinet on which the function is called.
|
Modifier and Type | Method and Description |
---|---|
boolean |
Petrinet.addPlaceFromPetrinet(PlaceId place,
Petrinet pn)
Returns true if the place has been added.
|
boolean |
Petrinet.addTransitionFromPetrinet(TransitionId trans,
Petrinet pn)
Returns true if the place has been added.
|
Modifier and Type | Method and Description |
---|---|
void |
BalsaArtifactToPetriNetConverter.duplicatePetriNetIntoPetriNet2(Petrinet containerPn,
Petrinet containedPn,
TransitionId transToBeRepl) |
Modifier and Type | Method and Description |
---|---|
static void |
PetrinetPrinter.print(Petrinet pn) |
static void |
PetrinetPrinter.printInitialFinalPlaces(Petrinet pn) |
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.printAll(java.util.List<Petrinet> pnList) |
static void |
PetrinetPrinter.printAll(java.util.Map<java.lang.String,Petrinet> pnMap) |