Safety Analysis Using Petri Nets

1987437 citationsJournal Article

Authors

Nancy G. Leveson · University of California, Irvine

Janice L. Stolzy · University of California, Irvine

Abstract

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.

Topics & Keywords

Formal Methods in Verification Petri Nets in System Modeling Real-Time Systems Scheduling

Publication Details

Published in: IEEE Transactions on Software Engineering

Volume SE-13, Issue 3, pp. 386-397

DOI: 10.1109/tse.1987.233170

Field-Weighted Citation Impact: 13.41

Command Palette

Safety Analysis Using Petri Nets

Authors

Abstract

Topics & Keywords

Publication Details