Markov chains and Petri nets for software rejuvenation systems

Abstract

In this article, we introduce the book chapter “Markov Chains and Petri Nets” in the “Handbook of Software Aging and Rejuvenation” [1]. The chapter reviews the literature of Markov and Petri net models developed for analyzing software rejuvenation systems. Besides the summary of the chapter, we also discuss the recent advances in this research field and some future research directions.