Keyword: fault tolerance

• Lyu, Michael R.; Chen, Xinyu; Wong, Tsz Yeung:
  Design and Evaluation of a Fault-Tolerant Mobile-Agent System. 2004.

• Chisholm, G.H.; Wojcik, A.S.:
  An application of formal analysis to software in a fault-tolerant environment. 1999.

• Hadjicostis, C.N.; Verghese, G.C.:
  Structured redundancy for fault tolerance in state-space models and Petri nets. 1999.

• De Prisco, Roberto; Lampson, Butler; Lynch, Nancy:
  Revisiting the Paxos Algorithm. 1997.

• Inoue, Michiko; Moriya, Sen; Masuzawa, Toshimitsu; Fujiware, Hideo:
  Optimal Wait-Free Clock Synchronization Protocol on a Shared-Memory Multi-Processor System. 1997.

• Katz, Shmuel; Lincoln, Pat; Rushby, John:
  Low-Overhead Time-Triggered Group Membership. 1997.

• Gerogiannis, Vasilis C.; Kameas, Achilles D.; Pintelas, Panayatis E.:
  Real-MFG: a Petri net based model focusing on the integration of schedulability and fault tolerance. 1997.

• Mazzocca, N.; Russo, S.; Vittorini, V.:
  Integrating trace logic and Petri net specifications. 1997.

• Jin, Q.; Yano, Y.; Sugasawa, Y.:
  Non-regenerative stochastic Petri nets: modeling and analysis. 1996.

• Schoenfelder, Michael A.; Rogers, William A.:
  A Rainbow Net Simulator with a Dependability Application. 1991.

• Belli, Fevzi; Grosspietsch, Karl E.:
  Specification of Fault-Tolerant System Issues by Predicate/Transition Nets and Regular Expressions-Approach and Case Study. 1991.

• Baumgarten, Bernd:
  Petri-Netze: Grundlagen und Anwendungen. 1990.

• Gurevich, D.S.:
  Absorbing Petri Nets and their Use in Developing Digital Computer Systems with a Distributed Structure. 1990.

• Shieh, Yuan-Bao; Ghosal, Dipak; Chintamaneni, Prasad R.; Tripathi, Satish K.:
  Modeling of Hierarchical Distributed Systems with Fault-Tolerance. 1990.

• Johnson, A.M.:
  Fault Modeling and Fault Contamination in Multiprocessor Systems. 1989.

• Lopez-Benitez, N.; Fortes, J.A.B.:
  Detailed Modeling of Fault-Tolerant Processor Arrays. 1989.

• Haverkort, B.R.; Niemegeers, I.G.:
  Transaction Throughput in Distributed Systems: A Modeling Study Using Dynamic Queueing Networks. 1989.

• Haverkort, B.R.; Niemegeers, I.G.:
  Extended Performability Modeling Using Dynamic Queing Networks. 1989.

Back to the Petri Nets Bibliography