Design and analysis of electronic lock workflow for weapon starting based on timed Petri net

A kind of electronic lock which is used for starting weapon has been widely paid attention to, it involves many aspects of difficult problems such as communication, command automation and the analysis of workflow for weapon starting. In this paper, a kind of method for design and analysis of electronic lock workflow for weapon starting based timed Petri net is put up, the timed Petri net model of workflow is given, and the security and reliability have been analyzed theoretically. Through simulation test, the method is proved to be reliable.