fuzzed
fuzzed copied to clipboard
Remove PNML serialization step from simulation
During faulttree simulation, a PNML file for the petri net is generated, saved and re-loaded. Avoid this step to make simulation faster.