Keyword : generalized stochastic Petri nets (GSPN)

A Simulation Study to Analyze Unreliable File Systems with Checkpointing and Rollback Recovery
Tadashi DOHI Kouji NOMURA Naoto KAIO Shunji OSAKI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2000/05/25
Vol. E83-A  No. 5 ; pp. 804-811
Type of Manuscript:  Special Section PAPER (Special Section on Reliability Theory and Its Applications)
availability modelscheckpointing and rollback recoverygeneralized stochastic Petri nets (GSPN)discrete-event simulation
 Summary | Full Text:PDF