For the most recent entries see the Petri Nets Newsletter.

A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems.

Bernardo, M.; Donatiello, L.; Gorrieri, R.

In: Information and Computation, Vol. 144, No. 2, pages 83-154. 1998.

Abstract: A formal approach for modeling and analyzing concurrent systems is proposed which integrates performance characteristics in the early stages of the design process. The approach relies on both stochastically timed process algebras and stochastically timed Petri nets in order to exploit their complementary advantages. The approach is instantiated to the case of EMPA (extended Markovian process algebra), introduced together with the collection of its four semantics and the notion of equivalence that are required in order to implement the approach. Finally, the case study of the alternating bit protocol is presented to illustrate the adequacy of the approach.

Keywords: distributed systems, process algebras, stochastic Petri nets, system verification.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography