For the most recent entries see the Petri Nets Newsletter.

Diagnosis system for automatic detection of deadlock in asynchronous concurrent distributed computing systems: using timed Petri net with stacks.

Chen, J.N.; Chen, P.

In: Proceedings Fourteenth Annual International Computer Software and Applications Conference, 31 Oct-2 Nov 1990, Chicago, IL, USA, (1990) Los Alamitos: IEEE Comput. Soc. Press,, pages 658-664. 1990.

Abstract: The authors show how to use the timed Petri net with stacks (TPNS-net) to describe asynchronous concurrent distributed computing systems (DCS) which are based on the environment of loosely coupled computing systems. They also present methods for detecting types of DCS deadlocks such as cycle waiting, hold and wait, and exclusive access. It is shown that TPNS-net permits a process to request more than one resource at a time, express the dynamic state of the system, and increase the system parallelism

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

Back to the Petri Nets Bibliography