In: COMPASS'89. Proceedings of the Fourth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security, 1989, Gaithersburg, MD, USA, pages 22-25. 1989.
Abstract: Research is described regarding the use of Petri net theory to analyze selected software safety case studies. Interpretation of the analysis results produced the following conclusions: (1) all of the Petri nets had instances of 1-connectedness at the point depicting where the software failures occurred; and (2) instances of 1-connectedness similar to those described indicate situations where the software should implement some type of exception-handling capability.
Keywords: software safety; software failure; exception-handling.