Repairable both-branch fuzzy timed petri net-based network attack model