Naval Postgraduate School, Monterey, CA, Master's thesis, 1988.
Abstract: This thesis investigates the feasibility of software safety analysis using Petri net modeling and an automated suite of Petri Net Utilities (P-NUT). Software safety concepts, Petri nets, reachability theory, and the use of P-NUT are briefly introduced. Then a methodology is developed to combine these ideas for efficient and effective preliminary safety analysis of a real-time system.