| 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 |