For the most recent entries see the Petri Nets Newsletter.

Practical Application of Petri Nets in the Sofware Safety Analysis of a Real-time Military System.

Hayward, D.L.

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.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography