| Class | Description |
|---|---|
| MurataESTkeepLanguage |
Reduce a Petri net using Murata's Fusion of Elimination of Self-Loop
Transitions.
|
| MurataFPPkeepLanguage |
Reduce a Petri net using Murata's Fusion of Parallel Places rule.
|
| MurataFPTkeepLanguage |
Reduce a Petri net using Murata's Fusion of Series Transitions.
|
| MurataFSP1keepLanguage |
Reduce a Petri net using Murata's Fusion of Series Places rule.
|
| MurataFSP2keepLanguage |
Reduce a Petri net using Murata's Fusion of Series Places rule.
|
| MurataFST1keepLanguage |
Reduce a Petri net using Murata's Fusion of Series Transitions.
|
| MurataFST2keepLanguage |
Reduce a Petri net using Murata's Fusion of Series Transitions.
|
| ReduceAcceptingPetriNetKeepLanguage |