{"id":{"repo_id":"nps","oai_identifier":"oai:calhoun.nps.edu:10945/22423"},"canonical_url":"https://search.dev.ndltd.org/etd/nps/oai:calhoun.nps.edu:10945/22423","repository":{"repo_id":"nps","name":"Naval Postgraduate School","base_url":"https://calhoun.nps.edu/server/oai/request"},"display":{"title":"A practical application of Petri nets in the software safety analysis of a real-time military system.","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. The features of basic Petri net modeling are discussed in relation to the kinds of components that are found in real-time systems. This thesis proposes a methodology for systematically constructing a Petri net model from system and software design information. Several techniques for analyzing the resulting Petri net model are illustrated and evaluated for appropriateness.","abstract_html":"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. The features of basic Petri net modeling are discussed in relation to the kinds of components that are found in real-time systems. This thesis proposes a methodology for systematically constructing a Petri net model from system and software design information. Several techniques for analyzing the resulting Petri net model are illustrated and evaluated for appropriateness.","abstract_has_math":false,"creators":["Hayward, Duston L."],"institution":null,"degree_name":null,"degree_level":null,"degree_discipline":null,"degree_department":"Computer Science","school":null,"contributors":[],"advisors":["Davis, Daniel"],"committee_chairs":[],"committee_members":[],"year":1987,"date_issued":"1987-12","date_published":"1987-12","updated_at":"2026-07-27T20:26:27Z","subjects":[],"languages":["en_US"],"rights":["This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States."],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"https://hdl.handle.net/10945/22423","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Davis, Daniel"]},{"key":"dc:contributor.department","label":"Department","values":["Computer Science"]},{"key":"dc:creator","label":"Author","values":["Hayward, Duston L."]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["December 1987"]},{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2012-11-27T00:23:43Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2012-11-27T00:23:43Z"]},{"key":"dc:date.issued","label":"Date","values":["1987-12"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language.iso","label":"Language (ISO)","values":["en_US"]},{"key":"dc:rights","label":"Dc Rights","values":["This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States."]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://hdl.handle.net/10945/22423"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["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. The features of basic Petri net modeling are discussed in relation to the kinds of components that are found in real-time systems. This thesis proposes a methodology for systematically constructing a Petri net model from system and software design information. Several techniques for analyzing the resulting Petri net model are illustrated and evaluated for appropriateness."]},{"key":"dc:title","label":"Title","values":["A practical application of Petri nets in the software safety analysis of a real-time military system."]}]}],"canonical_facts":{"dc:contributor.advisor":["Davis, Daniel"],"dc:contributor.department":["Computer Science"],"dc:creator":["Hayward, Duston L."],"dc:date":["December 1987"],"dc:date.accessioned":["2012-11-27T00:23:43Z"],"dc:date.available":["2012-11-27T00:23:43Z"],"dc:date.issued":["1987-12"],"dc:description.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. The features of basic Petri net modeling are discussed in relation to the kinds of components that are found in real-time systems. This thesis proposes a methodology for systematically constructing a Petri net model from system and software design information. Several techniques for analyzing the resulting Petri net model are illustrated and evaluated for appropriateness."],"dc:identifier.uri":["https://hdl.handle.net/10945/22423"],"dc:language.iso":["en_US"],"dc:rights":["This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States."],"dc:title":["A practical application of Petri nets in the software safety analysis of a real-time military system."],"dc:type":["Thesis"]},"updated_at":"2026-07-27T20:26:27Z"}