void |
DPNParser.edge() |
void |
DPNParser.finalMarking() |
void |
DPNParser.finalMarkings() |
static DataPetriNetsWithMarkings |
DPN.fromInputStream(java.io.InputStream dpnAsStream) |
static DataPetriNetsWithMarkings |
DPN.fromString(java.lang.String dpnAsString) |
void |
DPNParser.guard() |
void |
DPNParser.guards() |
void |
DPNParser.initialMarking() |
void |
DPNParser.initialMarkings() |
void |
DPNParser.invisible() |
void |
DPNParser.invisibles() |
DPNRoot |
DPNParser.parse() |
void |
DPNParser.place() |
void |
DPNParser.places() |
void |
DPNParser.transition() |
void |
DPNParser.transitions() |
Token |
DPNParser.type() |
void |
DPNParser.variable() |
void |
DPNParser.variables() |
void |
DPNParser.write() |
void |
DPNParser.writes() |