Fault Analysis Using Petri Nets
Krzysztof Sacha · 2001
The paper describes the specification method for dependable systems, called Transnet. The method offers a formal notation for describing the software structure, the means for defining safe and un-safe states and techniques for the software simulation and analysis. The modeling process is based on an extension to Petri nets, which enables the modeler to represent control as well as data processing aspects of the software. Petri net-based model can be analyzed using the concept of a modified reachability graph and a state graph or can be a framework for simulated execution. The model can be built in the specification phase, thus creating the potential for early validation of the software behavior.