Uses of Class
org.processmining.exporting.petrinet.cpnexport.ColoredPetriNet

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