troeger / fuzzed

The Open Reliability Editor (ORE) for dependability modeling and analysis.
https://live.ore-project.org
21 stars 9 forks source link

Remove PNML serialization step from simulation #22

Open laena opened 9 years ago

laena commented 9 years ago

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