For the most recent entries see the Petri Nets Newsletter.

Efficiency of Token-Passing MUTEX-Solutions - Some Experiments.

Bihler, Elmar; Vogler, Walter

In: Desel, J.; Silva, M.: Lecture Notes in Computer Science, Vol. 1420: 19th Int. Conf. on Application and Theory of Petri Nets, ICATPN'98, Lisbon, Portugal, June 1998, pages 185-204. Berlin: Springer-Verlag, June 1998.

Abstract: A formerly developed approach for comparing the efficiency of asynchronous systems is applied to some taken-passing systems (one of them presumably new) that solve the MUTEX-problem. While the original approach compares systems, we also quantify the efficiency by a number and used our tool FastAsy to assess the effects the number of users and the delay in their communication links have. Finally, some new results allowed us to prove correctness of the solutions with FastAsy.

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

Back to the Petri Nets Bibliography