Interleaving functional and performance structural analysis of net models

Abstract

The design of parallel and distributed systems requires considering both functional and performance specifications and properties. The use of a single family of models to deal with both aspects, plus appropriate analysis techniques, are very important in practice. Petri Nets are one of the formal description techniques able to capture both functional and performance aspects. We illustrate here, after our research experience, how the interleaving of the functional and the performance analysis theories produces a synergetic situation, in which each contributes to the development of the other.