For the most recent entries see the Petri Nets Newsletter.

A White Box Analysis of Concurrent System Designs.

Becker, Shirley A.; Hevner, Alan R.

In: Proceedings of the 10t Annual International Phoenix Conference on Computers and Communications, 1991, Scottsdale, AZ, USA, pages 332-338. Piscataway, NJ, USA: IEEE Service Center, 1991.

Abstract: An effective approach is demonstrated for the analysis of concurrent system designs in box structures. Potential clear box designs are termed white boxes. A correct design with the best estimated performance can be selected as the final clear box. For deterministic concurrent designs, the authors present rigorous methods to evaluate design correctness. For non-deterministic design the authors resort to the use of a Petri net model of the white box. By implementing the Petri net model on an automated analysis tool, they evaluate correctness criteria of fairness, mutual exclusion, and liveness.

Keywords: white box analysis (of) concurrent system design; estimated performance; white box net model; fairness; mutual exclusion; liveness; multiprocessing program.

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

Back to the Petri Nets Bibliography