For the most recent entries see the Petri Nets Newsletter.

Performance Analysis of an Arbiter using Probabilistic Timed Petri Nets.

Escalante, M.A.; Lavagno, L.; Dimopoulos, N.

In: Proceedings of the International Workshop on Logic Synthesis, pages 12-15. May 1997.

Abstract: Asynchronous circuits have experienced a resurgence due to potential advantages to low-power and high-speed design. The timed signal transition graph model, an interpreted Petri net, is a formal specification that is capable to characterize the temporal behavior of asynchronous circuits by utilizing interval delays. However asynchronous circuits are prone to metastability, which may subside after an arbitrarily long time. Thus an interval analysis yields a very pessimistic description of the performance bounds. In this paper we take a probabilistic approach based on a Petri net model to study the effect of metastability in the performance of asynchronous circuits. We illustrate our approach by modeling the Seitz' arbiter as a case study.

Keywords: asynchronous arbiter probabilistic.

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

Back to the Petri Nets Bibliography