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 |