Network protection function simulation using petri net | IEEE Conference Publication | IEEE Xplore