Answers are grounded in this paper and cite their sources.
The application of Time Petri net modeling and analysis techniques to safety-critical real-time systems is explored and procedures described which allow analysis of safety, recoverability, and fault-tolerance.
No takes yet. Share an insight, caveat, or question.
Leveson et al. (1987) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: