|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Marking | |
---|---|
petri_jfern | |
vanted.petrinetelements |
Uses of Marking in petri_jfern |
---|
Methods in petri_jfern that return Marking | |
---|---|
Marking |
PNJFern.getMarking2()
|
Uses of Marking in vanted.petrinetelements |
---|
Methods in vanted.petrinetelements that return Marking | |
---|---|
Marking |
PetriNet.getMarking()
Gets the marking. |
Marking |
Library.getMarking2()
Gets the marking2. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |