Referenced Items are not available for this document.
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.
Published in:
Computer Application and System Modeling (ICCASM), 2010 International Conference on
(Volume:1
)
Date of Conference: 22-24 Oct. 2010
- Page(s):
- V1-18 - V1-20
- E-ISBN :
- 978-1-4244-7237-6
- Print ISBN:
- 978-1-4244-7235-2
- INSPEC Accession Number:
- 11667622
- Conference Location :
- Taiyuan
- Digital Object Identifier :
- 10.1109/ICCASM.2010.5619222
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
