The analysis and design of closed-loop control system for security information based on the petri net | IEEE Conference Publication | IEEE Xplore