public class PetrinetPrinter
extends java.lang.Object
Constructor and Description |
---|
PetrinetPrinter() |
Modifier and Type | Method and Description |
---|---|
static void |
print(org.processmining.models.graphbased.directed.petrinet.InhibitorNet pn) |
static void |
print(Petrinet pn) |
static void |
printAll(java.util.List<Petrinet> pnList) |
static void |
printAll(java.util.Map<java.lang.String,Petrinet> pnMap) |
static void |
printInitialFinalPlaces(Petrinet pn) |
static void |
printNextTransitions(PlaceId pl,
Petrinet pn) |
static void |
printPlaceAndTransitions(org.processmining.models.graphbased.directed.petrinet.InhibitorNet pn,
org.processmining.models.graphbased.directed.petrinet.PetrinetNode pl,
java.util.List<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> printedNodes) |
static void |
printPlacesAndTransitions(Petrinet pn,
PlaceId pl,
java.util.List<PlaceId> printedPlaces) |
public static void printAll(java.util.Map<java.lang.String,Petrinet> pnMap)
public static void printAll(java.util.List<Petrinet> pnList)
public static void print(org.processmining.models.graphbased.directed.petrinet.InhibitorNet pn)
public static void print(Petrinet pn)
public static void printPlacesAndTransitions(Petrinet pn, PlaceId pl, java.util.List<PlaceId> printedPlaces)
public static void printPlaceAndTransitions(org.processmining.models.graphbased.directed.petrinet.InhibitorNet pn, org.processmining.models.graphbased.directed.petrinet.PetrinetNode pl, java.util.List<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> printedNodes)
public static void printInitialFinalPlaces(Petrinet pn)