|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |