Uses of Class
vanted.petrinetelements.PetriNet

Packages that use PetriNet
misc   
petri_jfern   
pnml.writer   
simulation   
vanted.petrinetelements   
vanted.petrinetelements.cpn   
vanted.petrinetelements.misc   
 

Uses of PetriNet in misc
 

Constructors in misc with parameters of type PetriNet
MatrixOperation(PetriNet pn)
          Instantiates a new matrix operation.
 

Uses of PetriNet in petri_jfern
 

Methods in petri_jfern with parameters of type PetriNet
 Library PNJFern.createLibI(PetriNet petriNet)
          Creates the library.
 Library PNJFern.parse2Lib(PetriNet pn)
           
 org.rakiura.cpn.Net PNJFern.parsePN2JFERN(PetriNet pn)
          Parses the VANTED Petri net into a rakiura Petri net.
 

Uses of PetriNet in pnml.writer
 

Methods in pnml.writer with parameters of type PetriNet
 void AbstractPNMLParser.createPNML(PetriNet pn, java.io.OutputStream output)
           
 

Constructors in pnml.writer with parameters of type PetriNet
PNMLBuilder(PetriNet pn)
           
 

Uses of PetriNet in simulation
 

Methods in simulation with parameters of type PetriNet
 void Simulator.createSimulator(org.rakiura.cpn.Net net, PetriNet pn)
          Creates the simulator.
 

Uses of PetriNet in vanted.petrinetelements
 

Methods in vanted.petrinetelements with parameters of type PetriNet
static double[] PetriNet.getMarking(PetriNet pn)
          Gets the Petri net marking.
 Library Library.parse2Lib(PetriNet petriNet)
          Parse to library.
 

Uses of PetriNet in vanted.petrinetelements.cpn
 

Methods in vanted.petrinetelements.cpn that return PetriNet
 PetriNet Marking.getPetriNet()
          Gets the petri net.
 

Constructors in vanted.petrinetelements.cpn with parameters of type PetriNet
Marking(PetriNet pn)
          Instantiates a new marking.
 

Uses of PetriNet in vanted.petrinetelements.misc
 

Methods in vanted.petrinetelements.misc with parameters of type PetriNet
static boolean Check.isPurePN(PetriNet pn)
          Checks if the Petri net is pure.
static void HelperPNMergeNodes.mergeNodesWithSameLabel(java.util.List<org.graffiti.graph.Node> nodes, PetriNet pn)
          Merge nodes with same label.