In: Proc. 28th Annual Hawaii Int. Conf. on System Sciences; Vol. 2: Software Technology, 3-6 January 1995, Wailea, HI, pages 516-524. 1995.
Abstract: The paper describes how to develop morphisms between CSP-based models and Petri net-based stochastic models. This process provided insights into further refinements of the original CSP specifications (i.e., identification of potential failure processes and recovery actions). In order to create systems that meet user needs in terms of cost, functionality, performance and reliability, it is essential to relate the parameters needed for reliability analysis to the user level specification.
Keywords: CSP, Markov processes, reliability analysis, stochastic Petri nets.