|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ColoredTransition | |
---|---|
org.processmining.exporting.petrinet.cpnexport |
Uses of ColoredTransition in org.processmining.exporting.petrinet.cpnexport |
---|
Methods in org.processmining.exporting.petrinet.cpnexport that return ColoredTransition | |
---|---|
protected ColoredTransition |
HLToCPNTranslator.getFirstTransitionOnSubpage_Resource(ColoredPetriNet subpage)
Returns the first start transition on the subpage. |
protected ColoredTransition |
HLToCPNTranslator.getFirstTransitionOnSubpage(ColoredPetriNet subpage)
Returns the first transition on the subpage. |
protected ColoredTransition |
HLToCPNTranslator.getLastTransitionOnSubpage(ColoredPetriNet subpage)
Returns the last transition on the subpage. |
Methods in org.processmining.exporting.petrinet.cpnexport with parameters of type ColoredTransition | |
---|---|
void |
ColoredPetriNet.write(java.io.BufferedWriter bw,
ColoredTransition topTransition)
Writes the page containing the transitions and places of this Petri net. |
void |
ColoredPlace.write(java.io.BufferedWriter bw,
ColoredTransition topTransition)
Writes this place to the cpn-file. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |