Master's Thesis, Naval Postgraduate School, Monterey, CA, December 1987.
Abstract: This thesis evaluates the usefulness of Petri net modeling for software safety analysis of a real-time system. The system is a safety arming device for a guided missile. This thesis proposes a methodology for systematically constructing a Petri net model from system and software design information.