The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.12 - December (1996 vol.7)
pp: 1307-1322
ABSTRACT
<p><b>Abstract</b>—As part of our continuing research on using Petri nets to support automated analysis of Ada tasking behavior, we have investigated the application of Petri net reduction for deadlock analysis. Although reachability analysis is an important method to detect deadlocks, it is in general inefficient or even intractable. Net reduction can aid the analysis by reducing the size of the net while preserving relevant properties. We introduce a number of reduction rules and show how they can be applied to Ada nets, which are automatically generated Petri net models of Ada tasking. We define a reduction process and a method by which a useful description of a detected deadlock state can be obtained from the reduced net's information. A reduction tool and experimental results from applying the reduction process are discussed.</p>
INDEX TERMS
Ada tasking, deadlock analysis, Petri nets, net reduction, reachability analysis, concurrent software.
CITATION
Sol M. Shatz, Shengru Tu, Tadao Murata, Sastry Duri, "An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis", IEEE Transactions on Parallel & Distributed Systems, vol.7, no. 12, pp. 1307-1322, December 1996, doi:10.1109/71.553301
18 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool