|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ColoredPetriNet | |
---|---|
org.processmining.exporting.petrinet.cpnexport |
Uses of ColoredPetriNet in org.processmining.exporting.petrinet.cpnexport |
---|
Methods in org.processmining.exporting.petrinet.cpnexport that return ColoredPetriNet | |
---|---|
ColoredPetriNet |
ColoredTransition.getSubpage()
Returns the sub Simulated PetriNet for this transition. |
ColoredPetriNet |
HLToCPNTranslator.translate()
Translate the simulation model to a cpn model |
Methods in org.processmining.exporting.petrinet.cpnexport with parameters of type ColoredPetriNet | |
---|---|
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. |
void |
ColoredTransition.setSubpage(ColoredPetriNet subpage)
Sets the subpage for this transition. |
static void |
ManagerXml.writeInstance(java.io.BufferedWriter bw,
ColoredPetriNet pn)
Writes the instance elements in the cpn-file. |
static void |
ManagerXml.writeInstances(java.io.BufferedWriter bw,
ColoredPetriNet pn)
Writes the instances elements of the cpn-file. |
Constructors in org.processmining.exporting.petrinet.cpnexport with parameters of type ColoredPetriNet | |
---|---|
ColoredPlace(Place template,
ColoredPetriNet net)
The constructor creates a ColoredPlace from an ordinary place. |
|
ColoredPlace(Place template,
ColoredPetriNet net,
int x,
int y,
int w,
int h)
The constructor creates a ColoredPlace from an ordinary place, but the position, width and heigth have to be provided |
|
ColoredPlace(java.lang.String name,
ColoredPetriNet net)
Constructor to create a ColoredPlace without having a template place. |
|
ColoredTransition(java.lang.String name,
ColoredPetriNet net)
Constructor to create a ColoredTransition without having a template transition. |
|
ColoredTransition(java.lang.String name,
ColoredPetriNet net,
int x,
int y,
int w,
int h)
Constructor to create a ColoredTransition without having a template transition. |
|
ColoredTransition(java.lang.String name,
java.lang.String nameEvent,
ColoredPetriNet net)
Constructor to create a ColoredTransition without having a template transition. |
|
ColoredTransition(Transition template,
ColoredPetriNet net)
The constructor creates a ColoredTransition from an ordinary transition. |
|
ColoredTransition(Transition template,
ColoredPetriNet net,
int x,
int y,
int w,
int h)
The constructor creates a ColoredTransition from an ordinary transition, but the position, width and height can be provided |
|
CpnExportSettings(ColoredPetriNet netToExport)
Creates the settings frame for the CPN Tools export. |
|
HLToCPNTranslator(HLPetriNet hlPN,
ColoredPetriNet simPN)
Default constructor |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |