In: Ajmone Marsan, M.: Lecture Notes in Computer Science, Vol. 691; Application and Theory of Petri Nets 1993, Proceedings 14th International Conference, Chicago, Illinois, USA, pages 17-23. Springer-Verlag, 1993.
Abstract: The design of parallel and distributed systems required 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 also 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.