Safety Analysis Using Petri Nets
- 1 March 1987
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. SE-13 (3) , 386-397
- https://doi.org/10.1109/tse.1987.233170
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.Keywords
This publication has 6 references indexed in Scilit:
- OBSERVER A CONCEPT FOR ON-LINE DETECTION OF CONTROL ERRORS IN CONCURRENT SYSTEMSPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Software Safety in Computer-Controlled SystemsComputer, 1984
- Timing Requirements for Time-Driven Systems Using Augmented Petri NetsIEEE Transactions on Software Engineering, 1983
- Casting Petri Nets into ProgramsIEEE Transactions on Software Engineering, 1983
- Recoverability of Communication Protocols--Implications of a Theoretical StudyIEEE Transactions on Communications, 1976
- Petri nets as a common tool for design verification and hardware simulationPublished by Association for Computing Machinery (ACM) ,1976