Petri Net Modeling and Software Safety Analysis

Methodology for an Embedded Military Application

by Alan D. Lewis · 1988