Safety Analysis Using Petri Nets

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.

[1]  Marshall Toufic Rose.  Modeling and analysis of concurrent systems using contour/transition-nets , 1984 .

[2]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

[3]  Philip Meir Merlin,et al.  A study of the recoverability of computing systems. , 1974 .

[4]  Joseph Sifakis,et al.  Use of Petri nets for performance evaluation , 1977, Acta Cybern..

[5]  A. Schaplowsky.  Handbook of System and Product Safety , 1974 .

[6]  Rami R. Razouk,et al.  The derivation of performance expressions for communication protocols from timed petri net models , 1984, Comput. Commun. Rev..

[7]  Robert A. Nelson,et al.  Casting Petri Nets into Programs , 1983, IEEE Transactions on Software Engineering.

[8]  C. Ramchandani,et al.  Analysis of asynchronous concurrent systems by timed petri nets , 1974 .

[9]  P. Merlin,et al.  Recoverability of Communication Protocols - Implications of a Theoretical Study , 1976, IEEE Transactions on Communications.

[10]  Nancy G. Leveson.  Software Safety in Computer-Controlled Systems , 1984, Computer.

[11]  Robert Valette,et al.  Petri nets as a common tool for design verification and hardware simulation , 1976, DAC '76.

[12]  Bernard Berthomieu,et al.  An Enumerative Approach for Analyzing Time Petri Nets , 1983, IFIP Congress.

[13]  Michel Hack,et al.  ANALYSIS OF PRODUCTION SCHEMATA BY PETRI NETS , 1972 .

[14]  Nick Roussopoulos,et al.  Timing Requirements for Time-Driven Systems Using Augmented Petri Nets , 1983, IEEE Transactions on Software Engineering.