Class | Description |
---|---|
Murata |
Petri net reduction rules, based on Murata rules.
|
MurataASM | |
MurataCSM | |
MurataESP | |
MurataEST | |
MurataFPP | |
MurataFPT | |
MurataFSP | |
MurataFST | |
MurataInput |
General input for Petri net reduction rules.
|
MurataOutput |
General output of Petri net reduction rules.
|
MurataParameters | |
MurataRule | |
MurataUtils |